<?xml version="1.0" encoding="UTF-8"?><!--W3C Schema generated by XMLSPY v2004 rel. 4 U (http://www.xmlspy.com)--><xs:schema elementFormDefault="qualified" xmlns:xs="http://www.w3.org/2001/XMLSchema">	<xs:element name="AND">		<xs:complexType>			<xs:sequence>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="EMAIL" type="xs:string"/>	<xs:element name="EQUAL">		<xs:complexType>			<xs:sequence>				<xs:choice>					<xs:choice>						<xs:element ref="VAR"/>						<xs:element ref="FUNVAR"/>						<xs:element ref="FUNCON"/>					</xs:choice>				</xs:choice>				<xs:choice>					<xs:choice>						<xs:element ref="VAR"/>						<xs:element ref="FUNVAR"/>						<xs:element ref="FUNCON"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="EQUI">		<xs:complexType>			<xs:sequence>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="EXISTS">		<xs:complexType>			<xs:sequence>				<xs:element ref="VAR"/>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="FORALL">		<xs:complexType>			<xs:sequence>				<xs:element ref="VAR"/>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="FORMULA">		<xs:complexType>			<xs:choice>				<xs:choice>					<xs:element ref="PROP"/>					<xs:element ref="NOT"/>					<xs:element ref="AND"/>					<xs:element ref="OR"/>					<xs:element ref="IMPL"/>					<xs:element ref="EQUI"/>					<xs:element ref="PREDVAR"/>					<xs:element ref="PREDCON"/>					<xs:element ref="FORALL"/>					<xs:element ref="EXISTS"/>					<xs:element ref="EQUAL"/>				</xs:choice>			</xs:choice>		</xs:complexType>	</xs:element>	<xs:element name="FUNCON">		<xs:complexType>			<xs:sequence>				<xs:element ref="number"/>				<xs:element ref="T"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="FUNVAR">		<xs:complexType>			<xs:sequence>				<xs:element ref="number"/>				<xs:element ref="T"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="IMPL">		<xs:complexType>			<xs:sequence>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="LABEL" type="xs:string"/>	<xs:element name="LATEX">		<xs:complexType>			<xs:sequence>				<xs:element name="LANG" type="xs:string" minOccurs="0"/>				<xs:element ref="text"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="LATEXDET">		<xs:complexType>			<xs:sequence>				<xs:element ref="number" minOccurs="0"/>				<xs:element ref="text" minOccurs="0"/>				<xs:element ref="text"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="LINK" type="xs:string"/>	<xs:element name="MODULE">		<xs:complexType>			<xs:sequence>				<xs:element name="HEADER">					<xs:complexType>						<xs:sequence>							<xs:element ref="SPEC"/>							<xs:element name="TITLE">								<xs:complexType>									<xs:sequence>										<xs:element ref="LATEX" maxOccurs="unbounded"/>									</xs:sequence>								</xs:complexType>							</xs:element>							<xs:element name="ABSTRACT">								<xs:complexType>									<xs:sequence>										<xs:element ref="LATEX" maxOccurs="unbounded"/>									</xs:sequence>								</xs:complexType>							</xs:element>							<xs:element ref="EMAIL"/>							<xs:element name="AUTHORS">								<xs:complexType>									<xs:sequence>										<xs:element name="AUTHOR" maxOccurs="unbounded">											<xs:complexType>												<xs:sequence>													<xs:element ref="LATEX"/>													<xs:element ref="EMAIL"/>												</xs:sequence>											</xs:complexType>										</xs:element>									</xs:sequence>								</xs:complexType>							</xs:element>						</xs:sequence>					</xs:complexType>				</xs:element>				<xs:element name="IMPORTS" minOccurs="0">					<xs:complexType>						<xs:sequence>							<xs:element name="IMPORT" maxOccurs="unbounded">								<xs:complexType>									<xs:sequence>										<xs:element ref="SPEC"/>										<xs:element ref="LABEL"/>									</xs:sequence>								</xs:complexType>							</xs:element>						</xs:sequence>					</xs:complexType>				</xs:element>				<xs:element name="USEDBY" minOccurs="0">					<xs:complexType>						<xs:sequence>							<xs:element ref="SPEC" maxOccurs="unbounded"/>						</xs:sequence>					</xs:complexType>				</xs:element>				<xs:element name="PARAGRAPHS">					<xs:complexType>						<xs:sequence>							<xs:element name="PARAGRAPH" maxOccurs="unbounded">								<xs:complexType>									<xs:sequence>										<xs:element ref="LABEL"/>										<xs:element ref="number"/>										<xs:element ref="LATEXDET" minOccurs="0"/>										<xs:choice>											<xs:element name="ABBREVIATION">												<xs:complexType>													<xs:sequence>														<xs:choice>															<xs:choice>																<xs:element ref="PROP"/>																<xs:element ref="NOT"/>																<xs:element ref="AND"/>																<xs:element ref="OR"/>																<xs:element ref="IMPL"/>																<xs:element ref="EQUI"/>																<xs:element ref="PREDVAR"/>																<xs:element ref="PREDCON"/>																<xs:element ref="FORALL"/>																<xs:element ref="EXISTS"/>																<xs:element ref="EQUAL"/>															</xs:choice>														</xs:choice>														<xs:choice>															<xs:choice>																<xs:element ref="PROP"/>																<xs:element ref="NOT"/>																<xs:element ref="AND"/>																<xs:element ref="OR"/>																<xs:element ref="IMPL"/>																<xs:element ref="EQUI"/>																<xs:element ref="PREDVAR"/>																<xs:element ref="PREDCON"/>																<xs:element ref="FORALL"/>																<xs:element ref="EXISTS"/>																<xs:element ref="EQUAL"/>															</xs:choice>														</xs:choice>													</xs:sequence>												</xs:complexType>											</xs:element>											<xs:element name="AXIOM">												<xs:complexType>													<xs:choice>														<xs:choice>															<xs:element ref="PROP"/>															<xs:element ref="NOT"/>															<xs:element ref="AND"/>															<xs:element ref="OR"/>															<xs:element ref="IMPL"/>															<xs:element ref="EQUI"/>															<xs:element ref="PREDVAR"/>															<xs:element ref="PREDCON"/>															<xs:element ref="FORALL"/>															<xs:element ref="EXISTS"/>															<xs:element ref="EQUAL"/>														</xs:choice>													</xs:choice>												</xs:complexType>											</xs:element>											<xs:element name="DECLARERULE">												<xs:complexType>													<xs:sequence>														<xs:element ref="text"/>														<xs:element ref="LATEXDET"/>														<xs:element ref="LINK" minOccurs="0" maxOccurs="unbounded"/>													</xs:sequence>												</xs:complexType>											</xs:element>											<xs:element name="PROPOSITION">												<xs:complexType>													<xs:sequence>														<xs:element name="SENTENCE">															<xs:complexType>																<xs:choice>																	<xs:choice>																		<xs:element ref="PROP"/>																		<xs:element ref="NOT"/>																		<xs:element ref="AND"/>																		<xs:element ref="OR"/>																		<xs:element ref="IMPL"/>																		<xs:element ref="EQUI"/>																		<xs:element ref="PREDVAR"/>																		<xs:element ref="PREDCON"/>																		<xs:element ref="FORALL"/>																		<xs:element ref="EXISTS"/>																		<xs:element ref="EQUAL"/>																	</xs:choice>																</xs:choice>															</xs:complexType>														</xs:element>														<xs:element name="PROOF">															<xs:complexType>																<xs:sequence>																	<xs:element name="LINE" maxOccurs="unbounded">																		<xs:complexType>																			<xs:sequence>																				<xs:element ref="number"/>																				<xs:choice>																					<xs:choice>																						<xs:choice>																							<xs:element ref="PROP"/>																							<xs:element ref="NOT"/>																							<xs:element ref="AND"/>																							<xs:element ref="OR"/>																							<xs:element ref="IMPL"/>																							<xs:element ref="EQUI"/>																							<xs:element ref="PREDVAR"/>																							<xs:element ref="PREDCON"/>																							<xs:element ref="FORALL"/>																							<xs:element ref="EXISTS"/>																							<xs:element ref="EQUAL"/>																						</xs:choice>																					</xs:choice>																					<xs:element name="LET">																						<xs:complexType>																							<xs:choice>																								<xs:choice>																									<xs:element ref="PROP"/>																									<xs:element ref="NOT"/>																									<xs:element ref="AND"/>																									<xs:element ref="OR"/>																									<xs:element ref="IMPL"/>																									<xs:element ref="EQUI"/>																									<xs:element ref="PREDVAR"/>																									<xs:element ref="PREDCON"/>																									<xs:element ref="FORALL"/>																									<xs:element ref="EXISTS"/>																									<xs:element ref="EQUAL"/>																								</xs:choice>																							</xs:choice>																						</xs:complexType>																					</xs:element>																					<xs:element name="TEL">																						<xs:complexType>																							<xs:choice>																								<xs:choice>																									<xs:element ref="PROP"/>																									<xs:element ref="NOT"/>																									<xs:element ref="AND"/>																									<xs:element ref="OR"/>																									<xs:element ref="IMPL"/>																									<xs:element ref="EQUI"/>																									<xs:element ref="PREDVAR"/>																									<xs:element ref="PREDCON"/>																									<xs:element ref="FORALL"/>																									<xs:element ref="EXISTS"/>																									<xs:element ref="EQUAL"/>																								</xs:choice>																							</xs:choice>																						</xs:complexType>																					</xs:element>																					<xs:element name="CONTRA">																						<xs:complexType>																							<xs:choice>																								<xs:choice>																									<xs:element ref="PROP"/>																									<xs:element ref="NOT"/>																									<xs:element ref="AND"/>																									<xs:element ref="OR"/>																									<xs:element ref="IMPL"/>																									<xs:element ref="EQUI"/>																									<xs:element ref="PREDVAR"/>																									<xs:element ref="PREDCON"/>																									<xs:element ref="FORALL"/>																									<xs:element ref="EXISTS"/>																									<xs:element ref="EQUAL"/>																								</xs:choice>																							</xs:choice>																						</xs:complexType>																					</xs:element>																				</xs:choice>																				<xs:choice>																					<xs:element name="LREF" minOccurs="0">																						<xs:complexType>																							<xs:sequence>																								<xs:element ref="number" maxOccurs="unbounded"/>																							</xs:sequence>																						</xs:complexType>																					</xs:element>																					<xs:element name="RREF">																						<xs:complexType>																							<xs:sequence>																								<xs:element ref="LINK"/>																								<xs:element ref="number" minOccurs="0" maxOccurs="unbounded"/>																							</xs:sequence>																						</xs:complexType>																					</xs:element>																					<xs:element name="DREF">																						<xs:complexType>																							<xs:sequence>																								<xs:element ref="LINK"/>																								<xs:element ref="number" minOccurs="0"/>																							</xs:sequence>																						</xs:complexType>																					</xs:element>																					<xs:element name="PREF">																						<xs:complexType>																							<xs:sequence>																								<xs:element ref="LINK"/>																								<xs:element ref="number" minOccurs="0" maxOccurs="unbounded"/>																							</xs:sequence>																						</xs:complexType>																					</xs:element>																				</xs:choice>																			</xs:sequence>																		</xs:complexType>																	</xs:element>																</xs:sequence>															</xs:complexType>														</xs:element>													</xs:sequence>												</xs:complexType>											</xs:element>										</xs:choice>										<xs:element ref="LATEXDET" minOccurs="0"/>									</xs:sequence>								</xs:complexType>							</xs:element>						</xs:sequence>					</xs:complexType>				</xs:element>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="NOT">		<xs:complexType>			<xs:choice>				<xs:choice>					<xs:element ref="PROP"/>					<xs:element ref="NOT"/>					<xs:element ref="AND"/>					<xs:element ref="OR"/>					<xs:element ref="IMPL"/>					<xs:element ref="EQUI"/>					<xs:element ref="PREDVAR"/>					<xs:element ref="PREDCON"/>					<xs:element ref="FORALL"/>					<xs:element ref="EXISTS"/>					<xs:element ref="EQUAL"/>				</xs:choice>			</xs:choice>		</xs:complexType>	</xs:element>	<xs:element name="OR">		<xs:complexType>			<xs:sequence>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>				<xs:choice>					<xs:choice>						<xs:element ref="PROP"/>						<xs:element ref="NOT"/>						<xs:element ref="AND"/>						<xs:element ref="OR"/>						<xs:element ref="IMPL"/>						<xs:element ref="EQUI"/>						<xs:element ref="PREDVAR"/>						<xs:element ref="PREDCON"/>						<xs:element ref="FORALL"/>						<xs:element ref="EXISTS"/>						<xs:element ref="EQUAL"/>					</xs:choice>				</xs:choice>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="PREDCON">		<xs:complexType>			<xs:sequence>				<xs:element ref="number"/>				<xs:element ref="T"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="PREDVAR">		<xs:complexType>			<xs:sequence>				<xs:element ref="number"/>				<xs:element ref="T"/>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="PROP" type="xs:string"/>	<xs:element name="SPEC">		<xs:complexType>			<xs:sequence>				<xs:element name="NAME" type="xs:string"/>				<xs:element name="VERSION" type="xs:string"/>				<xs:element name="VERSION" type="xs:string"/>				<xs:element name="LOCATIONS">					<xs:complexType>						<xs:sequence>							<xs:element name="LOCATION" type="xs:string" maxOccurs="unbounded"/>						</xs:sequence>					</xs:complexType>				</xs:element>			</xs:sequence>		</xs:complexType>	</xs:element>	<xs:element name="T">		<xs:complexType>			<xs:choice minOccurs="0" maxOccurs="unbounded">				<xs:choice>					<xs:choice>						<xs:element ref="VAR"/>						<xs:element ref="FUNVAR"/>						<xs:element ref="FUNCON"/>					</xs:choice>				</xs:choice>			</xs:choice>		</xs:complexType>	</xs:element>	<xs:element name="TERM">		<xs:complexType>			<xs:choice>				<xs:choice>					<xs:element ref="VAR"/>					<xs:element ref="FUNVAR"/>					<xs:element ref="FUNCON"/>				</xs:choice>			</xs:choice>		</xs:complexType>	</xs:element>	<xs:element name="VAR" type="xs:string"/>	<xs:element name="number" type="xs:string"/>	<xs:element name="text" type="xs:string"/></xs:schema>