<Exists>
  <Var>g3</Var>
  <And>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Var>g3</Var>
      <Ind iri="http://www.w3.org/2002/07/owl#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/2002/03owlt/I5.5/premises005#a" />
      <Ind iri="http://www.w3.org/2002/07/owl#Class" />
    </Atom>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#type" />
      <Expr>
        <Fun>list</Fun>
        <Ind iri="http://www.w3.org/2002/03owlt/I5.5/premises005#a" />
      </Expr>
      <Ind iri="http://www.w3.org/1999/02/22-rdf-syntax-ns#List" />
    </Atom>
    <Atom>
      <Rel>holds</Rel>
      <Ind iri="http://www.w3.org/2002/07/owl#unionOf" />
      <Var>g3</Var>
      <Expr>
        <Fun>list</Fun>
        <Ind iri="http://www.w3.org/2002/03owlt/I5.5/premises005#a" />
      </Expr>
    </Atom>
  </And>
</Exists>

