4139 2007-01-02 22:25:27 +0000 MS ModelGroups test mgH014 2007-01-24 16:57:04 +0000 1 1 1 Unclassified XML Schema Test Suite Microsoft tests 2006-11-06 PC Windows XP RESOLVED INVALID P2 normal --- 1 mike ht public-xml-schema-testsuite oldest_to_newest 13331 0 mike 2007-01-02 22:25:27 +0000 In the Microsoft ModelGroups test set, test <test group="mgH014" name="mgH014"/> The expected result is that the schema is valid. However, the content model of the complex type foo is not a valid restriction of the content model of the type bar. The derived type permits empty content, but the base type does not. 13793 1 zafara 2007-01-24 02:07:18 +0000 Under Element Declaration Schema Component [1], the spec says if the maxOccurs=minOccurs=0 for that element declaration that the schema component does not correspond to any component. In the test case you mentioned, the element e1 in the derived type (foo) has such a declaration for e1 inside the choice, e1 plays no part in the choice and should be stripped off the content model and it thus makes the choice non-emptiable and a valid restriction of bar. [1] http://www.w3.org/TR/2004/PER-xmlschema-1-20040318/structures-with-errata.html#Element_Declaration_details 13797 2 mike 2007-01-24 16:57:04 +0000 Fair enough. It's not an intuitive interpretation but that does seem to be what the spec says.