<?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.
Powrót