1531 2005-07-09 23:01:55 +0000 [FS] editorial: 2.1.2 Notations for judgments 2005-09-29 14:30:19 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4478 0 jmdyck 2005-07-09 23:01:55 +0000 2.1.2 Notations for judgments "A judgment can contain symbols and patterns." In a judgment such as Expr1 + Expr2 : Type is the plus sign a symbol or pattern? Neither, it seems. Is there a name for what it is? See my comments on the previous Last Call draft for more. http://lists.w3.org/Archives/Public/public-qt-comments/2004Apr/0107.html (comment #015) "Patterns are written with italicized words." This strikes me as very odd use of the word "pattern". Do you have a reference for it? (This is another leftover from last year, comment #016.) "By convention, all patterns in the Formal Semantics correspond to grammar non-terminals" This is not entirely true. Here are some counter-examples: AttributeValueContent, ElementContent Axis ConstructionMode Error, dynError, typeError LocationHints SequenceOp, ArithOp, UnaryArithOp, ValueOp, GeneralOp URI-or-#NULL-NAMESPACE Variable "If the same pattern occurs twice in a judgment description" Delete "description" ? "cannot be both instance of the pattern" s/be both instance/both be instances/ "We may write not(Judgment) the judgment which holds ..." Delete "the judgment"? Replace with comma? "an "object" may take a value ..." It would be more precise to say: "a pattern may be instantiated to a value" "the object Color" s/object/pattern/ "those set of possible value" Change to "that set of possible values" "For instance, the judgment ... which holds, if ..." Delete "which" and comma.