This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3177 - [FS] editorial: 2.1.4 Notations for inference rules
Summary: [FS] editorial: 2.1.4 Notations for inference rules
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-05-03 07:31 UTC by Michael Dyck
Modified: 2007-01-16 17:50 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-05-03 07:31:28 UTC 
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,"
Comment 1 Jerome Simeon 2006-05-09 12:55:35 UTC 
Fixed as suggested.
- Jerome