<And>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.agfa.com/w3c/euler/rpo-rules.n3#rcsid" />
    <Ind iri="http://www.agfa.com/w3c/euler/rpo-rules.n3" />
    <Data>$Id: rpo-rules.n3,v 1.14 2006/07/25 22:57:07 amdus Exp
    $</Data>
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#TransitiveProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#TransitiveProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentClass" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentClass" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentClass" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentClass" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentClass" />
    <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentProperty" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentProperty" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentProperty" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentProperty" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#equivalentProperty" />
    <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
    <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
    <Ind iri="http://www.w3.org/2002/07/owl#TransitiveProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#inverseOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#inverseOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#ObjectProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#inverseOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#ObjectProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#inverseOf" />
    <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#differentFrom" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#differentFrom" />
    <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
    <Ind iri="http://www.w3.org/2002/07/owl#AllDifferent" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#oneOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#oneOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#oneOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
    <Ind iri="http://www.w3.org/2002/07/owl#complementOf" />
    <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
    <Ind iri="http://www.w3.org/2002/07/owl#complementOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Atom>
    <Rel>holds</Rel>
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
    <Ind iri="http://www.w3.org/2002/07/owl#complementOf" />
    <Ind iri="http://www.w3.org/2000/01/rdf-schema#Class" />
  </Atom>
  <Implies>
    <Atom>
      <Rel>holds</Rel>
      <Var>P</Var>
      <Var>S</Var>
      <Var>O</Var>
    </Atom>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>P</Var>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/01/rdf-schema#domain" />
        <Var>P</Var>
        <Var>C</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>S</Var>
      <Var>C</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/01/rdf-schema#range" />
        <Var>P</Var>
        <Var>C</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>O</Var>
      <Var>C</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/01/rdf-schema#subClassOf" />
        <Var>A</Var>
        <Var>B</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>S</Var>
        <Var>A</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>S</Var>
      <Var>B</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/01/rdf-schema#subPropertyOf" />
        <Var>P</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>R</Var>
      <Var>S</Var>
      <Var>O</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
        <Var>X</Var>
        <Var>Y</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>X</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>P</Var>
      <Var>Y</Var>
      <Var>O</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Var>X</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
        <Var>X</Var>
        <Var>Y</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>Y</Var>
      <Var>S</Var>
      <Var>O</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>X</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
        <Var>X</Var>
        <Var>Y</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>P</Var>
      <Var>S</Var>
      <Var>Y</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#inverseOf" />
        <Var>P</Var>
        <Var>Q</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>Q</Var>
      <Var>O</Var>
      <Var>S</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/2002/07/owl#SymmetricProperty" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>P</Var>
      <Var>O</Var>
      <Var>S</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/2002/07/owl#TransitiveProperty" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>X</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>X</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Var>P</Var>
      <Var>S</Var>
      <Var>O</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/2002/07/owl#FunctionalProperty" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>X</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>S</Var>
        <Var>Y</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
      <Var>X</Var>
      <Var>Y</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>P</Var>
        <Ind iri="http://www.w3.org/2002/07/owl#InverseFunctionalProperty" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>X</Var>
        <Var>O</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Var>P</Var>
        <Var>Y</Var>
        <Var>O</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2002/07/owl#sameAs" />
      <Var>X</Var>
      <Var>Y</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
        <Var>A</Var>
        <Var>D</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>D</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
      <Var>A</Var>
      <Var>R</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#distinctMembers" />
        <Var>A</Var>
        <Var>D</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#subListOf" />
        <Var>L</Var>
        <Var>D</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
        <Var>L</Var>
        <Var>X</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/list#in" />
        <Var>Y</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2002/07/owl#differentFrom" />
      <Var>X</Var>
      <Var>Y</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#oneOf" />
        <Var>C</Var>
        <Var>L</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/list#in" />
        <Var>X</Var>
        <Var>L</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>X</Var>
      <Var>C</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
        <Var>C</Var>
        <Var>L</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inAllOf" />
        <Var>X</Var>
        <Var>L</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>X</Var>
      <Var>C</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
        <Var>C</Var>
        <Var>L</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inSomeOf" />
        <Var>X</Var>
        <Var>L</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>X</Var>
      <Var>C</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
        <Var>L</Var>
        <Var>I</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2000/10/swap/list#in" />
      <Var>I</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/list#in" />
        <Var>I</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2000/10/swap/list#in" />
      <Var>I</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>L</Var>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
    </Atom>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#subListOf" />
      <Var>L</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#subListOf" />
        <Var>X</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#subListOf" />
      <Var>X</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
        <Var>L</Var>
        <Var>A</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>X</Var>
        <Var>A</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inAllOf" />
      <Var>X</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
        <Var>L</Var>
        <Var>A</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>X</Var>
        <Var>A</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inAllOf" />
        <Var>X</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inAllOf" />
      <Var>X</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#first" />
        <Var>L</Var>
        <Var>A</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>X</Var>
        <Var>A</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inSomeOf" />
      <Var>X</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
        <Var>L</Var>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest" />
        <Var>L</Var>
        <Var>R</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inSomeOf" />
        <Var>X</Var>
        <Var>R</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#inSomeOf" />
      <Var>X</Var>
      <Var>L</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>A</Var>
        </Expr>
        <Var>M</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>B</Var>
        </Expr>
        <Var>N</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
        <Var>C</Var>
        <Expr>
          <Fun>list</Fun>
          <Var>A</Var>
          <Var>B</Var>
        </Expr>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/math#lessThan" />
        <Var>M</Var>
        <Var>N</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
      <Expr>
        <Fun>list</Fun>
        <Var>X</Var>
        <Var>C</Var>
      </Expr>
      <Var>M</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>A</Var>
        </Expr>
        <Var>M</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>B</Var>
        </Expr>
        <Var>N</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#intersectionOf" />
        <Var>C</Var>
        <Expr>
          <Fun>list</Fun>
          <Var>A</Var>
          <Var>B</Var>
        </Expr>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/math#notLessThan" />
        <Var>M</Var>
        <Var>N</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
      <Expr>
        <Fun>list</Fun>
        <Var>X</Var>
        <Var>C</Var>
      </Expr>
      <Var>N</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>A</Var>
        </Expr>
        <Var>M</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>B</Var>
        </Expr>
        <Var>N</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
        <Var>C</Var>
        <Expr>
          <Fun>list</Fun>
          <Var>A</Var>
          <Var>B</Var>
        </Expr>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/math#lessThan" />
        <Var>M</Var>
        <Var>N</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
      <Expr>
        <Fun>list</Fun>
        <Var>X</Var>
        <Var>C</Var>
      </Expr>
      <Var>N</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>A</Var>
        </Expr>
        <Var>M</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>B</Var>
        </Expr>
        <Var>N</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
        <Var>C</Var>
        <Expr>
          <Fun>list</Fun>
          <Var>A</Var>
          <Var>B</Var>
        </Expr>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/math#notLessThan" />
        <Var>M</Var>
        <Var>N</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
      <Expr>
        <Fun>list</Fun>
        <Var>X</Var>
        <Var>C</Var>
      </Expr>
      <Var>M</Var>
    </Atom>
  </Implies>
  <Implies>
    <And>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2000/10/swap/math#difference" />
        <Expr>
          <Fun>list</Fun>
          <Data type="http://www.w3.org/2001/XMLSchema#decimal">
          1</Data>
          <Var>M</Var>
        </Expr>
        <Var>N</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
        <Expr>
          <Fun>list</Fun>
          <Var>X</Var>
          <Var>A</Var>
        </Expr>
        <Var>M</Var>
      </Atom>
      <Atom>
        <Rel>holds</Rel>
        <Ind iri="http://www.w3.org/2002/07/owl#complementOf" />
        <Var>C</Var>
        <Var>A</Var>
      </Atom>
    </And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#mu" />
      <Expr>
        <Fun>list</Fun>
        <Var>X</Var>
        <Var>C</Var>
      </Expr>
      <Var>N</Var>
    </Atom>
  </Implies>
</And>

