<xs:element name="ProofTool"> <xs:complexType> <xs:sequence> <xs:element ref="OperatingSystem" minOccurs="0" /> <xs:element ref="Manufacturer" minOccurs="0" /> <xs:element ref="Model" minOccurs="0" /> </xs:sequence> </xs:complexType> </xs:element>