#Processed by EYE v17.0703.0814 josd #eye --nope http://eulersharp.sourceforge.net/2007/07test/biP.n3 --query http://eulersharp.sourceforge.net/2007/07test/biQ.n3 PREFIX math: PREFIX list: PREFIX string: PREFIX time: PREFIX log: PREFIX xsd: PREFIX rdf: PREFIX med: PREFIX e: PREFIX prolog: PREFIX : PREFIX fl: {{3 :circleArea _:sk_16. _:sk_16 math:greaterThan 28.27 . _:sk_16 math:lessThan 28.28} => {:ca1 :result true}} a :PASS. {{5 :whenGreater _:sk_17. _:sk_17 log:equalTo 3} => {:wg1 :result true}} a :PASS. {{("This is a ~w with number ~w and with an escaped linefeed \n" "test" 5) e:format "This is a test with number 5 and with an escaped linefeed \n"} => {:ef4 :result true}} a :PASS. {{({:a :b :c. :d :e :f} true) e:graphDifference {:a :b :c. :d :e :f}} => {:egd1 :result true}} a :PASS. {{(true {:d :e :f}) e:graphDifference true} => {:egd2 :result true}} a :PASS. {{({:a :b :c. :d :e :f} {:d :e :f}) e:graphDifference {:a :b :c}} => {:egd3 :result true}} a :PASS. {{({:a :b :c. :d :e :f. :g :h :i} {_:sk_18 :e :f}) e:graphDifference {:a :b :c. :g :h :i}} => {:egd4 :result true}} a :PASS. {{({:a :b :c} {:a :b :c. :u :v :w. :x :y :z}) e:graphDifference true} => {:egd5 :result true}} a :PASS. {{(true) e:graphIntersection true} => {:egi1 :result true}} a :PASS. {{(true {:d :e :f}) e:graphIntersection true} => {:egi2 :result true}} a :PASS. {{({:a :b :c. :d :e :f. :g :h :i} true) e:graphIntersection true} => {:egi3 :result true}} a :PASS. {{({:a :b :c. :d :e :f} {:d :e :f}) e:graphIntersection {:d :e :f}} => {:egi4 :result true}} a :PASS. {{({:a :b :c. :d :e :f. :g :h :i} {:g :h :i. _:sk_19 :e :f} {_:sk_19 :e :f. :g :h :i}) e:graphIntersection {_:sk_19 :e :f. :g :h :i}} => {:egi5 :result true}} a :PASS. {{((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6} => {:el1 :result true}} a :PASS. {{(8 5 6 7 9 4) e:max 9} => {:em1 :result true}} a :PASS. {{(8 5 6 7 9 4) e:min 4} => {:em2 :result true}} a :PASS. {{(10000000) e:random 5524830} => {:era1 :result true}} a :PASS. {{((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d)) e:reverse ((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d))} => {:er1 :result true}} a :PASS. {{((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:sort ((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d))} => {:es1 :result true}} a :PASS. {{(9 3 8 3 5 7 7 9 9 2) e:sort (2 3 3 5 7 7 8 9 9 9)} => {:es2 :result true}} a :PASS. {{"\"test\n" e:stringEscape "\\\"test\\n"} => {:ese1 :result true}} a :PASS. {{("a-b/c-d/e" "-/") e:stringSplit ("a" "b" "c" "d" "e")} => {:ess1 :result true}} a :PASS. {{_:sk_20 e:whenGround {:a :b :d}. :a :b _:sk_20} => {:ewg1 :result true}} a :PASS. {{"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"} => {:ew1 :result true}} a :PASS. {{"Hello World!" e:wwwFormEncode "Hello+World%21"} => {:ew2 :result true}} a :PASS. {{(-4) prolog:abs 4} => {:prologa2 :result true}} a :PASS. {{((:a :b :c) (:d :e) (:a :b :c :d :e)) prolog:append true} => {:prologa1 :result true}} a :PASS. {{(6 8) prolog:arithmetic_less_than_or_equal true} => {:prologaltoe1 :result true}} a :PASS. {{({:s :q :o}) prolog:assertz true. :s :q :o} => {:prologaz1 :result true}} a :PASS. {{("HOME"^^prolog:atom (72 79 77 69)) prolog:atom_codes true} => {:prologac1 :result true}} a :PASS. {{("123"^^prolog:atom 123) prolog:atom_number true} => {:prologan1 :result true}} a :PASS. {{(("Hello "^^prolog:atom "World :-)"^^prolog:atom) "Hello World :-)"^^prolog:atom) prolog:atomic_list_concat true} => {:prologalc1 :result true}} a :PASS. {{({:prologaltoe1 :result true}) prolog:call true} => {:prologc1 :result true}} a :PASS. {{({({:prologaltoe3 :result true}) prolog:call true}) prolog:not_provable true} => {:prologc2 :result true}} a :PASS. {{() prolog:cut true} => {:prologc3 :result true}} a :PASS. {{(_:sk_21 ("date"^^prolog:atom 1970 1 1 0 0 0.0 0 "UTC"^^prolog:atom "-"^^prolog:atom)) prolog:univ true. _:sk_22 math:equalTo 0 . (_:sk_21 _:sk_22) prolog:date_time_stamp true} => {:prologdts1 :result true}} a :PASS. {{({() prolog:fail true}) prolog:not_provable true} => {:prologf1 :result true}} a :PASS. {{(9 4) prolog:integer_quotient 2} => {:prologiq1 :result true}} a :PASS. {{(8 4) prolog:max 8} => {:prologm1 :result true}} a :PASS. {{(8 4) prolog:min 4} => {:prologm2 :result true}} a :PASS. {{(1) prolog:minus -1} => {:prologm3 :result true}} a :PASS. {{(:a :b) prolog:not_unifiable true} => {:prolognu1 :result true}} a :PASS. {{(1) prolog:plus 1} => {:prologp1 :result true}} a :PASS. {{(1 1) prolog:plus 2} => {:prologp2 :result true}} a :PASS. {{(9 4) prolog:product 36} => {:prologp3 :result true}} a :PASS. {{({:s :q :o}) prolog:retract true. ({({:s :q :o}) prolog:call true}) prolog:not_provable true} => {:prologr1 :result true}} a :PASS. {{((9 3 8 3 5 7 7 9 9 2) (2 3 5 7 8 9)) prolog:sort true} => {:prologs1 :result true}} a :PASS. {{(_:sk_23 ("date"^^prolog:atom 1970 1 1 0 0 0.0 0 "UTC"^^prolog:atom "-"^^prolog:atom)) prolog:univ true. (0.0 _:sk_23 "UTC"^^prolog:atom) prolog:stamp_date_time true} => {:prologsdt1 :result true}} a :PASS. {{("uv" 55) prolog:term_greater_than true} => {:prologtgt1 :result true}} a :PASS. {{:a :b :d. true} => {:prologt1 :result true}} a :PASS. {{(:b :b) prolog:unify true} => {:prologu1 :result true}} a :PASS. {{({:s :p :o} (:p :s :o)) prolog:univ true} => {:prologu2 :result true}} a :PASS. {{((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)} => {:lista1 :result true}} a :PASS. {{(:a :b :c) list:first :a} => {:listf1 :result true}} a :PASS. {{:c list:in (:a :b :c)} => {:listi1 :result true}} a :PASS. {{(:a :b :c) list:last :c} => {:listl1 :result true}} a :PASS. {{(:a :b :c :d) list:member :b} => {:listm1 :result true}} a :PASS. {{(:a :b :c) list:rest (:b :c)} => {:listr1 :result true}} a :PASS. {{(true) log:conjunction true} => {:logc1 :result true}} a :PASS. {{(true {:u :v :w} {:x :y :z. :j :k :l}) log:conjunction {:u :v :w. :x :y :z. :j :k :l}} => {:logc2 :result true}} a :PASS. {{(true {:u :v :w} true true) log:conjunction {:u :v :w}} => {:logc3 :result true}} a :PASS. {{(:a _:sk_24) log:equalTo (_:sk_25 :b)} => {:loge1 :result true}} a :PASS. {{($ :u :v $) log:equalTo ($ :u :v $)} => {:loge2 :result true}} a :PASS. {{{:a :b :c} log:equalTo {:a :b :c}} => {:loged0 :result true}} a :PASS. {{{:a :b :_c} log:equalTo {:a :b _:sk_26}} => {:loged3 :result true}} a :PASS. {{ log:semantics _:sk_27. _:sk_27 log:equalTo {:a :b :c}} => {:loges0 :result true}} a :PASS. {{ log:semantics _:sk_28. _:sk_28 log:equalTo {:a :b _:sk_29}} => {:loges3 :result true}} a :PASS. {{{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. _:sk_30 :d _:sk_31}} => {:logi1 :result true}} a :PASS. {{ log:semantics _:sk_32. _:sk_32 log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}} => {:logi3 :result true}} a :PASS. {{{:a :b :c} log:includes {:a :b :c}} => {:logid0 :result true}} a :PASS. {{{:a :b :c} log:includes {:a :b _:sk_33}} => {:logid1 :result true}} a :PASS. {{{:a :b :_c} log:includes {:a :b _:sk_34}} => {:logid3 :result true}} a :PASS. {{ log:semantics _:sk_35. _:sk_35 log:includes {:a :b :c}} => {:logis0 :result true}} a :PASS. {{ log:semantics _:sk_36. _:sk_36 log:includes {:a :b _:sk_37}} => {:logis1 :result true}} a :PASS. {{ log:semantics _:sk_38. _:sk_38 log:includes {:a :b _:sk_39}} => {:logis3 :result true}} a :PASS. {{ log:semantics _:sk_40. log:semantics _:sk_41. _:sk_40 log:includes _:sk_41} => {:logis4 :result true}} a :PASS. {{:a log:notEqualTo :b} => {:logne1 :result true}} a :PASS. {{{:a :b :c} log:notEqualTo {:a :b :_c}} => {:logned1 :result true}} a :PASS. {{{:a :b :_c} log:notEqualTo {:a :b :c}} => {:logned2 :result true}} a :PASS. {{{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}} => {:logni1 :result true}} a :PASS. {{ log:semantics _:sk_42. _:sk_42 log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}} => {:logni3 :result true}} a :PASS. {{{:a :b :_c} log:notIncludes {:a :b :c}} => {:lognid2 :result true}} a :PASS. {{ log:semantics _:sk_43. _:sk_43 log:notIncludes {:a :b :c}} => {:lognis2 :result true}} a :PASS. {{ log:semantics _:sk_44. log:semantics _:sk_45. _:sk_44 log:notIncludes _:sk_45} => {:lognis3 :result true}} a :PASS. {{med:Fever log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"} => {:logu1 :result true}} a :PASS. {{:betaBlocker log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"} => {:logu2 :result true}} a :PASS. {{(1 1) math:difference 0} => {:mathd1 :result true}} a :PASS. {{("2009-01-25T12:00:00"^^xsd:dateTime "1970-01-01T00:00:00"^^xsd:dateTime) math:difference 1232884800} => {:mathd2 :result true}} a :PASS. {{(2 _:sk_46) math:exponentiation 8.0 . (4.0 _:sk_46) math:product 12.0} => {:mathe1 :result true}} a :PASS. {{2 math:greaterThan 1} => {:mathg1 :result true}} a :PASS. {{"02" math:greaterThan "1"} => {:mathg2 :result true}} a :PASS. {{(:u :v :u) math:memberCount 3} => {:mathm1 :result true}} a :PASS. {{{:s :p :o1. :s :p :o2. :s :p :o1} math:memberCount 2} => {:mathm2 :result true}} a :PASS. {{($ :u :v $) math:memberCount 2} => {:mathm3 :result true}} a :PASS. {{7 math:notLessThan 5} => {:mathnl1 :result true}} a :PASS. {{(1 1) math:sum 2} => {:maths1 :result true}} a :PASS. {{("1" "1") math:sum 2} => {:maths2 :result true}} a :PASS. {{("1970-01-01T00:00:00+01:00"^^xsd:dateTime) math:sum -3600} => {:maths3 :result true}} a :PASS. {{("P1D"^^xsd:duration) math:sum 86400.0} => {:maths4 :result true}} a :PASS. {{(:f :g) rdf:first :f} => {:rdff1 :result true}} a :PASS. {{(:f :g) rdf:rest (:g)} => {:rdfr1 :result true}} a :PASS. {{("eul" "er") string:concatenation "euler"} => {:strc1 :result true}} a :PASS. {{("€" "Ø"@en-US) string:concatenation "€Ø"} => {:strc2 :result true}} a :PASS. {{("test " "is \"ok\"") string:concatenation "test is \"ok\""} => {:strc3 :result true}} a :PASS. {{("test " "is \"ok\"") string:concatenation _:sk_47. (_:sk_47 " again") string:concatenation "test is \"ok\" again"} => {:strc4 :result true}} a :PASS. {{"Rob Smith" string:contains "Smith"} => {:strcn1 :result true}} a :PASS. {{"Rob Smith"@en string:contains "Smith"@en} => {:strcn2 :result true}} a :PASS. {{"Tim" string:containsIgnoringCase "IM"} => {:strci1 :result true}} a :PASS. {{"abracadabra" string:matches "(a|b|r|c|d)+"} => {:strm1 :result true}} a :PASS. {{("http://example.org/1995/manifesto" "http://([^/]+)/([^/]+)") string:scrape "example.org"} => {:strs1 :result true}} a :PASS. {{("{x" "{(.)") string:scrape "x"} => {:strs2 :result true}} a :PASS. {{("http://example.org/1995/manifesto" "http://([^/]+)/([^/]+)") string:search ("example.org" "1995")} => {:strs3 :result true}} a :PASS. {{"euler" string:startsWith "eu"} => {:strs4 :result true}} a :PASS. {{"2006-12-14"^^xsd:date time:day "14"} => {:timed1 :result true}} a :PASS. {{"2006-12-14"^^xsd:date time:month "12"} => {:timem1 :result true}} a :PASS. {{"2006-12-14"^^xsd:date time:year "2006"} => {:timey1 :result true}} a :PASS. {{_:sk_50 e:findall (_:sk_51 {:s :p _:sk_51} (:o1 :o2))} => {:ef1 :result true}} a :PASS. {{_:sk_52 e:findall (_:sk_53 {_:sk_53 a :Male} (:Socrates :Xanthippe :Xanthippe :Dan :Tim) _:sk_54). _:sk_52 e:findall (_:sk_53 {_:sk_53 a :Female} _:sk_54 _:sk_55). _:sk_52 e:findall (_:sk_53 {_:sk_53 a :Human} _:sk_55 (:Dan :Tim))} => {:ef3 :result true}} a :PASS. {{:a :b :d. _:sk_56 e:optional {:g :h :i}} => {:eo1 :result true}} a :PASS. #2017-07-03T08:17:51.744Z in=151 out=119 ent=240 step=1189 brake=5 inf=588122 sec=0.120 inf/sec=4901017 #ENDS