#  Notation3 generation by
#       notation3.py,v 1.187 2006/01/13 14:48:54 syosi Exp

#   Base was: file:/Documents and Settings/kolovski/My Documents/mindswap/Policy Aware Web/www/2000/10/sameVarRules1.n3
     @prefix : <#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    
     @forAll :x,
                :y,
                :z .
    
    <http://cwmTest/z>     <http://cwmTest/has> <http://cwmTest/fired>;
         <http://cwmTest/hasValue>  (
        5
        2
        4 ) .
    {
        :x     rdf:first 5;
             math:sum :y .
        :z     <http://cwmTest/hasValue> :x .
        
        }     log:implies {:z     <http://cwmTest/has> <http://cwmTest/fired> .
        } .
    
#ENDS