<?xml version="1.0" encoding="UTF-8"?><Assert xmlns="http://www.ruleml.org/0.88/xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.88/xsd http://www.ruleml.org/0.88/xsd/hornlog.xsd">	<!-- 'own' example as universal 'Assert' (changed from not-currently-supported 'Consider') -->	<!-- Universally closed 'And' elements in 'Assert' wrapper -->	<content>		<And innerclose="universal">			<formula>				<Implies>					<body>						<And>							<formula>								<Atom>									<opr>										<Rel>buy</Rel>									</opr>									<arg index="1">										<Var>person</Var>									</arg>									<arg index="2">										<Var>merchant</Var>									</arg>									<arg index="3">										<Var>object</Var>									</arg>								</Atom>							</formula>							<formula>								<Atom>									<opr>										<Rel>keep</Rel>									</opr>									<arg index="1">										<Var>person</Var>									</arg>									<arg index="2">										<Var>object</Var>									</arg>								</Atom>							</formula>						</And>					</body>					<head>						<Atom>							<opr>								<Rel>own</Rel>							</opr>							<arg index="1">								<Var>person</Var>							</arg>							<arg index="2">								<Var>object</Var>							</arg>						</Atom>					</head>				</Implies>			</formula>			<formula>				<Atom>					<opr>						<Rel>buy</Rel>					</opr>					<arg index="1">						<Ind>Mary</Ind>					</arg>					<arg index="2">						<Ind>John</Ind>					</arg>					<arg index="3">						<Cterm>							<opc>								<Ctor>book</Ctor>							</opc>							<arg index="1">								<Ind>Elliotte Rusty Harold</Ind>							</arg>							<arg index="2">								<Ind>XML Bible</Ind>							</arg>							<arg index="3">								<Ind>2001</Ind>							</arg>						</Cterm>					</arg>				</Atom>			</formula>			<formula>				<Atom>					<opr>						<Rel>keep</Rel>					</opr>					<arg index="1">						<Ind>Mary</Ind>					</arg>					<arg index="2">						<Var>object</Var>					</arg>				</Atom>			</formula>		</And>	</content></Assert>
