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

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,"