RE: [xml-dev] increment pattern for an attribute..

>   ...
>   <xs:assert test="e1[1]/@val=20 and
>   every $e in e1[position()>1] satisfies $e/@val = 
> $e/preceding-sibling::e1/@val + 1"/> </xs:complexType>

That should be

>   <xs:assert test="e1[1]/@val=20 and
>   every $e in e1[position()>1] satisfies $e/@val = 
> $e/preceding-sibling::e1[1]/@val + 1"/> </xs:complexType>
                          ^^^

Michael Kay
http://www.saxonica.com/