<?xml version=“1.0” encoding=“UTF-8”?>
<xs:schema
xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns="http://www.w3.org/1998/Math/MathML" targetNamespace="http://www.w3.org/1998/Math/MathML" elementFormDefault="qualified" >
<xs:annotation>
<xs:documentation> This is an XML Schema module for the part of content MathML dealing with sets and lists. Author: Stéphane Dalmas, INRIA. </xs:documentation>
</xs:annotation>
<!– “set” –>
<!– “type” could be “multiset” or “normal” or anything else –> <xs:attributeGroup name=“set.attlist”>
<xs:attribute name="type" type="xs:string"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:group name=“set.content”>
<xs:sequence> <xs:group ref="Content-expr.class"/> </xs:sequence>
</xs:group>
<xs:complexType name=“set.type”>
<xs:group ref="set.content" minOccurs="0" maxOccurs="unbounded"/> <xs:attributeGroup ref="set.attlist"/>
</xs:complexType>
<xs:element name=“set” type=“set.type”/>
<!– “list” –>
<xs:attributeGroup name=“list.attlist”>
<xs:attribute name="order"> <xs:simpleType> <xs:restriction base="xs:string"> <xs:enumeration value="lexicographic"/> <xs:enumeration value="numeric"/> </xs:restriction> </xs:simpleType> </xs:attribute> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:group name=“list.content”>
<xs:sequence> <xs:group ref="Content-expr.class"/> </xs:sequence>
</xs:group>
<xs:complexType name=“list.type”>
<xs:group ref="list.content" minOccurs="0" maxOccurs="unbounded"/> <xs:attributeGroup ref="list.attlist"/>
</xs:complexType>
<xs:element name=“list” type=“list.type”/>
<!– “union” –>
<xs:attributeGroup name=“union.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“union.type”>
<xs:attributeGroup ref="union.attlist"/>
</xs:complexType>
<xs:element name=“union” type=“union.type”/>
<!– “intersect” –>
<xs:attributeGroup name=“intersect.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“intersect.type”>
<xs:attributeGroup ref="intersect.attlist"/>
</xs:complexType>
<xs:element name=“intersect” type=“intersect.type”/>
<!– “in” –>
<xs:attributeGroup name=“in.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“in.type”>
<xs:attributeGroup ref="in.attlist"/>
</xs:complexType>
<xs:element name=“in” type=“in.type”/>
<!– “notin” –>
<xs:attributeGroup name=“notin.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“notin.type”>
<xs:attributeGroup ref="notin.attlist"/>
</xs:complexType>
<xs:element name=“notin” type=“notin.type”/>
<!– “subset” –>
<xs:attributeGroup name=“subset.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“subset.type”>
<xs:attributeGroup ref="subset.attlist"/>
</xs:complexType>
<xs:element name=“subset” type=“subset.type”/>
<!– “prsubset” –>
<xs:attributeGroup name=“prsubset.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“prsubset.type”>
<xs:attributeGroup ref="prsubset.attlist"/>
</xs:complexType>
<xs:element name=“prsubset” type=“prsubset.type”/>
<!– “notsubset” –>
<xs:attributeGroup name=“notsubset.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“notsubset.type”>
<xs:attributeGroup ref="notsubset.attlist"/>
</xs:complexType>
<xs:element name=“notsubset” type=“notsubset.type”/>
<!– “notprsubset” –>
<xs:attributeGroup name=“notprsubset.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“notprsubset.type”>
<xs:attributeGroup ref="notprsubset.attlist"/>
</xs:complexType>
<xs:element name=“notprsubset” type=“notprsubset.type”/>
<!– “setdiff” –>
<xs:attributeGroup name=“setdiff.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“setdiff.type”>
<xs:attributeGroup ref="setdiff.attlist"/>
</xs:complexType>
<xs:element name=“setdiff” type=“setdiff.type”/>
<!– “card” –>
<xs:attributeGroup name=“card.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“card.type”>
<xs:attributeGroup ref="card.attlist"/>
</xs:complexType>
<xs:element name=“card” type=“card.type”/>
<!– “cartesianproduct” –>
<xs:attributeGroup name=“cartesianproduct.attlist”>
<xs:attributeGroup ref="Definition.attrib"/> <xs:attributeGroup ref="Common.attrib"/>
</xs:attributeGroup>
<xs:complexType name=“cartesianproduct.type”>
<xs:attributeGroup ref="cartesianproduct.attlist"/>
</xs:complexType>
<xs:element name=“cartesianproduct” type=“cartesianproduct.type”/>
<!– And the group of everything –>
<xs:group name=“Content-sets.class”>
<xs:choice> <xs:element ref="set"/> <xs:element ref="list"/> <xs:element ref="union"/> <xs:element ref="intersect"/> <xs:element ref="in"/> <xs:element ref="notin"/> <xs:element ref="subset"/> <xs:element ref="prsubset"/> <xs:element ref="notsubset"/> <xs:element ref="notprsubset"/> <xs:element ref="setdiff"/> <xs:element ref="card"/> <xs:element ref="cartesianproduct"/> </xs:choice>
</xs:group>
</xs:schema>
<!–
Copyright û 2002 World Wide Web Consortium, (Massachusetts Institute of Technology, Institut National de Recherche en Informatique et en Automatique, Keio University). All Rights Reserved. See http://www.w3.org/Consortium/Legal/. -->