<?xml version="1.0" encoding="UTF-8"?>

<Rulebase xmlns="http://www.ruleml.org/0.87/xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.ruleml.org/0.87/xsd http://www.ruleml.org/0.87/xsd/hornlog.xsd">

<!-- non-ground-fact-like rule with 4-ary cterm as single argument -->

<Fact>
  <head>
    <Atom>
      <opr><Rel>book</Rel></opr>
      <Cterm>
        <opc><Ctor>parts</Ctor></opc>
        <Var>title</Var>
        <Var>autor</Var>
        <Var>toc</Var>
        <Var>chapters</Var>
      </Cterm>
    </Atom>
  </head>
</Fact>

</Rulebase>
