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
To: public-qt-comments@w3.org
Message-Id: <E1FbBpY-0006su-HR@wiggum.w3.org>


           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"

'This means that one can talk about "the value of Variable" instead of the
value bound to the first (second, etc) occurrence of 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