AIwiki

<Group xmlns="http://www.w3.org/2007/rif#">
 <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>
        <Expr>
         <op><Const type="rif:local">fn:count</Const></op>
         <arg><Var>grade</Var></arg>
        </Expr>
       </arg>
      </Atom>
     </then>
    </Implies>
   </formula>
  </Forall>
 </sentence>
 <sentence>
   <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>
       <Expr>
        <op><Const type="rif:iri">grmean</Const></op>
        <arg>
         <Expr>
          <op><Const type="rif:iri">fn:mean</Const></op>
          <arg><Var>grade</Var></arg>
         </Expr>
        </arg>
       </Expr>
      </arg>
      <arg>
       <Expr>
        <op><Const type="rif:iri">nrgrades</Const></op>
        <arg>
         <Expr>
          <op><Const type="rif:iri">fn:count</Const></op>
          <arg><Var>grade</Var></arg>
         </Expr>
        </arg>
       </Expr>
      </arg>
     </Atom>
    </then>
   </Implies>
 </sentence>
</Group>

Powrót