1771 2005-07-20 01:31:12 +0000 [FS] editorial: 8.1.5, 8.1.6, E.1.5.2: "Type1 = AttributeAll1, ElementContent1" 2007-01-16 17:44:47 +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 4971 0 jmdyck 2005-07-20 01:31:12 +0000 8.1.5 Extension 8.1.6 Mixed content E.1.5.2 Nil-annotate 8.1.5 / Sem / rule 1 8.1.6 / Sem / rule 1 E.1.5.2 / Sem / rule 3 "Type1 = AttributeAll1 , ElementContent1" What does this mean? 'AttributeAll' and 'ElementContent' aren't non-terminal names. 'ElementContent' is used in 4.7.1 to mean "element content unit", which is something appearing in a direct element constructor, which is presumably not relevant here. (leftover from last year, comment #203) 9265 1 simeon 2006-04-16 18:00:24 +0000 I believe the corresponding definitions were removed by mistake. They capture restrictions on types that apply to the description of an element (attribute declarations followed by a content model). I added them back in Section 2.4.3 Content models which seems a good place. Also renamed them to 'AttributeModel' and 'ElementModel' to avoid confusion with auxiliary grammars and judgment used in the sections on constructors. - Jerome