#Processed by Id: cwm.py,v 1.128 2003/04/02 03:42:04 timbl Exp # using base file:/devel/WWW/2000/10/swap/test/jos/ # Notation3 generation by # notation3.py,v 1.136 2003/04/02 03:42:05 timbl Exp # Base was: file:/devel/WWW/2000/10/swap/test/jos/ @prefix : . @prefix log: . @prefix math: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix run: <.run-1049671598.194459p12946#> . @prefix xsd: . @forAll :m, :x, :y, :z . a ; , , , ; , . a ; , . a ; , . a . a ; . a ; . a ; -0.061963775023832227; 16.138461538461538; -5.7941304360472685; 64.673863758291503; 70.467994194338772; -16.138461538461538; -176.16669062071998; -2658.30669062572; -16.200425313485372; -110.16669062071998; -2589.5066906257198; -104.89999999999999; -23.399765531524885; -3.9997655315248872; 24.741895537779016; -4.3581044622209788; 6.5; -66.0; -68.799999999999997; -64.550062192989998; -70.333101248769992; "30.2"; "23.3"; "135.1"; "16.8"; "10.8"; "89.3"; "164.2"; "85.6"; 6.8002344684751135; 24.749937807009999; 159.84189553777901; 15.26689875123; "1.44993780701"; "-1.53310124877"; "-1.87130600572"; "-8.37130600572"; "174.295384615"; "2649.93538462"; 15.998124307174564; 18.993074503630407; 4166.7105291188764; 4946.7451312697312; 4182.7086534260507; 4965.7382057733621 . a ; . a ; . a ; ; . a ; ; . a ; ; , . a ; ; , . { :m :x . :x math:greaterThan "2.25" . } log:implies {:m a . } . { :m :x . :x math:lessThan "-2.25" . } log:implies {:m a . } . { ( :x "2" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( :x "2" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( :x "2" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( :x "2" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( :x "0.5" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( :x "0.5" ) math:exponentiation :z . :m :x . } log:implies {:m :z . } . { ( "1" :x ) math:quotient :z . :m :x . } log:implies {:m :z . } . { ( "0" :x ) math:difference :z . :m :x . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:sum :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:quotient :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:sum :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:sum :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:sum :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :y :x ) math:quotient :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :y; :x . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:difference :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:product :z . :m :x; :y . } log:implies {:m :z . } . { ( :x :y ) math:quotient :z . :m :y; :x . } log:implies {:m :z . } . #ENDS