<xsd:complexType name="CT_Proof"> <xsd:attribute name="spelling" type="ST_Proof" use="optional"/> <xsd:attribute name="grammar" type="ST_Proof" use="optional"/> </xsd:complexType>