<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE rulebase [
	 <!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	 <!ENTITY ocean-ont 'http://www.daml.org/2003/06/ruletests/ocean-ont#'>
]>

<rulebase xml:base="http://www.daml.org/2003/06/ruletests/ocean-rules">

  <!-- rulebase version -->

  <facto>
    <_opr href="&owl;versionInfo"/>
    <ind href=""/>
    <data>$Id: ocean-rules.xml,v 1.4 2003/09/24 06:27:33 mdean Exp $</data>
  </facto>

  <!-- import facts -->

  <facto>
    <_opr href="&owl;imports"/>
    <ind href=""/>
    <ind href="http://www.daml.org/2003/06/ruletests/oceans"/>
  </facto>

  <imp>
    <_head>
      <atom>
        <_opr href="&ocean-ont;stretches"/>
        <var>x</var>
        <var>z</var>
      </atom>
    </_head>
    <_body>
      <atom>
        <_opr href="&ocean-ont;hasAsPart"/>
        <var>y</var>
        <var>x</var>
      </atom>
      <atom>
        <_opr href="&ocean-ont;coFlanked"/>
        <var>x</var>
        <var>y</var>
      </atom>
    </_body>
  </imp>

  <imp>
    <_head>
      <atom>
        <_opr href="&ocean-ont;coFlanked"/>
        <var>x</var>
        <var>y</var>
      </atom>
    </_head>
    <_body>
      <atom>
        <_opr href="&ocean-ont;flankedBy"/>
        <var>x</var>
        <var>z</var>
      </atom>
      <atom>
        <_opr href="&ocean-ont;flankedBy"/>
        <var>y</var>
        <var>z</var>
      </atom>
    </_body>
  </imp>

</rulebase>
