saxonData/All/all237.xsd is meant to be a test for valid particle restriction.

The type "b" has ("one", "two", and "three" are wildcard namespaces):

( (one|two){5,U} & three{0,2} )

and the restriction type "r" has

( one{3,U} & (two|three){2,2} )

Now it seems a sequence of 3 "one"s and 2 "three"s is allowed by "r" but not "b". Suggest to change "one" in "r" to {5,U}.

Attached below is the offending fragment:

    <xs:complexType name="b">
       <xs:all>     
         <xs:any namespace="http://one.uri/ http://two.uri/" minOccurs="5" maxOccurs="unbounded"/>
         <xs:any namespace="http://three.uri/" minOccurs="0" maxOccurs="2"/>
       </xs:all>
    </xs:complexType>
    
    <xs:complexType name="r">
      <xs:complexContent>
        <xs:restriction base="b">
         <xs:all>     
           <xs:any namespace="http://one.uri/" minOccurs="3" maxOccurs="unbounded"/>
           <xs:any namespace="http://two.uri/ http://three.uri/" minOccurs="2" maxOccurs="2"/>
         </xs:all>
        </xs:restriction>
      </xs:complexContent>
    </xs:complexType>