Re: <attribute/> after <text/>?

> > </element>
> 
> Sure.  Because attribute ordering doesn't matter in XML, RNG always treats
> attribute patterns in a group pattern (in this case, an implicit one)
> as if they were interleaved.  Therefore, they can appear in any position
> when they are children of an element pattern.

Thank you, I realized it shortly after asking, I'm sorry for the noise. I mean,
not the attributes' ordering, but the correct way to compute the derivative. 

Does <attribute name="x"><empty/></attribute> match an attribute value consisting
only of whitespace? 

David