1691 2005-07-17 21:45:21 +0000 [FS] ambiguous use of "first rule" 2007-01-16 17:34:19 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4777 0 fred.zemke 2005-07-17 21:45:21 +0000 4.1.5 Function calls Under "static analysis" second para it says "The first rule bootstraps...". It is not clear whether "first rule" is a backward reference to the first sentence of the preceding paragraph ("To typecheck a Core function call we first check...") or a forward refernce to the inference presented immediately following the subject sentence. From the use of colons it becomes clear that you must mean the inference that follows. Still, the reader may waste a lot of effort trying to correlate the two "first"s, thinking perhaps that the inference is a formalization of the first paragraph's first sentence. To avoid this, it would be better to use the more precise term "inference" instead of "rule" (this suggestion could be carried out throughout the entire specification) and you might also avoid the word "first". Thus the sentence might begin "The following inference...". 4911 1 simeon 2005-07-19 17:57:32 +0000 I believe this is editorial. - Jerome 9170 2 simeon 2006-04-11 22:47:57 +0000 The corresponding text has been extensively rewritten for the CR draft. I believe that problem is now fixed. - Jerome