http://www.w3.org/Bugs/Public/show_bug.cgi?id=3177 Summary: [FS] editorial: 2.1.4 Notations for inference rules Product: XPath / XQuery / XSLT Version: Candidate Recommendation Platform: All OS/Version: All Status: NEW Severity: minor Priority: P2 Component: Formal Semantics AssignedTo: simeon@us.ibm.com ReportedBy: jmdyck@ibiblio.org QAContact: public-qt-comments@w3.org 2.1.4 Notations for inference rules "Here is a rule that says that for any variable Variable" s/Variable/VarRef/ 'This means that one can talk about "the value of Variable" instead of the value bound to the first (second, etc) occurrence of VarRef' s/Variable/VarRef/ Maybe after "that", insert ", in the context of a particular instantiation of a rule,"Received on Wednesday, 3 May 2006 07:31:38 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:12 UTC