<sentence>
 <Implies>
  <if>
   <External>
    <content>
     <Atom>
      <op><Const type="rif:iri">op:numeric-greater-than</Const></op>
      <arg><Var>X</Var></arg>
      <arg><Const type="xsd:decimal">2</Const></arg>
     </Atom>
    </content>
   </External>
  </if>
  <then>
   <Atom>
    <op><Const type="rif:iri">fn:assign</Const></op>
    <arg><Var>Y</Var></arg>
    <arg><Var>X</Var></arg>
   </Atom>
  </then>
 </Implies>
</sentence>

Powrót