To jest stara wersja strony!
<Group>
<sentence>
<Forall>
<declare><Var>grade</Var></declare>
<formula>
<Implies>
<if>
<Equal>
<side><Var>grade</Var></side>
<side><Const type="xsd:decimal">2</Const></side>
</Equal>
</if>
<then>
<Atom>
<op><Const type="rif:local">var:nrfail</Const></op>
<arg>
<Atom>
<op><Const type="rif:local">fn:count</Const></op>
<arg><Var>grade</Var></arg>
</Atom>
</arg>
</Atom>
</then>
</Implies>
</formula>
</Forall>
</sentence>
<sentence>
<formula>
<Implies>
<if>
<Exists>
<declare><Var>grade</Var></declare>
<formula>
<And>
</And>
</formula>
</Exists>
</if>
<then>
<Atom>
<op><Const type="rif:iri">fn:run-two</Const></op>
<arg>
<Atom>
<op><Const type="rif:iri">grmean</Const></op>
<arg>
<Atom>
<op><Const type="rif:iri">fn:mean</Const></op>
<arg><Var>grade</Var></arg>
</Atom>
</arg>
</Atom>
</arg>
<arg>
<Atom>
<op><Const type="rif:iri">nrgrades</Const></op>
<arg>
<Atom>
<op><Const type="rif:iri">fn:count</Const></op>
<arg><Var>grade</Var></arg>
</Atom>
</arg>
</Atom>
</arg>
</Atom>
</then>
</Implies>
</formula>
</sentence>
</Group>
Powrót