<sentence>
<Implies>
<if>
<And>
<formula>
<Exists>
<declare><Var>Employee</Var></declare>
<declare><Var>Name</Var></declare>
<declare><Var>Salary</Var></declare>
<formula>
<Frame>
<object>
<Member>
<lower><Var>Employee</Var></lower>
<upper><Const type="rif:iri">cmp:employees</Const></upper>
</Member>
</object>
<slot>
<Prop>
<key><Name>name</Name></key>
<val><Var>Name</Var></val>
</Prop>
</slot>
<slot>
<Prop>
<key><Name>salary</Name></key>
<val><Var>Salary</Var></val>
</Prop>
</slot>
</Frame>
</formula>
</Exists>
</formula>
<formula>
<External>
<content>
<Atom>
<op><Const type="rif:iri">op:numeric-lesser-than</Const></op>
<arg><Var>Salary</Var></arg>
<arg><Const type="xsd:decimal">2000</Const></arg>
</Atom>
</content>
</External>
</formula>
</And>
</if>
<then>
<Atom>
<op><Const type="rif:iri">op:increase-salary</Const></op>
<arg><Const type="xsd:decimal">0.1</Const></arg>
<arg><Var>Salary</Var></arg>
<arg><Var>Name</Var></arg>\
</Atom>
</then>
</Implies>
</sentence>
Powrót