<?xml version="1.0" encoding="UTF-8"?> <Group id="xtt_1"> <sentence id="rul_1"> <Implies> <if> <External> <content> <Atom> <op> <Const type="rif:iri">xtt:in</Const> </op> <arg> <Var>att_0</Var> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:complex_set</Const> </op> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:set</Const> </op> <arg> <Const type="xsd:decimal">1</Const> </arg> <arg> <Const type="xsd:decimal">5</Const> </arg> </Expr> </content> </External> </arg> <arg> <Const type="xsd:decimal">8</Const> </arg> </Expr> </content> </External> </arg> </Atom> </content> </External> </if> <then> <Atom> <op> <Const type="rif:iri">xtt:next_table</Const> </op> <arg> <Const type="xsd:string">xtt_1</Const> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:run_many</Const> </op> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:assign</Const> </op> <arg> <Var>att_1</Var> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:add</Const> </op> <arg> <Var>att_0</Var> </arg> <arg> <Const type="xsd:decimal">1</Const> </arg> </Expr> </content> </External> </arg> </Expr> </content> </External> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:assign</Const> </op> <arg> <Var>att_1</Var> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:add</Const> </op> <arg> <Const type="xsd:decimal">5</Const> </arg> <arg> <External> <content> <Expr> <op> <Const type="rif:iri">xtt:sin</Const> </op> <arg> <Var>att_0</Var> </arg> </Expr> </content> </External> </arg> </Expr> </content> </External> </arg> </Expr> </content> </External> </arg> </Expr> </content> </External> </arg> </Atom> </then> </Implies> </sentence> </Group>
Pobierz xtt_przyklad.xml.