Quick re-review of Core, with suggested Editor's Notes

This is a quick re-review of the December 7, 2008 version of Core.

The following editors' notes should be added, in accordance with the 
discussion at the December 2, 2008 RIF telecon:

Section 5, end of second paragraph:

Editor's Note: A  reference to a specific section or theorem of Vianu97 
will be provided in a future draft.

End of Section 5.1:

Editor's Note:   In a future draft, there will be further discussion on 
the intuitions underlying this section's development of safety conditions. 
Both positive and negative examples of various clauses in the definition 
of safety will also be provided.

-----------------

In addition, please note the following stylistic issues which have been 
introduced in the latest draft:

"Like RIF-BLD and RIF-PRD, RIF-Core has both the "presentation" syntax and 
the "XML" syntax."

"This document assumes the familiarity with RIF-BLD and RIF-PRD."

Omit "the" in all cases.

"For instance, the requirement that each symbol appears in only one 
context cannot be so expressed."

Change "appears" to "appear". (That's the way the subjunctive works in 
English.)

Best regards,
Leora

Received on Tuesday, 9 December 2008 17:06:21 UTC