Attached are the proposed rules for non-format annotation scoping. As part of the exercise I had to clarify which annotations are permitted on each schema object so please review that table. Of particular interest are Annotations put in scope on a xs:complexType Assert/Discriminator on xs:sequence, xs:choice and xs:any Hidden on an empty sequence only DefineVariable on schema and sequence only to define the scope of the variable. Alan Powell MP 211, IBM UK Labs, Hursley, Winchester, SO21 2JN, England Notes Id: Alan Powell/UK/IBM email: alan_powell@uk.ibm.com Tel: +44 (0)1962 815073 Fax: +44 (0)1962 816898 Unless stated otherwise above: IBM United Kingdom Limited - Registered in England and Wales with number 741598. Registered office: PO Box 41, North Harbour, Portsmouth, Hampshire PO6 3AU