<?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="special" />
  <rif:relation name="purchase" />
  <rif:function name="book" />
  <rif:hornrule>
    <hrl:implies>
      <hrl:antecedent>
        <rcl:or>
          <rcl:and>
            <rcl:quantifier kind="existential">
              <rcl:variable name="buyer" />
              <rcl:atom>
                <rcl:predicate name="purchase" />
                <rcl:variable name="buyer" />
                <rcl:variable name="seller" />
                <rcl:expression>
                  <rcl:function name="book" />
                  <rcl:variable name="author" />
                  <rcl:object>
                    <rcl:name ref="LeRif" />
                  </rcl:object>
                </rcl:expression>
                <rcl:constant>
                  <rcl:data value="49" />
                </rcl:constant>
              </rcl:atom>
            </rcl:quantifier>
            <rcl:equal>
              <rcl:variable name="seller" />
              <rcl:variable name="author" />
            </rcl:equal>
          </rcl:and>
          <rcl:and>
            <rcl:equal>
              <rcl:variable name="seller" />
              <rcl:object>
                <rcl:name ref="Rifle" />
              </rcl:object>
            </rcl:equal>
            <rcl:quantifer kind="universal">
              <rcl:variable name="buyer" />
              <rcl:neg>
                <rcl:equal>
                  <rcl:variable name="buyer" />
                  <rcl:variable name="author" />
                </rcl:equal>
              </rcl:neg>
            </rcl:quantifer>
          </rcl:and>
        </rcl:or>
      </hrl:antecedent>
      <hrl:consequent>
        <rcl:atom>
          <rcl:predicate name="special" />
          <rcl:variable name="author" />
        </rcl:atom>
      </hrl:consequent>
    </hrl:implies>
  </rif:hornrule>
</rif:ruleset>
<!--XML document generated on Wed Apr 04 15:49:43 PDT 2007-->