Spec issue in Particle Derivation OK (All/Choice/Sequence:Any -- NSRecurseCheckCardinality)

> <http://www.w3.org/TR/xmlschema-1/#rcase-NSRecurseCheckCardinality>
> Schema Component Constraint: Particle Derivation OK
> (All/Choice/Sequence:Any -- NSRecurseCheckCardinality) 
> For a group particle to be a ·valid restriction· <l > of a wildcard
> particle all of the following must be true: 
> 1 Every member of the {particles} <l > of the group is a ·valid
> restriction· <l > of the wildcard as defined by Particle Valid
> (Restriction) (§3.9.6) <l >. 
> 2 The effective total range of the group, as defined by Effective
> Total Range (all and sequence) (§3.8.6) <l > (if the group is all or
> sequence) or Effective Total Range (choice) (§3.8.6) <l > (if it is
> choice) is a valid restriction of B's occurrence range as defined by
> Occurrence Range OK (§3.9.6) <l >. 
> 
> Bullet 1 inples that occurrence range for every member in group
> particle should ve a restriction of occurance range of any.
> That will make following shema incorrect:
> 
> <xsd:complexType name="B">
>     <xsd:sequence>
>         <xsd:element name="foo" minOccurs="1" maxOccurs="1"/>
>         <xsd:any namespace="##any"  minOccurs="4" maxOccurs="8"/>
>     </xsd:sequence>
> </xsd:complexType>
> 
> <xsd:complexType name="R">
>     <xsd:complexContent>
>         <xsd:restriction base="x:B">
>             <xsd:sequence>
>                 <xsd:element name="foo" minOccurs="1" maxOccurs="1"/>
>                 <xsd:sequence minOccurs="1" maxOccurs="2">
>                    <xsd:element name="e1" minOccurs="2"
> maxOccurs="2"/>
>                    <xsd:element name="e2" minOccurs="2"
> maxOccurs="2"/>
>                 </xsd:sequence>
>             </xsd:sequence>
>         </xsd:restriction>
>     </xsd:complexContent>
> </xsd:complexType>
> 
> Thanks, Yan