W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2006

[Bug 3177] [FS] editorial: 2.1.4 Notations for inference rules

From: <bugzilla@wiggum.w3.org>
Date: Wed, 03 May 2006 07:31:28 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1FbBpY-0006su-HR@wiggum.w3.org>

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