<?xml version="1.0"?>
<!-- ILOG RIF Serializer output of Tue Oct 24 16:02:04 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>special</Name>
  </rif:Relation>
  <rif:Relation>
    <Name>purchase</Name>
  </rif:Relation>
  <rif:Function>
    <Name>book</Name>
  </rif:Function>
  <rif:HornRule>
    <hrl:Implies>
      <hrl:Antecedent>
        <rcl:Or>
          <rcl:And>
            <rcl:Exists>
              <Var>buyer</Var>
              <rcl:Atom>
                <Rel>purchase</Rel>
                <Var>buyer</Var>
                <Var>seller</Var>
                <rcl:Expr>
                  <Fun>book</Fun>
                  <Var>author</Var>
                  <rcl:Ind>
                    <Object>
                      <Name>LeRif</Name>
                    </Object>
                  </rcl:Ind>
                </rcl:Expr>
                <rcl:Data>
                  <Value>49</Value>
                </rcl:Data>
              </rcl:Atom>
            </rcl:Exists>
            <rcl:Equal>
              <Var>seller</Var>
              <Var>author</Var>
            </rcl:Equal>
          </rcl:And>
          <rcl:And>
            <rcl:Equal>
              <Var>seller</Var>
              <rcl:Ind>
                <Object>
                  <Name>Rifle</Name>
                </Object>
              </rcl:Ind>
            </rcl:Equal>
            <rcl:Forall>
              <Var>buyer</Var>
              <rcl:Neg>
                <rcl:Equal>
                  <Var>buyer</Var>
                  <Var>author</Var>
                </rcl:Equal>
              </rcl:Neg>
            </rcl:Forall>
          </rcl:And>
        </rcl:Or>
      </hrl:Antecedent>
      <hrl:Consequent>
        <rcl:Atom>
          <Rel>special</Rel>
          <Var>author</Var>
        </rcl:Atom>
      </hrl:Consequent>
    </hrl:Implies>
  </rif:HornRule>
</rif:RuleSet>
