#Processed by Id: cwm.py,v 1.190 2006/08/09 23:20:42 syosi Exp # using base file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/.run-1157616181.854305p26250 # Notation3 generation by # notation3.py,v 1.191 2006/08/01 01:14:04 syosi Exp # Base was: file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/.run-1157616181.854305p26250 @prefix : . @prefix e: . @prefix ev: . @prefix ex: . @prefix ext: . @prefix log: . @prefix n3: . @prefix run: <#> . @forSome run:_g0, run:_g1 . [ a :Inference, :Proof; :binding [ :boundTo [ a :Existential; n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L14C2" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24-goal.n3#C" ] ]; :evidence ( [ a :Extraction; :because [ a :Inference; :binding [ :boundTo [ a :Existential; n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L12C2" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#_g_L26C3" ] ], [ :boundTo [ n3:uri "http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#HTML4" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#BIG" ] ], [ :boundTo "..."; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#TXT" ] ], [ :boundTo [ n3:uri "http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#chap1in" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#I" ] ], [ :boundTo [ a :Existential; n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ex-html24.n3#_g_L14C2" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#COMM" ] ], [ :boundTo [ n3:uri "http://www.w3.org/2001/tag/2006/ext-vers/ex-html24#HTML2" ]; :variable [ n3:nodeId "file:/home/connolly/w3ccvs/WWW/2001/tag/2006/ext-vers/ext-vers-rules.n3#_g_L26C30" ] ]; :evidence ( [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . run:_g2 a ev:Act_of_Consumption . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . run:_g2 ev:text "..." . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . run:_g2 ev:language ex:HTML4 . } ] [ a :Extraction; :because run:_g1; :gives {ex:HTML4 ev:sublanguage ex:HTML2 . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g3 . run:_g3 ev:intent ex:chap1in . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g3 . run:_g3 ev:text "..." . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g3 . run:_g3 ev:language ex:HTML2 . } ] ); :rule [ a :Extraction; :because [ a :Parsing; :because run:_g0; :source ]; :gives { @forAll ext:BIG, ext:COMM, ext:I, ext:TXT . { @forSome run:_g4 . [ ev:intent ext:I; ev:language run:_g4; ev:text ext:TXT ]. ext:BIG ev:sublanguage run:_g4 . ext:COMM a ev:Act_of_Consumption; ev:language ext:BIG; ev:text ext:TXT . } log:implies {ext:COMM ev:impact ext:I . } . } ] ]; :gives { @forSome run:_g2 . run:_g2 ev:impact ex:chap1in . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . run:_g2 ev:text "..." . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . run:_g2 ev:language ex:HTML4 . } ] [ a :Extraction; :because run:_g1; :gives { @forSome run:_g2 . ex:chap2 ev:stateCommunication run:_g2 . } ] ); :gives {run:_g2 ev:impact ex:chap1in; ev:language ex:HTML4; ev:text "..." . }; :rule [ a :Extraction; :because [ a :Parsing; :because run:_g0; :source ]; :gives { @forAll e:C . { ex:chap2 ev:stateCommunication e:C . e:C ev:impact ex:chap1in; ev:language ex:HTML4; ev:text "..." . } log:implies {e:C ev:impact ex:chap1in; ev:language ex:HTML4; ev:text "..." . } . } ] ]. run:_g0 a :CommandLine; :args "['../../../../2000/10/swap/cwm.py', 'ex-html24.n3', 'ext-vers-rules.n3', '--think', '--filter=ex-html24-goal.n3', '--why']" . run:_g1 a :Parsing; :because run:_g0; :source . #ENDS