AIwiki

<sentence>
 <Forall>
  <declare><Var>N</Var></declare>
  <declare><Var>P</Var></declare>
  <declare><Var>On</Var></declare>
  <declare><Var>Op</Var></declare>
  <formula>
   <Implies>
    <if>
     <And>
      <formula>
       <Exists>
        <declare><Var>T</Var></declare>
        <formula>
         <Frame>
          <object>
           <Member>
            <lower><Var>T</Var></lower>
            <upper><Const type="rif:iri">t</Const></upper>
           </Member>
          </object>
          <slot>
           <Prop>
            <key><Name>n</Name></key>
            <val><Var>N</Var></val>
           </Prop>
          </slot>
          <slot>
           <Prop>
            <key><Name>p</Name></key>
            <val><Var>P</Var></val>
           </Prop>
          </slot>
         </Frame>
       </formula>
       </Exists>
      </formula>
      <formula>
       <Exists>
        <declare><Var>Ot</Var></declare>
        <formula>
         <Frame>
          <object>
           <Member>
            <lower><Var>Ot</Var></lower>
            <upper><Const type="rif:iri">out</Const></upper>
          </Member>
          </object>
          <slot>
           <Prop>
            <key><Name>n</Name></key>
            <val><Var>On</Var></val>
           </Prop>
          </slot>
          <slot>
           <Prop>
            <key><Name>p</Name></key>
            <val><Var>Op</Var></val>
           </Prop>
          </slot>
         </Frame>
        </formula>
       </Exists>
      </formula>
      <formula>
       <Equal>
        <side><Var>On</Var></side>
       <side><Const type="xsd:decimal">2</Const></side>
       </Equal>
      </formula>
     </And>
    </if>
    <then>
     <Atom>
      <op><Const type="rif:local">pred</Const></op>
      <arg><Var>N</Var></arg>
      <arg><Var>P</Var></arg>
      <arg><Var>On</Var></arg>
      <arg><Var>Op</Var></arg>
     </Atom>
    </then>
   </Implies>
  </formula>
 </Forall>
</sentence>

Powrót