- From: <bugzilla@wiggum.w3.org>
- Date: Sun, 17 Jul 2005 21:45:21 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1691 Summary: [FS] ambiguous use of "first rule" Product: XPath / XQuery / XSLT Version: Last Call drafts Platform: PC OS/Version: Windows 2000 Status: NEW Severity: normal Priority: P2 Component: Formal Semantics AssignedTo: simeon@us.ibm.com ReportedBy: fred.zemke@oracle.com QAContact: public-qt-comments@w3.org 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...".
Received on Sunday, 17 July 2005 21:45:23 UTC