Allowing multiple operands for <not>

Jeni Tennison wrote:
 
> The not name class:
> 
> It's a bit tedious having to put a choice element around any name
> classes that I use within a not element:
> 
> <not>
>   <choice>
>      <nsName />
>      <nsName ns="" />
>   </choice>
> </not>
> 
> I think it would be more convenient if:
> 
>   <not> name-classes </not>
> 
> were equivalent to:
> 
>   <difference><anyName /><choice> name-classes </choice></difference>
> 
> I don't think that this would have any effect on the logic?

A good point.  The analogy with <difference> is quite persuasive.

Kawaguchi-san, please open an issue on this one too.

James