Re: rcaseNameAndTypeOK too restrictive about restrictions

I believe your example is allowed because before testing element particle
restrictions, substituion groups are expanded into choice groups. From
Schema Component Constraint: Particle Valid (Restriction):

...
2.1 Any top-level element declaration particle (in R or B) which is the
{substitution group affiliation} of one or more other element declarations
is treated as if it were a choice group whose {min occurs} and {max occurs}
are those of the particle, and whose {particles} consists of one particle
with {min occurs} and {max occurs} of 1 for the top-level element
declaration and for each of the declarations in its ·substitution group·. 

xan

Xan Gregg
TIBCO Software, Inc.
www.tibco.com