<?xml version="1.0" encoding="UTF-8"?>
<rif:ruleset xmlns:rif="http://www.w3.org/2007/rif" xmlns:rcl="http://www.w3.org/2007/rcl" xmlns:hrl="http://www.w3.org/2007/hrl">
  <rif:relation name="reject" />
  <rif:relation name="perishable" />
  <rif:relation name="delivered" />
  <rif:relation name="scheduled" />
  <rif:relation name="timediff" />
  <rif:relation name="greaterThan" />
  <rif:hornrule>
    <hrl:implies>
      <hrl:antecedent>
        <rcl:and>
          <rcl:atom>
            <rcl:predicate name="perishable" />
            <rcl:variable name="item" />
          </rcl:atom>
          <rcl:atom>
            <rcl:predicate name="delivered" />
            <rcl:variable name="item" />
            <rcl:variable name="deliverydate" />
          </rcl:atom>
          <rcl:atom>
            <rcl:predicate name="scheduled" />
            <rcl:variable name="item" />
            <rcl:variable name="scheduledate" />
          </rcl:atom>
          <rcl:atom>
            <rcl:predicate name="timediff" />
            <rcl:variable name="diffdate" />
            <rcl:variable name="deliverydate" />
            <rcl:variable name="scheduledate" />
          </rcl:atom>
          <rcl:atom>
            <rcl:predicate name="greaterThan" />
            <rcl:variable name="diffdate" />
            <rcl:constant>
              <rcl:data value="10" />
            </rcl:constant>
          </rcl:atom>
        </rcl:and>
      </hrl:antecedent>
      <hrl:consequent>
        <rcl:atom>
          <rcl:predicate name="reject" />
          <rcl:object>
            <rcl:name ref="John" />
          </rcl:object>
          <rcl:variable name="item" />
        </rcl:atom>
      </hrl:consequent>
    </hrl:implies>
  </rif:hornrule>
  <rif:relation name="accept" />
  <rif:hornrule>
    <hrl:implies>
      <hrl:antecedent>
        <rcl:naf>
          <rcl:atom>
            <rcl:predicate name="reject" />
            <rcl:variable name="customer" />
            <rcl:variable name="item" />
          </rcl:atom>
        </rcl:naf>
      </hrl:antecedent>
      <hrl:consequent>
        <rcl:atom>
          <rcl:predicate name="accept" />
          <rcl:variable name="customer" />
          <rcl:variable name="item" />
        </rcl:atom>
      </hrl:consequent>
    </hrl:implies>
  </rif:hornrule>
</rif:ruleset>
<!--XML document generated on Wed Apr 04 15:48:20 PDT 2007-->
