1539 2005-07-10 08:06:34 +0000 [FS] editorial: 2.4.3 Content models 2005-09-29 14:30:42 +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 4490 0 jmdyck 2005-07-10 08:06:34 +0000 2.4.3 Content models [25 (Formal)] Occurrence ::= "*" | "+" | "?" It would be simpler to just use OccurrenceIndicator. "but it more general has it applies to arbitrary types" Insert "is" before "more" Change "has" to "as". "Where the interleaving of two sequences of items ..." This is not a sentence. s/. Where/, where/ or s/Where the/The/ para 4 & 5 (Both beginning with 'The "&" operator') There's a lot of overlap between these two paragraphs. "Types precedence order: Associativity" As far as I can tell, all three binary operators are associative, i.e. (A op B) op C = A op (B op C) so there's no need to define their associativity. And associativity of unary operators is meaningless.