Re: Prohibiting duplicate attributes.

> We have already prohibited
>
> <zeroOrMore>
>   <group>
>      <attribute><anyName/></attribute>
>   </group>
> </zeroOrMore>
>
> but have allowed
>
> <zeroOrMore>
>   <attribute><anyName/></attribute>
> </zeroOrMore>

I don't think so, because the restriction applies to the normalized form,
and in the normalized form, a <group> with a single child would disappear.

James