<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>