<restriction> is not actually a restriction

I think the following derivation is valid:

<xs:complexType name="B">
  <xs:anyAttribute namespace="urn:foo" processContents="strict"/>
</xs:complexType>

<xs:complexType name="D">
  <xs:complexContent>
    <xs:restriction base="B">
      <xs:anyAttribute namespace="urn:foo" processContents="skip"/>
    </xs:restriction>
  </xs:complexContent>
</xs:complexType>


But in this derivation D is not a subset of B (i.e., some content model
is valid wrt to D but not with B)



regards,
--
Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems                   kohsuke.kawaguchi@sun.com