<?xml version="1.0" encoding="UTF-8"?>
<rif:document xmlns:rif="http://www.w3.org/2008/rif">
  <Group>
    <rule>
      <Forall>
        <declare>
          <Var>x</Var>
        </declare>
        <declare>
          <Var>y</Var>
        </declare>
        <formula>
          <Implies>
            <if>
              <And>
                <formula>
                  <Atom>
                    <op>
                      <Const type="&amp;fuz;blah">foo:ton</Const>
                    </op>
                    <arg>
                      <Var>x</Var>
                    </arg>
                    <arg>
                      <Expr>
                        <op>
                          <Const type="&amp;snif;doo">barf:goo</Const>
                        </op>
                        <arg>
                          <Var>y</Var>
                        </arg>
                      </Expr>
                    </arg>
                  </Atom>
                </formula>
                <formula>
                  <Member>
                    <lower>
                      <Var>x</Var>
                    </lower>
                    <upper>
                      <Var>y</Var>
                    </upper>
                  </Member>
                </formula>
              </And>
            </if>
            <then>
              <Atom>
                <op>
                  <Const type="&amp;fuz;blah">foo:bar</Const>
                </op>
                <arg>
                  <Var>x</Var>
                </arg>
                <arg>
                  <Var>y</Var>
                </arg>
              </Atom>
            </then>
          </Implies>
        </formula>
      </Forall>
    </rule>
  </Group>
</rif:document>
<!--XML document generated on Sun May 18 21:49:57 PDT 2008-->
