<?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>