<?xml version="1.0"?>
<!-- ILOG RIF Serializer output of Tue Oct 24 15:53:31 CEST 2006 -->
<rif:RuleSet>
  <rif:Relation>
    <Name>reject</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>perishable</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>delivered</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>scheduled</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>timediff</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>greaterThan</Name>
  </rif:Relation>
  <rif:HornRule>
    <hrl:Implies>
      <hrl:Antecedent>
        <rcl:And>
          <rcl:Atom>
            <Rel>perishable</Rel>
            <Var>item</Var>
          </rcl:Atom>
          <rcl:Atom>
            <Rel>delivered</Rel>
            <Var>item</Var>
            <Var>deliverydate</Var>
          </rcl:Atom>
          <rcl:Atom>
            <Rel>scheduled</Rel>
            <Var>item</Var>
            <Var>scheduledate</Var>
          </rcl:Atom>
          <rcl:Atom>
            <Rel>timediff</Rel>
            <Var>diffdate</Var>
            <Var>deliverydate</Var>
            <Var>scheduledate</Var>
          </rcl:Atom>
          <rcl:Atom>
            <Rel>greaterThan</Rel>
            <Var>diffdate</Var>
            <rcl:Data>
              <Value>10</Value>
            </rcl:Data>
          </rcl:Atom>
        </rcl:And>
      </hrl:Antecedent>
      <hrl:Consequent>
        <rcl:Atom>
          <Rel>reject</Rel>
          <rcl:Ind>
            <Object>
              <Name>John</Name>
            </Object>
          </rcl:Ind>
          <Var>item</Var>
        </rcl:Atom>
      </hrl:Consequent>
    </hrl:Implies>
  </rif:HornRule>
  <rif:Relation>
    <Name>accept</Name>
  </rif:Relation>
  <rif:HornRule>
    <hrl:Implies>
      <hrl:Antecedent>
        <rcl:Naf>
          <rcl:Atom>
            <Rel>reject</Rel>
            <Var>customer</Var>
            <Var>item</Var>
          </rcl:Atom>
        </rcl:Naf>
      </hrl:Antecedent>
      <hrl:Consequent>
        <rcl:Atom>
          <Rel>accept</Rel>
          <Var>customer</Var>
          <Var>item</Var>
        </rcl:Atom>
      </hrl:Consequent>
    </hrl:Implies>
  </rif:HornRule>
</rif:RuleSet>
