# 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/swap/test/rete/builtin5.n3 @prefix : <#> . @prefix log: . @prefix math: . @forAll :a, :b, :d, :x, :y, :z . "0" "0" . "2" "0" . "4" "2" . "6" "2" . 2 . 0 . { @forSome :_g0 . ( :x :_g0 ) math:sum :d . ( :y :z ) math:sum :_g0 . :a :x . :b :y, :z . } log:implies {:d :y . } . #ENDS