<xs:element name="ZhiSharpServer"><xs:annotation><xs:documentation>The Zhi# Server API.</xs:documentation></xs:annotation><xs:complexType><xs:choice><xs:element name="Operation"><xs:annotation><xs:documentation>A Zhi# Server operation.</xs:documentation></xs:annotation><xs:complexType><xs:choice><xs:element name="GetExternalTypeNames"><xs:annotation><xs:documentation>Gets the external type names.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schemas"><xs:annotation><xs:documentation>The list of schemas.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schema" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A schema.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The schema file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The schema file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="GetExternalTypes"><xs:annotation><xs:documentation>Gets the external types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schemas"><xs:annotation><xs:documentation>The list of schemas.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schema" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A schema.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The schema file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The schema file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="GetExternalProperties"><xs:annotation><xs:documentation>Gets the external properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schemas"><xs:annotation><xs:documentation>The list of schemas.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schema" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A schema.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The schema file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The schema file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Compile"><xs:annotation><xs:documentation>Compiles Zhi# code.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="ZhiSharpCode"><xs:annotation><xs:documentation>The list of Zhi# compilation units.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="CompilationUnit" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A compilation unit.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The compilation unit file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The compilation unit file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Schemas"><xs:annotation><xs:documentation>The list of schemas.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schema" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A schema.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The schema file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The schema file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="LibraryFiles"><xs:annotation><xs:documentation>The list of library files.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FileName" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A library file name.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="PrettyPrint"><xs:annotation><xs:documentation>Pretty prints a Zhi# compilation unit.</xs:documentation></xs:annotation><xs:complexType><xs:choice><xs:element name="ZhiSharpCode"><xs:annotation><xs:documentation>The Zhi# code.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="CompilationUnit"><xs:annotation><xs:documentation>The Zhi# compilation unit.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The compilation unit file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The compilation unit file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:choice></xs:complexType></xs:element></xs:choice></xs:complexType></xs:element><xs:element name="Output"><xs:annotation><xs:documentation>The result of a Zhi# Server operation.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FatalError" type="xs:string" minOccurs="0"><xs:annotation><xs:documentation>A fatal error.</xs:documentation></xs:annotation></xs:element><xs:element name="ExternalTypeNames" minOccurs="0"><xs:annotation><xs:documentation>The external type names.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="TypeName" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ExternalTypes"><xs:annotation><xs:documentation>The external types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Type" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The type name.</xs:documentation></xs:annotation></xs:element><xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ExternalProperties" minOccurs="0"><xs:annotation><xs:documentation>The external properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="PropertyPool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external property pool.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Property" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The property name.</xs:documentation></xs:annotation></xs:element><xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ZhiSharpOutputObjects" minOccurs="0"><xs:annotation><xs:documentation>The Zhi# output objects.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="ZhiSharpOutputObject" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A Zhi# output object.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="ZhiSharpFileName" type="xs:string"><xs:annotation><xs:documentation>The Zhi# file name.</xs:documentation></xs:annotation></xs:element><xs:element name="ZhiSharpCode" type="xs:string"><xs:annotation><xs:documentation>The Zhi# code.</xs:documentation></xs:annotation></xs:element><xs:element name="CSharpFileName" type="xs:string"><xs:annotation><xs:documentation>The C# file name.</xs:documentation></xs:annotation></xs:element><xs:element name="CompilerMessages"><xs:annotation><xs:documentation>The compiler messages.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Message" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A compiler message.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="CSharpCode" type="xs:string"><xs:annotation><xs:documentation>The C# code.</xs:documentation></xs:annotation></xs:element><xs:element name="LineOffsets"><xs:annotation><xs:documentation>The line offsets.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="LineOffset" type="xs:int" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A line offset.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="CompiledSuccessfully" type="xs:boolean"><xs:annotation><xs:documentation>Determines whether the compilation was successful.</xs:documentation></xs:annotation></xs:element><xs:element name="Auxiliary"><xs:annotation><xs:documentation>Auxiliary output.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="XSD" minOccurs="0"><xs:annotation><xs:documentation>Auxiliary XSD output.</xs:documentation></xs:annotation></xs:element><xs:element name="OWL" minOccurs="0"><xs:annotation><xs:documentation>Auxiliary OWL output.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="AnonymousClasses" minOccurs="0"><xs:annotation><xs:documentation>The list of anonymous OWL classes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="AnonymousClass" maxOccurs="unbounded"><xs:annotation><xs:documentation>An anonymous OWL class.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The class name.</xs:documentation></xs:annotation></xs:element><xs:element name="Intersection"><xs:annotation><xs:documentation>The list of intersection classes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Class" type="xs:string" maxOccurs="unbounded"><xs:annotation><xs:documentation>An intersection class.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ZhiSharpCode" minOccurs="0"><xs:annotation><xs:documentation>The Zhi# code.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="CompilationUnit"><xs:annotation><xs:documentation>The Zhi# compilation unit.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The compilation unit file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The compilation unit file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:choice></xs:complexType></xs:element>
<xs:element name="GetExternalTypeNames"><xs:annotation><xs:documentation>Gets the external type names.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schemas"><xs:annotation><xs:documentation>The list of schemas.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Schema" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A schema.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The schema file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The schema file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Output"><xs:annotation><xs:documentation>The result of a Zhi# Server operation.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FatalError" type="xs:string" minOccurs="0"><xs:annotation><xs:documentation>A fatal error.</xs:documentation></xs:annotation></xs:element><xs:element name="ExternalTypeNames" minOccurs="0"><xs:annotation><xs:documentation>The external type names.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="TypeName" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ExternalTypes"><xs:annotation><xs:documentation>The external types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Type" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The type name.</xs:documentation></xs:annotation></xs:element><xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ExternalProperties" minOccurs="0"><xs:annotation><xs:documentation>The external properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="PropertyPool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external property pool.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Property" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The property name.</xs:documentation></xs:annotation></xs:element><xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ZhiSharpOutputObjects" minOccurs="0"><xs:annotation><xs:documentation>The Zhi# output objects.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="ZhiSharpOutputObject" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A Zhi# output object.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="ZhiSharpFileName" type="xs:string"><xs:annotation><xs:documentation>The Zhi# file name.</xs:documentation></xs:annotation></xs:element><xs:element name="ZhiSharpCode" type="xs:string"><xs:annotation><xs:documentation>The Zhi# code.</xs:documentation></xs:annotation></xs:element><xs:element name="CSharpFileName" type="xs:string"><xs:annotation><xs:documentation>The C# file name.</xs:documentation></xs:annotation></xs:element><xs:element name="CompilerMessages"><xs:annotation><xs:documentation>The compiler messages.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Message" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A compiler message.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="CSharpCode" type="xs:string"><xs:annotation><xs:documentation>The C# code.</xs:documentation></xs:annotation></xs:element><xs:element name="LineOffsets"><xs:annotation><xs:documentation>The line offsets.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="LineOffset" type="xs:int" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A line offset.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="CompiledSuccessfully" type="xs:boolean"><xs:annotation><xs:documentation>Determines whether the compilation was successful.</xs:documentation></xs:annotation></xs:element><xs:element name="Auxiliary"><xs:annotation><xs:documentation>Auxiliary output.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="XSD" minOccurs="0"><xs:annotation><xs:documentation>Auxiliary XSD output.</xs:documentation></xs:annotation></xs:element><xs:element name="OWL" minOccurs="0"><xs:annotation><xs:documentation>Auxiliary OWL output.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="AnonymousClasses" minOccurs="0"><xs:annotation><xs:documentation>The list of anonymous OWL classes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="AnonymousClass" maxOccurs="unbounded"><xs:annotation><xs:documentation>An anonymous OWL class.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The class name.</xs:documentation></xs:annotation></xs:element><xs:element name="Intersection"><xs:annotation><xs:documentation>The list of intersection classes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Class" type="xs:string" maxOccurs="unbounded"><xs:annotation><xs:documentation>An intersection class.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="ZhiSharpCode" minOccurs="0"><xs:annotation><xs:documentation>The Zhi# code.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="CompilationUnit"><xs:annotation><xs:documentation>The Zhi# compilation unit.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="FileName" type="xs:string"><xs:annotation><xs:documentation>The compilation unit file name.</xs:documentation></xs:annotation></xs:element><xs:element name="FileContent"><xs:annotation><xs:documentation>The compilation unit file content.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="ExternalTypeNames" minOccurs="0"><xs:annotation><xs:documentation>The external type names.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="TypeName" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="TypeName" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="ExternalTypes"><xs:annotation><xs:documentation>The external types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Type" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The type name.</xs:documentation></xs:annotation></xs:element><xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="TypePool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external type pools.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Type" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The type name.</xs:documentation></xs:annotation></xs:element><xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Type" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The type name.</xs:documentation></xs:annotation></xs:element><xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Supertypes"><xs:annotation><xs:documentation>The list of super types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="EquivalentTypes"><xs:annotation><xs:documentation>The list of equivalent types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="DisjointTypes"><xs:annotation><xs:documentation>The list of disjoint types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Subtypes"><xs:annotation><xs:documentation>The list of subtypes.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of type names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="ExternalProperties" minOccurs="0"><xs:annotation><xs:documentation>The external properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="PropertyPool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external property pool.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Property" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The property name.</xs:documentation></xs:annotation></xs:element><xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="PropertyPool" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The external property pool.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element><xs:element name="Property" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The property name.</xs:documentation></xs:annotation></xs:element><xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Evidence" type="xs:string"><xs:annotation><xs:documentation>The type system evidence.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Property" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string"><xs:annotation><xs:documentation>The property name.</xs:documentation></xs:annotation></xs:element><xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element><xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Metaproperties"><xs:annotation><xs:documentation>The list of meta properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Metaproperty" minOccurs="0" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Superproperties"><xs:annotation><xs:documentation>The list of super properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="EquivalentProperties"><xs:annotation><xs:documentation>The list of equivalent properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Subproperties"><xs:annotation><xs:documentation>The list of subproperties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="InverseProperties"><xs:annotation><xs:documentation>The list of inverse properties.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Name" type="xs:string" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>The list of property names.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Domain"><xs:annotation><xs:documentation>The list of property domain types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element>
<xs:element name="Range"><xs:annotation><xs:documentation>The list of property range types.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
<xs:element name="Type" maxOccurs="unbounded" type="xs:string"><xs:annotation><xs:documentation>The list of types.</xs:documentation></xs:annotation></xs:element>
<xs:element name="LineOffsets"><xs:annotation><xs:documentation>The line offsets.</xs:documentation></xs:annotation><xs:complexType><xs:sequence><xs:element name="LineOffset" type="xs:int" minOccurs="0" maxOccurs="unbounded"><xs:annotation><xs:documentation>A line offset.</xs:documentation></xs:annotation></xs:element></xs:sequence></xs:complexType></xs:element>
Determines whether the compilation was successful.
Diagram
Type
xs:boolean
Properties
content:
simple
Source
<xs:element name="CompiledSuccessfully" type="xs:boolean"><xs:annotation><xs:documentation>Determines whether the compilation was successful.</xs:documentation></xs:annotation></xs:element>