[Bug 3175] [FS] editorial: 2.1.2 Notations for judgments

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3175

           Summary: [FS] editorial: 2.1.2 Notations for judgments
           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.2 Notations for judgments

"Most other judgments .. are .. written in bold fonts."
    Actually, only the symbols are in bold, not the whole judgment.
    So move the "written in bold fonts" phrase from here to
    the paragraph about symbols.

"For example, 'is beautiful', '=>' and ':' are symbols"
    The "is beautiful" judgment is gone.
    Change to "is a positive integer"

"By convention, all patterns in the Formal Semantics correspond to grammar
non-terminals"
    Following up on Bug 1531, this is still not entirely true.
    Here are some counter-examples:
        AttributeValueContent
        Axis
        ConstructionMode
        SequenceOp, ArithOp, UnaryArithOp, ValueOp, GeneralOp
        URI-or-#NULL-NAMESPACE
        Variable

Received on Wednesday, 3 May 2006 07:25:01 UTC