Re: [relax-ng] Re: attribute constraint

>It looks like it's always possible to remove <choice> inside <oneOrMore>.
>Did we prove that?


I think that what you have written down is a proof.  Do we need something 
more?

Cheers,

Makoto