<?xml version="1.0" encoding="UTF-8"?>
<rif:document xmlns:rif="http://www.w3.org/2008/rif">
  <Group>
    <meta>
      <Frame>
        <object>
          <Const type="&amp;rif;iri">http://sample.org</Const>
        </object>
        <slot>
          <Prop>
            <key>
              <Const type="&amp;rif;iri">dc:publisher</Const>
            </key>
            <val>
              <Const type="&amp;rif;iri">w3:W3C</Const>
            </val>
          </Prop>
        </slot>
        <slot>
          <Prop>
            <key>
              <Const type="&amp;rif;iri">dc:date</Const>
            </key>
            <val>
              <Const type="&amp;xsd;date">2008-04-04</Const>
            </val>
          </Prop>
        </slot>
      </Frame>
    </meta>
    <rule>
      <Forall>
        <declare>
          <Var>item</Var>
        </declare>
        <declare>
          <Var>deliverydate</Var>
        </declare>
        <declare>
          <Var>scheduledate</Var>
        </declare>
        <declare>
          <Var>diffduration</Var>
        </declare>
        <declare>
          <Var>diffdays</Var>
        </declare>
        <formula>
          <Implies>
            <if>
              <And>
                <formula>
                  <Atom>
                    <op>
                      <Const type="&amp;rif;iri">cpt:perishable</Const>
                    </op>
                    <arg>
                      <Var>item</Var>
                    </arg>
                  </Atom>
                </formula>
                <formula>
                  <Atom>
                    <op>
                      <Const type="&amp;rif;iri">cpt:delivered</Const>
                    </op>
                    <arg>
                      <Var>item</Var>
                    </arg>
                    <arg>
                      <Var>deliverydate</Var>
                    </arg>
                    <arg>
                      <Const type="&amp;rif;iri">ppl:John</Const>
                    </arg>
                  </Atom>
                </formula>
                <formula>
                  <Atom>
                    <op>
                      <Const type="&amp;rif;iri">cpt:scheduled</Const>
                    </op>
                    <arg>
                      <Var>item</Var>
                    </arg>
                    <arg>
                      <Var>scheduledate</Var>
                    </arg>
                  </Atom>
                </formula>
                <formula>
                  <External>
                    <content>
                      <Atom>
                        <op>
                          <Const type="&amp;rif;iri">fn:subtract-dateTimes-yielding-dayTimeDuration</Const>
                        </op>
                        <arg>
                          <Var>deliverydate</Var>
                        </arg>
                        <arg>
                          <Var>scheduledate</Var>
                        </arg>
                        <arg>
                          <Var>diffduration</Var>
                        </arg>
                      </Atom>
                    </content>
                  </External>
                </formula>
                <formula>
                  <External>
                    <content>
                      <Atom>
                        <op>
                          <Const type="&amp;rif;iri">fn:get-days-from-dayTimeDuration</Const>
                        </op>
                        <arg>
                          <Var>diffduration</Var>
                        </arg>
                        <arg>
                          <Var>diffdays</Var>
                        </arg>
                      </Atom>
                    </content>
                  </External>
                </formula>
                <formula>
                  <External>
                    <content>
                      <Atom>
                        <op>
                          <Const type="&amp;rif;iri">op:numeric-greater-than</Const>
                        </op>
                        <arg>
                          <Var>diffdays</Var>
                        </arg>
                        <arg>
                          <Const type="&amp;xsd;integer">10</Const>
                        </arg>
                      </Atom>
                    </content>
                  </External>
                </formula>
              </And>
            </if>
            <then>
              <Atom>
                <op>
                  <Const type="&amp;rif;iri">cpt:reject</Const>
                </op>
                <arg>
                  <Const type="&amp;rif;iri">ppl:John</Const>
                </arg>
                <arg>
                  <Var>item</Var>
                </arg>
              </Atom>
            </then>
          </Implies>
        </formula>
      </Forall>
    </rule>
    <rule>
      <Forall>
        <declare>
          <Var>item</Var>
        </declare>
        <formula>
          <Implies>
            <if>
              <Atom>
                <op>
                  <Const type="&amp;rif;iri">cpt:unsolicited</Const>
                </op>
                <arg>
                  <Var>item</Var>
                </arg>
              </Atom>
            </if>
            <then>
              <Atom>
                <op>
                  <Const type="&amp;rif;iri">cpt:reject</Const>
                </op>
                <arg>
                  <Const type="&amp;rif;iri">ppl:Fred</Const>
                </arg>
                <arg>
                  <Var>item</Var>
                </arg>
              </Atom>
            </then>
          </Implies>
        </formula>
      </Forall>
    </rule>
  </Group>
</rif:document>
<!--XML document generated on Sun May 18 21:49:23 PDT 2008-->
