<?xml version="1.0"?>

<rulebase>

<!-- An example which shows description logic typing -->

<imp>
  <_head>
    <atom>
      <_opr><rel>serve</rel></_opr>
      <var type="vin:Wine">X</var>
    </atom>
  </_head>
  <_body>
    <and>
      <atom>
        <_opr><rel>wine</rel></_opr>
        <var type="vin:Wine">X</var>
      </atom>
    </and>
  </_body>
</imp>


<fact>
 <_head>
  <atom>
    <_opr><rel>wine</rel></_opr>
    <ind type="vin:White_Wine">Chardonnay</ind>
  </atom>
 </_head>
</fact>

<fact>
 <_head>
  <atom>
    <_opr><rel>wine</rel></_opr>
    <var type="vin:Red_Wine">X</var>
  </atom>
 </_head>
</fact>

</rulebase>
