- From: <jos.deroo@agfa.com>
- Date: Sun, 18 Feb 2007 03:15:51 +0100
- To: www-archive@w3.org
GIVEN http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3 QUERY http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3 #Processed by Id: euler.yap,v 1.156 2007/02/16 09:43:25 josd Exp @prefix str: <http://www.w3.org/2000/10/swap/string#>. @prefix var: <http://localhost/var#>. @prefix q: <http://www.w3.org/2004/ql#>. @prefix list: <http://www.w3.org/2000/10/swap/list#>. @prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>. @prefix fn: <http://www.w3.org/2006/xpath-functions#>. @prefix xsd: <http://www.w3.org/2001/XMLSchema#>. @prefix : <http://eulersharp.sourceforge.net/2004/04test/gmp#>. @prefix time: <http://www.w3.org/2000/10/swap/time#>. @prefix log: <http://www.w3.org/2000/10/swap/log#>. @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>. @prefix n3: <http://www.w3.org/2004/06/rei#>. @prefix math: <http://www.w3.org/2000/10/swap/math#>. @prefix owl: <http://www.w3.org/2002/07/owl#>. @prefix r: <http://www.w3.org/2000/10/swap/reason#>. @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. [ a r:Proof, r:Conjunction; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:T)) 1)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:T)) 1)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 1]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P => :C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P => :C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:F)) 0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:F)) 0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P => :C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P => :C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:T)) 0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:T)) 0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P => :C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P => :C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:F)) 0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:F)) 0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P => :C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P => :C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:T)) 1.0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:T)) 1.0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 1.0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P => :C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P => :C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:F)) 0.5)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:F)) 0.5)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.5]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P => :C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P => :C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:T)) 0.0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:T)) 0.0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P => :C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P => :C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:F)) 0.5)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:F)) 0.5)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.5]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P => :C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P => :C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:T)) 1.0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:T)) 1.0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 1.0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:T) ((:C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:T) ((:C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:F)) 0.0)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:F)) 0.0)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.0]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:T) ((:C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:T) ((:C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:T)) 0.5)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:T)) 0.5)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.5]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:F) ((:C) e:T)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:F) ((:C) e:T)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:component [ a r:Inference; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:F)) 0.5)}; r:evidence ( [ a r:Fact; r:gives {((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:F)) 0.5)}]); r:binding [ r:variable [ n3:uri "http://localhost/var#SCOPE"]; r:boundTo (<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion]; r:binding [ r:variable [ n3:uri "http://localhost/var#Y"]; r:boundTo 0.5]; r:rule [ a r:Extraction; r:gives {@forAll var:SCOPE,var:Y. {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:F) ((:C) e:F)) var:Y)} => {(var:SCOPE 1) e:bayesian ((((:P => :C) e:T)) (((:P) e:F) ((:C) e:F)) var:Y)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>]]]; r:gives { ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:T)) 1). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:T) ((:P log:implies :C) e:F)) 0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:T)) 0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:C) e:T)) (((:P) e:F) ((:P log:implies :C) e:F)) 0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:T)) 1.0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:T) ((:P log:implies :C) e:F)) 0.5). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:T)) 0.0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P) e:T)) (((:C) e:F) ((:P log:implies :C) e:F)) 0.5). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:T)) 1.0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:T) ((:C) e:F)) 0.0). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:T)) 0.5). ((<http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmp.n3>!log:semantics <http://eulersharp.cvs.sourceforge.net/*checkout*/eulersharp/2004/04test/gmpF.n3>!log:semantics)!log:conjunction!log:conclusion 1) e:bayesian ((((:P log:implies :C) e:T)) (((:P) e:F) ((:C) e:F)) 0.5).}]. #ENDS 10 msec. -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 18 February 2007 02:21:49 UTC