<xs:complexType> <xs:sequence> <xs:element maxOccurs="unbounded" minOccurs="0" name="LINK"> <xs:complexType> <xs:attribute name="id" type="xs:string" use="required"/>
</xs:complexType> </xs:element> <xs:element minOccurs="1" name="DESCRIPTION"> <xs:complexType> <xs:sequence> <xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/> </xs:sequence> </xs:complexType> </xs:element> <xs:element maxOccurs="unbounded" minOccurs="0" name="CHANGED_RULE"> <xs:complexType> <xs:sequence> <xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/> </xs:sequence> <xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="version" type="xs:string" use="required">
</xs:attribute>
</xs:complexType> </xs:element> <xs:element maxOccurs="unbounded" minOccurs="0" name="PROOF"> <xs:complexType> <xs:sequence> <xs:element maxOccurs="unbounded" minOccurs="1" ref="LATEX"/> </xs:sequence> <xs:attribute name="kind" type="xs:NMTOKEN" use="required"/>
<xs:attribute name="level" type="xs:string" use="required"/>
</xs:complexType> </xs:element> </xs:sequence> <xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="version" type="xs:string" use="required">
</xs:attribute>
</xs:complexType>