W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1532] New: [FS] editorial: 2.1.3 Notations for inference rules

From: <bugzilla@wiggum.w3.org>
Date: Sat, 09 Jul 2005 23:33:34 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DrOpC-0006OJ-7d@wiggum.w3.org>


           Summary: [FS] editorial: 2.1.3 Notations for inference rules
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org

2.1.3 Notations for inference rules

"the conclusion judgment below the line must also hold."
    Someone might interpret 'must' in the RFC 2119 sense, so change
    "must also hold" to "can be deemed to hold" or just "also holds".

"each pattern in a particular inference rule must be instantiated to the
same "object" within the entire rule."
    Maybe change "each pattern" to "each occurrence of a given pattern".

'This means that one can talk about "the value of Variable" instead of
the more precise "what Variable is instantiated to in (this particular
instantiation of) the inference rule".'
    No, it doesn't mean that. Different instantiations of the inference
    rule will still have different bindings for 'Variable'.

    What it *does* mean is that you can say "the value of Variable"
    instead of "the value bound to the first [second, etc] occurrence of
Received on Saturday, 9 July 2005 23:33:38 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC