#socrates....
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/socrates.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/socratesF.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://www.agfa.com/w3c/euler/socrates#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Socrates a _:Man_0_}; r:evidence (
  [ a r:Fact; r:gives {:Socrates a _:Man_0_}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_671_line_11]]];
 r:gives {
  :Socrates a _:Man_0_.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Socrates a :Mortal}; r:evidence (
  [ a r:Inference; r:gives {:Socrates a :Mortal}; r:evidence (
   [ a r:Fact; r:gives {_:Man_0_ rdfs:subClassOf :Mortal}]
   [ a r:Fact; r:gives {:Socrates a _:Man_0_}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_281_line_9]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_671_line_11]]];
 r:gives {
  :Socrates a :Mortal.}].

#ENDS 59 msec.

#graph.......
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/graph.axiom.n3#>.
@prefix nsp3: <http://www.agfa.com/w3c/euler/graph.filter.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/rpo-rules.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix nsp2: <http://www.agfa.com/w3c/euler/>.
@prefix : <http://www.agfa.com/w3c/euler/graph.axiom#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:paris :path :nantes}; r:evidence (
  [ a r:Inference; r:gives {:paris :path :nantes}; r:evidence (
   [ a r:Fact; r:gives {:path a owl:TransitiveProperty}]
   [ a r:Inference; r:gives {:angers :path :nantes}; r:evidence (
    [ a r:Fact; r:gives {:oneway rdfs:subPropertyOf :path}]
    [ a r:Fact; r:gives {:angers :oneway :nantes}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2018_line_33]]]
   [ a r:Inference; r:gives {:paris :path :angers}; r:evidence (
    [ a r:Fact; r:gives {:path a owl:TransitiveProperty}]
    [ a r:Inference; r:gives {:lemans :path :angers}; r:evidence (
     [ a r:Fact; r:gives {:oneway rdfs:subPropertyOf :path}]
     [ a r:Fact; r:gives {:lemans :oneway :angers}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2018_line_33]]]
    [ a r:Inference; r:gives {:paris :path :lemans}; r:evidence (
     [ a r:Fact; r:gives {:path a owl:TransitiveProperty}]
     [ a r:Inference; r:gives {:chartres :path :lemans}; r:evidence (
      [ a r:Fact; r:gives {:oneway rdfs:subPropertyOf :path}]
      [ a r:Fact; r:gives {:chartres :oneway :lemans}]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2018_line_33]]]
     [ a r:Inference; r:gives {:paris :path :chartres}; r:evidence (
      [ a r:Fact; r:gives {:oneway rdfs:subPropertyOf :path}]
      [ a r:Fact; r:gives {:paris :oneway :chartres}]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2018_line_33]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2347_line_39]]]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2347_line_39]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_2347_line_39]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp3:pos_374_line_9]]];
 r:gives {
  :paris :path :nantes.}].

#ENDS 50 msec.

#med.........
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/medmio.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix os: <http://www.w3.org/2000/10/swap/os#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/medmioF.n3#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/med#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Joe :isPrescribed :aspirinLowDose}; r:evidence (
  [ a r:Inference; r:gives {:Joe :isPrescribed :aspirinLowDose}; r:evidence (
   [ a r:Fact; r:gives {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9}]
   [ a r:Fact; r:gives {0.9 math:greaterThan 0.7}]
   [ a r:Fact; r:gives {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction}]
   [ a r:Fact; r:gives {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)}]
   [ a r:Inference; r:gives {:Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)}; r:evidence (
    [ a r:Fact; r:gives {(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006}]
    [ a r:Fact; r:gives {0.006 math:lessThan 0.01}]
    [ a r:Inference; r:gives {(:ActivePepticUlcerDisease :AllergyForAspirin) a rdf:List}; r:evidence (
     [ a r:Fact; r:gives {:aspirinHighDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1028_line_23]]]
    [ a r:Fact; r:gives {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease}]
    [ a r:Fact; r:gives {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)}]
    [ a r:Inference; r:gives {:Joe :fineWith (:AllergyForAspirin)}; r:evidence (
     [ a r:Fact; r:gives {(:Joe :AllergyForAspirin) rpo:mu 0.001}]
     [ a r:Fact; r:gives {0.001 math:lessThan 0.01}]
     [ a r:Inference; r:gives {(:AllergyForAspirin) a rdf:List}; r:evidence (
      [ a r:Fact; r:gives {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)}]
      [ a r:Inference; r:gives {(:ActivePepticUlcerDisease :AllergyForAspirin) a rdf:List}; r:evidence (
       [ a r:Fact; r:gives {:aspirinHighDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1028_line_23]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1070_line_24]]]
     [ a r:Fact; r:gives {(:AllergyForAspirin) rdf:first :AllergyForAspirin}]
     [ a r:Fact; r:gives {(:AllergyForAspirin) rdf:rest ()}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1122_line_26]]]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1235_line_27]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1362_line_29]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_270_line_7]]];
 r:gives {
  :Joe :isPrescribed :aspirinLowDose.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Joe :isPrescribed :betaBlocker}; r:evidence (
  [ a r:Inference; r:gives {:Joe :isPrescribed :betaBlocker}; r:evidence (
   [ a r:Fact; r:gives {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9}]
   [ a r:Fact; r:gives {0.9 math:greaterThan 0.7}]
   [ a r:Fact; r:gives {:betaBlocker :prescribedFor :AcuteMyocardialInfarction}]
   [ a r:Fact; r:gives {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)}]
   [ a r:Inference; r:gives {:Joe :fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease)}; r:evidence (
    [ a r:Fact; r:gives {(:Joe :SevereAsthma) rpo:mu 0.001}]
    [ a r:Fact; r:gives {0.001 math:lessThan 0.01}]
    [ a r:Inference; r:gives {(:SevereAsthma :ChronicObstructivePumonaryDisease) a rdf:List}; r:evidence (
     [ a r:Fact; r:gives {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1028_line_23]]]
    [ a r:Fact; r:gives {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:first :SevereAsthma}]
    [ a r:Fact; r:gives {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)}]
    [ a r:Inference; r:gives {:Joe :fineWith (:ChronicObstructivePumonaryDisease)}; r:evidence (
     [ a r:Fact; r:gives {(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001}]
     [ a r:Fact; r:gives {0.001 math:lessThan 0.01}]
     [ a r:Inference; r:gives {(:ChronicObstructivePumonaryDisease) a rdf:List}; r:evidence (
      [ a r:Fact; r:gives {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)}]
      [ a r:Inference; r:gives {(:SevereAsthma :ChronicObstructivePumonaryDisease) a rdf:List}; r:evidence (
       [ a r:Fact; r:gives {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1028_line_23]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1070_line_24]]]
     [ a r:Fact; r:gives {(:ChronicObstructivePumonaryDisease) rdf:first :ChronicObstructivePumonaryDisease}]
     [ a r:Fact; r:gives {(:ChronicObstructivePumonaryDisease) rdf:rest ()}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1122_line_26]]]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1235_line_27]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1362_line_29]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_270_line_7]]];
 r:gives {
  :Joe :isPrescribed :betaBlocker.}].

#ENDS 40 msec.

#medic.......
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/medic.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/medicF.n3#>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/med#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Joe :isPrescribed :aspirinLowDose}; r:evidence (
  [ a r:Inference; r:gives {:Joe :isPrescribed :aspirinLowDose}; r:evidence (
   [ a r:Fact; r:gives {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction}]
   [ a r:Fact; r:gives {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9}]
   [ a r:Fact; r:gives {0.9 math:greaterThan 0.7}]
   [ a r:Fact; r:gives {(var:_G350 1) e:findall (var:_G356 {:aspirinLowDose :excludedFor var:_G356} (:ActivePepticUlcerDisease :AllergyForAspirin))}]
   [ a r:Fact; r:gives {(var:_G350 1) e:findall (var:_G356 {:aspirinLowDose :excludedFor var:_G356. (:Joe var:_G356) rpo:mu var:_G403. var:_G403 math:notGreaterThan 0.01} (:ActivePepticUlcerDisease :AllergyForAspirin))}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1349_line_28]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_257_line_6]]];
 r:gives {
  :Joe :isPrescribed :aspirinLowDose.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Joe :isPrescribed :betaBlocker}; r:evidence (
  [ a r:Inference; r:gives {:Joe :isPrescribed :betaBlocker}; r:evidence (
   [ a r:Fact; r:gives {:betaBlocker :prescribedFor :AcuteMyocardialInfarction}]
   [ a r:Fact; r:gives {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9}]
   [ a r:Fact; r:gives {0.9 math:greaterThan 0.7}]
   [ a r:Fact; r:gives {(var:_G350 1) e:findall (var:_G356 {:betaBlocker :excludedFor var:_G356} (:SevereAsthma :ChronicObstructivePumonaryDisease))}]
   [ a r:Fact; r:gives {(var:_G350 1) e:findall (var:_G356 {:betaBlocker :excludedFor var:_G356. (:Joe var:_G356) rpo:mu var:_G403. var:_G403 math:notGreaterThan 0.01} (:SevereAsthma :ChronicObstructivePumonaryDisease))}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1349_line_28]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_257_line_6]]];
 r:gives {
  :Joe :isPrescribed :betaBlocker.}].

#ENDS 70 msec.

#shubert.....
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/steamroller.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/steamrollerF.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/steamroller#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {{:fox_1 :likes :bird_1} :steamroller {:bird_1 :likes :grain_1}}; r:evidence (
  [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence (
   [ a r:Fact; r:gives {:fox_1 a :Fox}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_360_line_13]]]
  [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence (
   [ a r:Fact; r:gives {:bird_1 a :Bird}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_392_line_14]]]
  [ a r:Inference; r:gives {:fox_1 :likes :bird_1}; r:evidence (
   [ a r:Inference; r:gives {:fox_1 a :Animal}; r:evidence (
    [ a r:Fact; r:gives {:fox_1 a :Fox}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_360_line_13]]]
   [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence (
    [ a r:Fact; r:gives {:bird_1 a :Bird}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_392_line_14]]]
   [ a r:Inference; r:gives {:bird_1 :smaller :fox_1}; r:evidence (
    [ a r:Fact; r:gives {:bird_1 a :Bird}]
    [ a r:Fact; r:gives {:fox_1 a :Fox}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_750_line_24]]]
   [ a r:Fact; r:gives {(var:_G414 1) e:findall (:fox_1 {:fox_1 :dislikes :bird_1} ())}]
   [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence (
    [ a r:Fact; r:gives {:grain_1 a :Grain}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_501_line_18]]]
   [ a r:Inference; r:gives {:bird_1 :likes :grain_1}; r:evidence (
    [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence (
     [ a r:Fact; r:gives {:bird_1 a :Bird}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_392_line_14]]]
    [ a r:Inference; r:gives {:caterpillar_1 a :Animal}; r:evidence (
     [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_459_line_16]]]
    [ a r:Inference; r:gives {:caterpillar_1 :smaller :bird_1}; r:evidence (
     [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]
     [ a r:Fact; r:gives {:bird_1 a :Bird}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_648_line_22]]]
    [ a r:Fact; r:gives {(var:_G592 1) e:findall (:bird_1 {:bird_1 :dislikes :caterpillar_1} ())}]
    [ a r:Inference; r:gives {(:caterpillar_food_of :caterpillar_1) a :Plant}; r:evidence (
     [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_584_line_20]]]
    [ a r:Inference; r:gives {:caterpillar_1 :likes (:caterpillar_food_of :caterpillar_1)}; r:evidence (
     [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1094_line_33]]]
    [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence (
     [ a r:Fact; r:gives {:grain_1 a :Grain}]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_501_line_18]]]
    [ a r:Fact; r:gives {(var:_G592 1) e:findall (:bird_1 {:bird_1 :dislikes :grain_1} ())}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1350_line_35]]]
   [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence (
    [ a r:Fact; r:gives {:grain_1 a :Grain}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_501_line_18]]]
   [ a r:Fact; r:gives {(var:_G414 1) e:findall (:fox_1 {:fox_1 :dislikes :grain_1} ())}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1157_line_34]]]
  [ a r:Fact; r:gives {:grain_1 a :Grain}]
  [ a r:Inference; r:gives {:bird_1 :likes :grain_1}; r:evidence (
   [ a r:Inference; r:gives {:bird_1 a :Animal}; r:evidence (
    [ a r:Fact; r:gives {:bird_1 a :Bird}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_392_line_14]]]
   [ a r:Inference; r:gives {:caterpillar_1 a :Animal}; r:evidence (
    [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_459_line_16]]]
   [ a r:Inference; r:gives {:caterpillar_1 :smaller :bird_1}; r:evidence (
    [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]
    [ a r:Fact; r:gives {:bird_1 a :Bird}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_648_line_22]]]
   [ a r:Fact; r:gives {(var:_G859 1) e:findall (:bird_1 {:bird_1 :dislikes :caterpillar_1} ())}]
   [ a r:Inference; r:gives {(:caterpillar_food_of :caterpillar_1) a :Plant}; r:evidence (
    [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_584_line_20]]]
   [ a r:Inference; r:gives {:caterpillar_1 :likes (:caterpillar_food_of :caterpillar_1)}; r:evidence (
    [ a r:Fact; r:gives {:caterpillar_1 a :Caterpillar}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1094_line_33]]]
   [ a r:Inference; r:gives {:grain_1 a :Plant}; r:evidence (
    [ a r:Fact; r:gives {:grain_1 a :Grain}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_501_line_18]]]
   [ a r:Fact; r:gives {(var:_G859 1) e:findall (:bird_1 {:bird_1 :dislikes :grain_1} ())}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1350_line_35]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_289_line_6]]];
 r:gives {
  {:fox_1 :likes :bird_1} :steamroller {:bird_1 :likes :grain_1}.}].

#ENDS 80 msec.

#radlex......
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://eulersharp.sourceforge.net/2004/04test/radlex.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3#>.
@prefix ACR: <http://eulersharp.sourceforge.net/2004/04test/ACR#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/RadLex#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix UMLS: <http://eulersharp.sourceforge.net/2004/04test/UMLS#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL433 :name "rotator cuff muscles"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31350_12_}]
  [ a r:Fact; r:gives {_:e31350_12_ :rl-term :RL433}]
  [ a r:Fact; r:gives {:RL433 :name "rotator cuff muscles"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL433 :name "rotator cuff muscles".}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL438 :name "teres major muscle"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31395_12_}]
  [ a r:Fact; r:gives {_:e31395_12_ :rl-term :RL438}]
  [ a r:Fact; r:gives {:RL438 :name "teres major muscle"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL438 :name "teres major muscle".}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL439 :name "deltoid muscle"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31400_12_}]
  [ a r:Fact; r:gives {_:e31400_12_ :rl-term :RL439}]
  [ a r:Fact; r:gives {:RL439 :name "deltoid muscle"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL439 :name "deltoid muscle".}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL440 :name "trapezius muscle"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31405_12_}]
  [ a r:Fact; r:gives {_:e31405_12_ :rl-term :RL440}]
  [ a r:Fact; r:gives {:RL440 :name "trapezius muscle"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL440 :name "trapezius muscle".}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL441 :name "pectoralis major muscle"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31410_12_}]
  [ a r:Fact; r:gives {_:e31410_12_ :rl-term :RL441}]
  [ a r:Fact; r:gives {:RL441 :name "pectoralis major muscle"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL441 :name "pectoralis major muscle".}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:RL442 :name "pectoralis minor muscle"}; r:evidence (
  [ a r:Fact; r:gives {_:e31295_12_ :rl-term :RL432}]
  [ a r:Fact; r:gives {_:e31295_12_ :axis-term _:e31415_12_}]
  [ a r:Fact; r:gives {_:e31415_12_ :rl-term :RL442}]
  [ a r:Fact; r:gives {:RL442 :name "pectoralis minor muscle"}]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_295_line_8]]];
 r:gives {
  :RL442 :name "pectoralis minor muscle".}].

#ENDS 369 msec.

#einstein....
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/einstein.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/einsteinQ.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2005/11swap/einstein#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:german :eats :fish}; r:evidence (
  [ a r:Inference; r:gives {:german :eats :fish}; r:evidence (
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) log:equalTo ((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters))}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) e:pair ((:blue :dane :horse :tea :blends) (:yellow :norwegian :cats :water :dunhill))}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) e:pair ((:blue :dane :horse :tea :blends) (:yellow :norwegian :cats :water :dunhill))}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) e:sublist ((:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters))}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) e:pair ((:blue :dane :horse :tea :blends) (:yellow :norwegian :cats :water :dunhill))}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:red :brit :birds :milk :pallmall)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:white :swede :dogs :beer :bluemasters)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:blue :dane :horse :tea :blends)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:red :brit :birds :milk :pallmall)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:yellow :norwegian :cats :water :dunhill)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:white :swede :dogs :beer :bluemasters)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:green :german :fish :coffee :prince)}]
   [ a r:Fact; r:gives {((:yellow :norwegian :cats :water :dunhill) (:blue :dane :horse :tea :blends) (:red :brit :birds :milk :pallmall) (:green :german :fish :coffee :prince) (:white :swede :dogs :beer :bluemasters)) list:member (:green :german :fish :coffee :prince)}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_249_line_6]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_420_line_9]]];
 r:gives {
  :german :eats :fish.}].

#ENDS 80 msec.

#lf..........
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/lf.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/lfF.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix : <http://eulersharp.sourceforge.net/2006/02swap/lf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {{:s4 :p7 _:sk0. {_:sk1 :p1 :o1. :s2 :p2 :o2} :p8 {:s6 :p6 _:sk2}} :implies {:s6 :p6 _:sk2}}; r:evidence (
  [ a r:Inference; r:gives {{:s4 :p7 _:sk0. {_:sk1 :p1 :o1. :s2 :p2 :o2} :p8 {:s6 :p6 _:sk2}} :implies {:s6 :p6 _:sk2}}; r:evidence (
   [ a r:Fact; r:gives {{{_:sk1 :p1 :o1. :s2 :p2 :o2} :p3 var:_G574. :s4 :p4 var:_G590} :p5 {:s6 :p6 _:sk2}}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_239_line_6]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_120_line_4]]];
 r:gives {
  {:s4 :p7 _:sk0. {_:sk1 :p1 :o1. :s2 :p2 :o2} :p8 {:s6 :p6 _:sk2}} :implies {:s6 :p6 _:sk2}.}].

#ENDS 50 msec.

#gedcom......
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix nsp0: <http://www.agfa.com/w3c/euler/gedcom-facts.n3#>.
@prefix nsp3: <http://www.agfa.com/w3c/euler/>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/gedcom-relations.n3#>.
@prefix nsp4: <http://www.agfa.com/w3c/euler/gedcom-filter.n3#>.
@prefix gc: <http://www.daml.org/2001/01/gedcom/gedcom#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix nsp2: <http://www.agfa.com/w3c/euler/rpo-rules.n3#>.
@prefix : <http://www.agfa.com/w3c/euler/gedcom-facts#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Jos :testRelationship :Bart}; r:evidence (
  [ a r:Inference; r:gives {:Jos gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Jos gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Jos gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Rita}; r:evidence (
   [ a r:Inference; r:gives {:Rita gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Rita gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Rita gc:son :Bart}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Bart gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Bart gc:uncle :Jos}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Rita gc:brother :Jos}; r:evidence (
    [ a r:Inference; r:gives {:Rita gc:sibling :Jos}; r:evidence (
     [ a r:Fact; r:gives {gc:sibling a owl:SymmetricProperty}]
     [ a r:Inference; r:gives {:Jos gc:sibling :Rita}; r:evidence (
      [ a r:Fact; r:gives {:Jos gc:childIn :dp}]
      [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
      [ a r:Inference; r:gives {:Jos owl:differentFrom :Rita}; r:evidence (
       [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {owl:distinctMembers rdfs:range rdf:List}]
         [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos}]
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Fact; r:gives {:Rita list:in (:Rita :Geert :Caroline :Dirk :Greta)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2292_line_38]]]
    [ a r:Fact; r:gives {:Jos gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Jos :testRelationship :Bart.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Jos :testRelationship :Tom}; r:evidence (
  [ a r:Inference; r:gives {:Jos gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Jos gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Jos gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Greta}; r:evidence (
   [ a r:Inference; r:gives {:Greta gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Greta gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Greta gc:son :Tom}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Tom gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Tom gc:uncle :Jos}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Greta gc:brother :Jos}; r:evidence (
    [ a r:Inference; r:gives {:Greta gc:sibling :Jos}; r:evidence (
     [ a r:Fact; r:gives {gc:sibling a owl:SymmetricProperty}]
     [ a r:Inference; r:gives {:Jos gc:sibling :Greta}; r:evidence (
      [ a r:Fact; r:gives {:Jos gc:childIn :dp}]
      [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
      [ a r:Inference; r:gives {:Jos owl:differentFrom :Greta}; r:evidence (
       [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {owl:distinctMembers rdfs:range rdf:List}]
         [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:first :Jos}]
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Fact; r:gives {:Greta list:in (:Rita :Geert :Caroline :Dirk :Greta)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2292_line_38]]]
    [ a r:Fact; r:gives {:Jos gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Jos :testRelationship :Tom.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Geert :testRelationship :Bart}; r:evidence (
  [ a r:Inference; r:gives {:Geert gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Geert gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Geert gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Rita}; r:evidence (
   [ a r:Inference; r:gives {:Rita gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Rita gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Rita gc:son :Bart}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Bart gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Bart gc:uncle :Geert}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Rita gc:brother :Geert}; r:evidence (
    [ a r:Inference; r:gives {:Rita gc:sibling :Geert}; r:evidence (
     [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
     [ a r:Fact; r:gives {:Geert gc:childIn :dp}]
     [ a r:Inference; r:gives {:Rita owl:differentFrom :Geert}; r:evidence (
      [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
      [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
        [ a r:Fact; r:gives {owl:distinctMembers rdfs:range rdf:List}]
        [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]
       [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
         [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3083_line_51]]]
      [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita}]
      [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)}]
      [ a r:Fact; r:gives {:Geert list:in (:Geert :Caroline :Dirk :Greta)}]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]
    [ a r:Fact; r:gives {:Geert gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Geert :testRelationship :Bart.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Dirk :testRelationship :Bart}; r:evidence (
  [ a r:Inference; r:gives {:Dirk gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Dirk gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Dirk gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Rita}; r:evidence (
   [ a r:Inference; r:gives {:Rita gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Rita gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Rita gc:son :Bart}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Bart gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Bart gc:uncle :Dirk}; r:evidence (
   [ a r:Inference; r:gives {:Bart gc:parent :Rita}; r:evidence (
    [ a r:Fact; r:gives {:Bart gc:childIn :gd}]
    [ a r:Fact; r:gives {:Rita gc:spouseIn :gd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Rita gc:brother :Dirk}; r:evidence (
    [ a r:Inference; r:gives {:Rita gc:sibling :Dirk}; r:evidence (
     [ a r:Fact; r:gives {:Rita gc:childIn :dp}]
     [ a r:Fact; r:gives {:Dirk gc:childIn :dp}]
     [ a r:Inference; r:gives {:Rita owl:differentFrom :Dirk}; r:evidence (
      [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
      [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Jos :Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
       [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]
       [ a r:Inference; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
        [ a r:Fact; r:gives {owl:distinctMembers rdfs:range rdf:List}]
        [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]
       [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
         [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3083_line_51]]]
      [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:first :Rita}]
      [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)}]
      [ a r:Fact; r:gives {:Dirk list:in (:Geert :Caroline :Dirk :Greta)}]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]
    [ a r:Fact; r:gives {:Dirk gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Dirk :testRelationship :Bart.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Geert :testRelationship :Tom}; r:evidence (
  [ a r:Inference; r:gives {:Geert gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Geert gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Geert gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Greta}; r:evidence (
   [ a r:Inference; r:gives {:Greta gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Greta gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Greta gc:son :Tom}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Tom gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Tom gc:uncle :Geert}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Greta gc:brother :Geert}; r:evidence (
    [ a r:Inference; r:gives {:Greta gc:sibling :Geert}; r:evidence (
     [ a r:Fact; r:gives {gc:sibling a owl:SymmetricProperty}]
     [ a r:Inference; r:gives {:Geert gc:sibling :Greta}; r:evidence (
      [ a r:Fact; r:gives {:Geert gc:childIn :dp}]
      [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
      [ a r:Inference; r:gives {:Geert owl:differentFrom :Greta}; r:evidence (
       [ a r:Inference; r:gives {:dp owl:distinctMembers (:Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
        [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2568_line_42]]]
       [ a r:Inference; r:gives {(:Geert :Caroline :Dirk :Greta) p0:subListOf (:Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)}]
        [ a r:Inference; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
         [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]
        [ a r:Inference; r:gives {(:Geert :Caroline :Dirk :Greta) p0:subListOf (:Geert :Caroline :Dirk :Greta)}; r:evidence (
         [ a r:Inference; r:gives {(:Geert :Caroline :Dirk :Greta) a rdf:List}; r:evidence (
          [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
          [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)}]);
          r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3083_line_51]]]
       [ a r:Fact; r:gives {(:Geert :Caroline :Dirk :Greta) rdf:first :Geert}]
       [ a r:Fact; r:gives {(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)}]
       [ a r:Fact; r:gives {:Greta list:in (:Caroline :Dirk :Greta)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2292_line_38]]]
    [ a r:Fact; r:gives {:Geert gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Geert :testRelationship :Tom.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {:Dirk :testRelationship :Tom}; r:evidence (
  [ a r:Inference; r:gives {:Dirk gc:mother :Maria}; r:evidence (
   [ a r:Inference; r:gives {:Dirk gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Dirk gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Maria gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_957_line_23]]]
  [ a r:Inference; r:gives {:Maria gc:daughter :Greta}; r:evidence (
   [ a r:Inference; r:gives {:Greta gc:parent :Maria}; r:evidence (
    [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
    [ a r:Fact; r:gives {:Maria gc:spouseIn :dp}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Greta gc:sex gc:Female}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1076_line_25]]]
  [ a r:Inference; r:gives {:Greta gc:son :Tom}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Fact; r:gives {:Tom gc:sex gc:Male}]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1019_line_24]]]
  [ a r:Inference; r:gives {:Tom gc:uncle :Dirk}; r:evidence (
   [ a r:Inference; r:gives {:Tom gc:parent :Greta}; r:evidence (
    [ a r:Fact; r:gives {:Tom gc:childIn :sd}]
    [ a r:Fact; r:gives {:Greta gc:spouseIn :sd}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_836_line_21]]]
   [ a r:Inference; r:gives {:Greta gc:brother :Dirk}; r:evidence (
    [ a r:Inference; r:gives {:Greta gc:sibling :Dirk}; r:evidence (
     [ a r:Fact; r:gives {gc:sibling a owl:SymmetricProperty}]
     [ a r:Inference; r:gives {:Dirk gc:sibling :Greta}; r:evidence (
      [ a r:Fact; r:gives {:Dirk gc:childIn :dp}]
      [ a r:Fact; r:gives {:Greta gc:childIn :dp}]
      [ a r:Inference; r:gives {:Dirk owl:differentFrom :Greta}; r:evidence (
       [ a r:Inference; r:gives {:dp owl:distinctMembers (:Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Inference; r:gives {:dp owl:distinctMembers (:Geert :Caroline :Dirk :Greta)}; r:evidence (
         [ a r:Inference; r:gives {:dp owl:distinctMembers (:Rita :Geert :Caroline :Dirk :Greta)}; r:evidence (
          [ a r:Fact; r:gives {:dp owl:distinctMembers (:Jos :Rita :Geert :Caroline :Dirk :Greta)}]
          [ a r:Fact; r:gives {(:Jos :Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Rita :Geert :Caroline :Dirk :Greta)}]);
          r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2568_line_42]]]
         [ a r:Fact; r:gives {(:Rita :Geert :Caroline :Dirk :Greta) rdf:rest (:Geert :Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2568_line_42]]]
        [ a r:Fact; r:gives {(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)}]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2568_line_42]]]
       [ a r:Inference; r:gives {(:Dirk :Greta) p0:subListOf (:Caroline :Dirk :Greta)}; r:evidence (
        [ a r:Fact; r:gives {(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)}]
        [ a r:Inference; r:gives {(:Caroline :Dirk :Greta) a rdf:List}; r:evidence (
         [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
         [ a r:Fact; r:gives {(:Geert :Caroline :Dirk :Greta) rdf:rest (:Caroline :Dirk :Greta)}]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]
        [ a r:Inference; r:gives {(:Dirk :Greta) p0:subListOf (:Dirk :Greta)}; r:evidence (
         [ a r:Inference; r:gives {(:Dirk :Greta) a rdf:List}; r:evidence (
          [ a r:Fact; r:gives {rdf:rest rdfs:range rdf:List}]
          [ a r:Fact; r:gives {(:Caroline :Dirk :Greta) rdf:rest (:Dirk :Greta)}]);
          r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_1926_line_31]]]);
         r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3043_line_50]]]);
        r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_3083_line_51]]]
       [ a r:Fact; r:gives {(:Dirk :Greta) rdf:first :Dirk}]
       [ a r:Fact; r:gives {(:Dirk :Greta) rdf:rest (:Greta)}]
       [ a r:Fact; r:gives {:Greta list:in (:Greta)}]);
       r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2645_line_43]]]);
      r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1502_line_33]]]);
     r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_2292_line_38]]]
    [ a r:Fact; r:gives {:Dirk gc:sex gc:Male}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1591_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp1:pos_1941_line_41]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp4:pos_1183_line_15]]];
 r:gives {
  :Dirk :testRelationship :Tom.}].

#ENDS 179 msec.

#bi..........
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://eulersharp.sourceforge.net/2007/07test/biP.n3#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://www.agfa.com/w3c/euler/>.
@prefix rpo: <http://eulersharp.sourceforge.net/2003/03swap/rpo-rules#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix galen: <http://www.co-ode.org/ontologies/galen#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix nsp2: <http://eulersharp.sourceforge.net/2007/07test/biQ.n3#>.
@prefix : <http://eulersharp.sourceforge.net/2007/07test#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix med: <http://eulersharp.sourceforge.net/2006/02swap/med#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_868_line_21^e:source {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_868_line_21^e:source {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6} => {nsp0:pos_868_line_21^e:source :result 6}}]
   [ a r:Inference; r:gives {nsp0:pos_868_line_21^e:source :result 6}; r:evidence (
    [ a r:Fact; r:gives {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_796_line_21]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_868_line_21^e:source {((8 :d) (5 :a) (6 :b) (7 :a) (9 :d) (4 :d)) e:length 6}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_922_line_22^e:source {(8 5 6 7 9 4) e:max 9}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_922_line_22^e:source {(8 5 6 7 9 4) e:max 9}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(8 5 6 7 9 4) e:max 9} => {nsp0:pos_922_line_22^e:source :result 9}}]
   [ a r:Inference; r:gives {nsp0:pos_922_line_22^e:source :result 9}; r:evidence (
    [ a r:Fact; r:gives {(8 5 6 7 9 4) e:max 9}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_883_line_22]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_922_line_22^e:source {(8 5 6 7 9 4) e:max 9}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_976_line_23^e:source {(8 5 6 7 9 4) e:min 4}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_976_line_23^e:source {(8 5 6 7 9 4) e:min 4}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(8 5 6 7 9 4) e:min 4} => {nsp0:pos_976_line_23^e:source :result 4}}]
   [ a r:Inference; r:gives {nsp0:pos_976_line_23^e:source :result 4}; r:evidence (
    [ a r:Fact; r:gives {(8 5 6 7 9 4) e:min 4}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_937_line_23]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_976_line_23^e:source {(8 5 6 7 9 4) e:min 4}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1132_line_25^e:source {((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))}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1132_line_25^e:source {((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))}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{((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))} => {nsp0:pos_1132_line_25^e:source :result ((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d))}}]
   [ a r:Inference; r:gives {nsp0:pos_1132_line_25^e:source :result ((9 :d) (8 :d) (7 :a) (6 :b) (5 :a) (4 :d))}; r:evidence (
    [ a r:Fact; r:gives {((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))}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1059_line_25]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1132_line_25^e:source {((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))}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1217_line_26^e:source {((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))}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1217_line_26^e:source {((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))}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{((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))} => {nsp0:pos_1217_line_26^e:source :result ((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d))}}]
   [ a r:Inference; r:gives {nsp0:pos_1217_line_26^e:source :result ((4 :d) (5 :a) (6 :b) (7 :a) (8 :d) (9 :d))}; r:evidence (
    [ a r:Fact; r:gives {((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))}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1147_line_26]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1217_line_26^e:source {((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))}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1299_line_27^e:source {"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1299_line_27^e:source {"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"} => {nsp0:pos_1299_line_27^e:source :result "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}}]
   [ a r:Inference; r:gives {nsp0:pos_1299_line_27^e:source :result "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}; r:evidence (
    [ a r:Fact; r:gives {"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1232_line_27]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1299_line_27^e:source {"http://www.agfa.com/w3c/euler" e:wwwFormEncode "http%3a%2f%2fwww.agfa.com%2fw3c%2feuler"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1366_line_28^e:source {"Hello World!" e:wwwFormEncode "Hello+World%21"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1366_line_28^e:source {"Hello World!" e:wwwFormEncode "Hello+World%21"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"Hello World!" e:wwwFormEncode "Hello+World%21"} => {nsp0:pos_1366_line_28^e:source :result "Hello World!"}}]
   [ a r:Inference; r:gives {nsp0:pos_1366_line_28^e:source :result "Hello World!"}; r:evidence (
    [ a r:Fact; r:gives {"Hello World!" e:wwwFormEncode "Hello+World%21"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1314_line_28]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1366_line_28^e:source {"Hello World!" e:wwwFormEncode "Hello+World%21"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1455_line_30^e:source {("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri "http://www.w3.org/2000/10/swap/"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1455_line_30^e:source {("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri "http://www.w3.org/2000/10/swap/"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri "http://www.w3.org/2000/10/swap/"} => {nsp0:pos_1455_line_30^e:source :result "http://www.w3.org/2000/10/swap/"}}]
   [ a r:Inference; r:gives {nsp0:pos_1455_line_30^e:source :result "http://www.w3.org/2000/10/swap/"}; r:evidence (
    [ a r:Fact; r:gives {("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri "http://www.w3.org/2000/10/swap/"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1382_line_30]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1455_line_30^e:source {("2000/10/swap/" "http://www.w3.org/") fn:resolve-uri "http://www.w3.org/2000/10/swap/"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1540_line_31^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-after "Head"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1540_line_31^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-after "Head"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-after "Head"} => {nsp0:pos_1540_line_31^e:source :result ("http://www.co-ode.org/ontologies/galen#Head" "Head")}}]
   [ a r:Inference; r:gives {nsp0:pos_1540_line_31^e:source :result ("http://www.co-ode.org/ontologies/galen#Head" "Head")}; r:evidence (
    [ a r:Fact; r:gives {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head"}]
    [ a r:Fact; r:gives {("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-after "Head"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1470_line_31]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1540_line_31^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-after "Head"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1631_line_32^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-before "http://www.co-ode.org/ontologies/galen"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1631_line_32^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-before "http://www.co-ode.org/ontologies/galen"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-before "http://www.co-ode.org/ontologies/galen"} => {nsp0:pos_1631_line_32^e:source :result ("http://www.co-ode.org/ontologies/galen#Head" "http://www.co-ode.org/ontologies/galen")}}]
   [ a r:Inference; r:gives {nsp0:pos_1631_line_32^e:source :result ("http://www.co-ode.org/ontologies/galen#Head" "http://www.co-ode.org/ontologies/galen")}; r:evidence (
    [ a r:Fact; r:gives {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head"}]
    [ a r:Fact; r:gives {("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-before "http://www.co-ode.org/ontologies/galen"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1560_line_32]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1631_line_32^e:source {<http://www.co-ode.org/ontologies/galen#Head> log:uri "http://www.co-ode.org/ontologies/galen#Head". ("http://www.co-ode.org/ontologies/galen#Head" "#") fn:substring-before "http://www.co-ode.org/ontologies/galen"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1719_line_34^e:source {((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1719_line_34^e:source {((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)} => {nsp0:pos_1719_line_34^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_1719_line_34^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1653_line_34]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1719_line_34^e:source {((:a :b :c) (:d :e)) list:append (:a :b :c :d :e)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1777_line_35^e:source {(:a :b :c) list:first :a}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1777_line_35^e:source {(:a :b :c) list:first :a}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c) list:first :a} => {nsp0:pos_1777_line_35^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_1777_line_35^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c) list:first :a}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1736_line_35]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1777_line_35^e:source {(:a :b :c) list:first :a}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1834_line_36^e:source {(:a :b :c) list:last :c}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1834_line_36^e:source {(:a :b :c) list:last :c}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c) list:last :c} => {nsp0:pos_1834_line_36^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_1834_line_36^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c) list:last :c}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1794_line_36]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1834_line_36^e:source {(:a :b :c) list:last :c}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1896_line_37^e:source {(:a :b :c) list:rest (:b :c)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1896_line_37^e:source {(:a :b :c) list:rest (:b :c)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c) list:rest (:b :c)} => {nsp0:pos_1896_line_37^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_1896_line_37^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c) list:rest (:b :c)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1851_line_37]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1896_line_37^e:source {(:a :b :c) list:rest (:b :c)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:a list:in (:a :b :c)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:a list:in (:a :b :c)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:a list:in (:a :b :c)} => {nsp0:pos_1951_line_38^e:source :result :a}}]
   [ a r:Inference; r:gives {nsp0:pos_1951_line_38^e:source :result :a}; r:evidence (
    [ a r:Fact; r:gives {:a list:in (:a :b :c)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1913_line_38]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1951_line_38^e:source {:a list:in (:a :b :c)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:b list:in (:a :b :c)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:b list:in (:a :b :c)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:b list:in (:a :b :c)} => {nsp0:pos_1951_line_38^e:source :result :b}}]
   [ a r:Inference; r:gives {nsp0:pos_1951_line_38^e:source :result :b}; r:evidence (
    [ a r:Fact; r:gives {:b list:in (:a :b :c)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1913_line_38]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1951_line_38^e:source {:b list:in (:a :b :c)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:c list:in (:a :b :c)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1951_line_38^e:source {:c list:in (:a :b :c)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:c list:in (:a :b :c)} => {nsp0:pos_1951_line_38^e:source :result :c}}]
   [ a r:Inference; r:gives {nsp0:pos_1951_line_38^e:source :result :c}; r:evidence (
    [ a r:Fact; r:gives {:c list:in (:a :b :c)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1913_line_38]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1951_line_38^e:source {:c list:in (:a :b :c)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :a}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :a}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c :d) list:member :a} => {nsp0:pos_2011_line_39^e:source :result :a}}]
   [ a r:Inference; r:gives {nsp0:pos_2011_line_39^e:source :result :a}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c :d) list:member :a}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1966_line_39]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :a}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :b}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :b}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c :d) list:member :b} => {nsp0:pos_2011_line_39^e:source :result :b}}]
   [ a r:Inference; r:gives {nsp0:pos_2011_line_39^e:source :result :b}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c :d) list:member :b}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1966_line_39]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :b}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :c}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :c}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c :d) list:member :c} => {nsp0:pos_2011_line_39^e:source :result :c}}]
   [ a r:Inference; r:gives {nsp0:pos_2011_line_39^e:source :result :c}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c :d) list:member :c}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1966_line_39]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :c}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :d}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :d}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b :c :d) list:member :d} => {nsp0:pos_2011_line_39^e:source :result :d}}]
   [ a r:Inference; r:gives {nsp0:pos_2011_line_39^e:source :result :d}; r:evidence (
    [ a r:Fact; r:gives {(:a :b :c :d) list:member :d}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_1966_line_39]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2011_line_39^e:source {(:a :b :c :d) list:member :d}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s1 :p1 :o1}. ({:s1 :p1 :o1} {:s1 :p1 :o1}) log:conjunction {:s1 :p1 :o1}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s1 :p1 :o1}. ({:s1 :p1 :o1} {:s1 :p1 :o1}) log:conjunction {:s1 :p1 :o1}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:s :p {:s1 :p1 :o1}. :s :p {:s1 :p1 :o1}. ({:s1 :p1 :o1} {:s1 :p1 :o1}) log:conjunction {:s1 :p1 :o1}} => {nsp0:pos_2087_line_41^e:source :result (:s {:s1 :p1 :o1} {:s1 :p1 :o1} {:s1 :p1 :o1})}}]
   [ a r:Inference; r:gives {nsp0:pos_2087_line_41^e:source :result (:s {:s1 :p1 :o1} {:s1 :p1 :o1} {:s1 :p1 :o1})}; r:evidence (
    [ a r:Fact; r:gives {:s :p {:s1 :p1 :o1}}]
    [ a r:Fact; r:gives {:s :p {:s1 :p1 :o1}}]
    [ a r:Fact; r:gives {({:s1 :p1 :o1} {:s1 :p1 :o1}) log:conjunction {:s1 :p1 :o1}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2027_line_41]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s1 :p1 :o1}. ({:s1 :p1 :o1} {:s1 :p1 :o1}) log:conjunction {:s1 :p1 :o1}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:s :p {:s1 :p1 :o1}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3}} => {nsp0:pos_2087_line_41^e:source :result (:s {:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3})}}]
   [ a r:Inference; r:gives {nsp0:pos_2087_line_41^e:source :result (:s {:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3})}; r:evidence (
    [ a r:Fact; r:gives {:s :p {:s1 :p1 :o1}}]
    [ a r:Fact; r:gives {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}}]
    [ a r:Fact; r:gives {({:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2027_line_41]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2087_line_41^e:source {:s :p {:s1 :p1 :o1}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s1 :p1 :o1. :s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s1 :p1 :o1}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s1 :p1 :o1}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s1 :p1 :o1}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1}} => {nsp0:pos_2087_line_41^e:source :result (:s {:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1})}}]
   [ a r:Inference; r:gives {nsp0:pos_2087_line_41^e:source :result (:s {:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1} {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1})}; r:evidence (
    [ a r:Fact; r:gives {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}}]
    [ a r:Fact; r:gives {:s :p {:s1 :p1 :o1}}]
    [ a r:Fact; r:gives {({:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2027_line_41]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s1 :p1 :o1}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s1 :p1 :o1}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3. :s1 :p1 :o1}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3}} => {nsp0:pos_2087_line_41^e:source :result (:s {:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3})}}]
   [ a r:Inference; r:gives {nsp0:pos_2087_line_41^e:source :result (:s {:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3})}; r:evidence (
    [ a r:Fact; r:gives {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}}]
    [ a r:Fact; r:gives {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}}]
    [ a r:Fact; r:gives {({:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2027_line_41]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2087_line_41^e:source {:s :p {:s2 :p2 :o2. :s3 :p3 :o3}. :s :p {:s2 :p2 :o2. :s3 :p3 :o3}. ({:s2 :p2 :o2. :s3 :p3 :o3} {:s2 :p2 :o2. :s3 :p3 :o3}) log:conjunction {:s2 :p2 :o2. :s3 :p3 :o3}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2157_line_42^e:source {(:a :b) log:equalTo (:a :b)}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2157_line_42^e:source {(:a :b) log:equalTo (:a :b)}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(:a :b) log:equalTo (:a :b)} => {nsp0:pos_2157_line_42^e:source :result {(:a :b) log:equalTo (:a :b)}}}]
   [ a r:Inference; r:gives {nsp0:pos_2157_line_42^e:source :result {(:a :b) log:equalTo (:a :b)}}; r:evidence (
    [ a r:Fact; r:gives {(:a :b) log:equalTo (:a :b)}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2113_line_42]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2157_line_42^e:source {(:a :b) log:equalTo (:a :b)}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2290_line_43^e:source {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2290_line_43^e:source {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}} => {nsp0:pos_2290_line_43^e:source :result (:e :f)}}]
   [ a r:Inference; r:gives {nsp0:pos_2290_line_43^e:source :result (:e :f)}; r:evidence (
    [ a r:Fact; r:gives {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2199_line_43]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2290_line_43^e:source {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2384_line_44^e:source {:ng1 :namedGraph {:b :a :c. :e :d :f. :h :g :i. :k :j :l}. {:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2384_line_44^e:source {:ng1 :namedGraph {:b :a :c. :e :d :f. :h :g :i. :k :j :l}. {:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:ng1 :namedGraph {:b :a :c. :e :d :f. :h :g :i. :k :j :l}. {:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}} => {nsp0:pos_2384_line_44^e:source :result ({:b :a :c. :e :d :f. :h :g :i. :k :j :l} :e :f)}}]
   [ a r:Inference; r:gives {nsp0:pos_2384_line_44^e:source :result ({:b :a :c. :e :d :f. :h :g :i. :k :j :l} :e :f)}; r:evidence (
    [ a r:Fact; r:gives {:ng1 :namedGraph {:b :a :c. :e :d :f. :h :g :i. :k :j :l}}]
    [ a r:Fact; r:gives {{:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2310_line_44]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2384_line_44^e:source {:ng1 :namedGraph {:b :a :c. :e :d :f. :h :g :i. :k :j :l}. {:b :a :c. :e :d :f. :h :g :i. :k :j :l} log:includes {:k :j :l. :e :d :f}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2612_line_46^e:source {:a log:notEqualTo :b}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2612_line_46^e:source {:a log:notEqualTo :b}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:a log:notEqualTo :b} => {nsp0:pos_2612_line_46^e:source :result {:a log:notEqualTo :b}}}]
   [ a r:Inference; r:gives {nsp0:pos_2612_line_46^e:source :result {:a log:notEqualTo :b}}; r:evidence (
    [ a r:Fact; r:gives {:a log:notEqualTo :b}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2575_line_46]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2612_line_46^e:source {:a log:notEqualTo :b}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2731_line_47^e:source {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2731_line_47^e:source {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}} => {nsp0:pos_2731_line_47^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_2731_line_47^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2647_line_47]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2731_line_47^e:source {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2825_line_48^e:source {:ng2 :namedGraph {:b :a :c. :e :d :f. :h :g :i}. {:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2825_line_48^e:source {:ng2 :namedGraph {:b :a :c. :e :d :f. :h :g :i}. {:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:ng2 :namedGraph {:b :a :c. :e :d :f. :h :g :i}. {:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}} => {nsp0:pos_2825_line_48^e:source :result {:b :a :c. :e :d :f. :h :g :i}}}]
   [ a r:Inference; r:gives {nsp0:pos_2825_line_48^e:source :result {:b :a :c. :e :d :f. :h :g :i}}; r:evidence (
    [ a r:Fact; r:gives {:ng2 :namedGraph {:b :a :c. :e :d :f. :h :g :i}}]
    [ a r:Fact; r:gives {{:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2748_line_48]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2825_line_48^e:source {:ng2 :namedGraph {:b :a :c. :e :d :f. :h :g :i}. {:b :a :c. :e :d :f. :h :g :i} log:notIncludes {:e :d :f. :b :e :c}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3090_line_50^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3090_line_50^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"} => {nsp0:pos_3090_line_50^e:source :result "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}}]
   [ a r:Inference; r:gives {nsp0:pos_3090_line_50^e:source :result "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}; r:evidence (
    [ a r:Fact; r:gives {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3005_line_50]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3090_line_50^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3145_line_51^e:source {<http://eulersharp.sourceforge.net/2007/07test#betaBlocker> log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3145_line_51^e:source {<http://eulersharp.sourceforge.net/2007/07test#betaBlocker> log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://eulersharp.sourceforge.net/2007/07test#betaBlocker> log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"} => {nsp0:pos_3145_line_51^e:source :result "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}}]
   [ a r:Inference; r:gives {nsp0:pos_3145_line_51^e:source :result "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}; r:evidence (
    [ a r:Fact; r:gives {<http://eulersharp.sourceforge.net/2007/07test#betaBlocker> log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3105_line_51]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3145_line_51^e:source {<http://eulersharp.sourceforge.net/2007/07test#betaBlocker> log:uri "http://eulersharp.sourceforge.net/2007/07test#betaBlocker"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3245_line_52^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3245_line_52^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"} => {nsp0:pos_3245_line_52^e:source :result <http://eulersharp.sourceforge.net/2006/02swap/med#Fever>}}]
   [ a r:Inference; r:gives {nsp0:pos_3245_line_52^e:source :result <http://eulersharp.sourceforge.net/2006/02swap/med#Fever>}; r:evidence (
    [ a r:Fact; r:gives {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3160_line_52]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3245_line_52^e:source {<http://eulersharp.sourceforge.net/2006/02swap/med#Fever> log:uri "http://eulersharp.sourceforge.net/2006/02swap/med#Fever"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3301_line_54^e:source {(1 1) math:difference 0}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3301_line_54^e:source {(1 1) math:difference 0}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(1 1) math:difference 0} => {nsp0:pos_3301_line_54^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3301_line_54^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {(1 1) math:difference 0}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3261_line_54]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3301_line_54^e:source {(1 1) math:difference 0}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3427_line_55^e:source {("2007-12-21T00:02:00"^^xsd:dateTime "1956-01-10T00:00:00"^^xsd:dateTime) math:difference 1639267320.0}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3427_line_55^e:source {("2007-12-21T00:02:00"^^xsd:dateTime "1956-01-10T00:00:00"^^xsd:dateTime) math:difference 1639267320.0}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("2007-12-21T00:02:00"^^xsd:dateTime "1956-01-10T00:00:00"^^xsd:dateTime) math:difference 1639267320.0} => {nsp0:pos_3427_line_55^e:source :result 1639267320.0}}]
   [ a r:Inference; r:gives {nsp0:pos_3427_line_55^e:source :result 1639267320.0}; r:evidence (
    [ a r:Fact; r:gives {("2007-12-21T00:02:00"^^xsd:dateTime "1956-01-10T00:00:00"^^xsd:dateTime) math:difference 1639267320.0}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3318_line_55]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3427_line_55^e:source {("2007-12-21T00:02:00"^^xsd:dateTime "1956-01-10T00:00:00"^^xsd:dateTime) math:difference 1639267320.0}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3515_line_56^e:source {(2 3.0) math:exponentiation 8.0. (4.0 3.0) math:product 12.0}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3515_line_56^e:source {(2 3.0) math:exponentiation 8.0. (4.0 3.0) math:product 12.0}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(2 3.0) math:exponentiation 8.0. (4.0 3.0) math:product 12.0} => {nsp0:pos_3515_line_56^e:source :result (3.0 12.0)}}]
   [ a r:Inference; r:gives {nsp0:pos_3515_line_56^e:source :result (3.0 12.0)}; r:evidence (
    [ a r:Fact; r:gives {(2 3.0) math:exponentiation 8.0}]
    [ a r:Fact; r:gives {(4.0 3.0) math:product 12.0}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3442_line_56]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3515_line_56^e:source {(2 3.0) math:exponentiation 8.0. (4.0 3.0) math:product 12.0}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3572_line_57^e:source {2 math:greaterThan 1}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3572_line_57^e:source {2 math:greaterThan 1}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{2 math:greaterThan 1} => {nsp0:pos_3572_line_57^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3572_line_57^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {2 math:greaterThan 1}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3535_line_57]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3572_line_57^e:source {2 math:greaterThan 1}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3631_line_58^e:source {"02" math:greaterThan "1"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3631_line_58^e:source {"02" math:greaterThan "1"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"02" math:greaterThan "1"} => {nsp0:pos_3631_line_58^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3631_line_58^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {"02" math:greaterThan "1"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3589_line_58]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3631_line_58^e:source {"02" math:greaterThan "1"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3685_line_59^e:source {7 math:notLessThan 5}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3685_line_59^e:source {7 math:notLessThan 5}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{7 math:notLessThan 5} => {nsp0:pos_3685_line_59^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3685_line_59^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {7 math:notLessThan 5}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3648_line_59]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3685_line_59^e:source {7 math:notLessThan 5}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3735_line_60^e:source {(1 1) math:sum 2}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3735_line_60^e:source {(1 1) math:sum 2}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{(1 1) math:sum 2} => {nsp0:pos_3735_line_60^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3735_line_60^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {(1 1) math:sum 2}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3702_line_60]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3735_line_60^e:source {(1 1) math:sum 2}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3789_line_61^e:source {("1" "1") math:sum 2}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3789_line_61^e:source {("1" "1") math:sum 2}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("1" "1") math:sum 2} => {nsp0:pos_3789_line_61^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_3789_line_61^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {("1" "1") math:sum 2}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3752_line_61]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3789_line_61^e:source {("1" "1") math:sum 2}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3873_line_62^e:source {("1969-07-20T20:17:40Z"^^xsd:dateTime) math:sum -14182940.0}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3873_line_62^e:source {("1969-07-20T20:17:40Z"^^xsd:dateTime) math:sum -14182940.0}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("1969-07-20T20:17:40Z"^^xsd:dateTime) math:sum -14182940.0} => {nsp0:pos_3873_line_62^e:source :result -14182940.0}}]
   [ a r:Inference; r:gives {nsp0:pos_3873_line_62^e:source :result -14182940.0}; r:evidence (
    [ a r:Fact; r:gives {("1969-07-20T20:17:40Z"^^xsd:dateTime) math:sum -14182940.0}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3806_line_62]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3873_line_62^e:source {("1969-07-20T20:17:40Z"^^xsd:dateTime) math:sum -14182940.0}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_3938_line_63^e:source {("P1D"^^xsd:duration) math:sum 86400}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_3938_line_63^e:source {("P1D"^^xsd:duration) math:sum 86400}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("P1D"^^xsd:duration) math:sum 86400} => {nsp0:pos_3938_line_63^e:source :result 86400}}]
   [ a r:Inference; r:gives {nsp0:pos_3938_line_63^e:source :result 86400}; r:evidence (
    [ a r:Fact; r:gives {("P1D"^^xsd:duration) math:sum 86400}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3888_line_63]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_3938_line_63^e:source {("P1D"^^xsd:duration) math:sum 86400}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4009_line_65^e:source {("eul" "er") str:concatenation "euler"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4009_line_65^e:source {("eul" "er") str:concatenation "euler"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{("eul" "er") str:concatenation "euler"} => {nsp0:pos_4009_line_65^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_4009_line_65^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {("eul" "er") str:concatenation "euler"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_3954_line_65]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4009_line_65^e:source {("eul" "er") str:concatenation "euler"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4078_line_66^e:source {"Tim" str:containsIgnoringCase "IM"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4078_line_66^e:source {"Tim" str:containsIgnoringCase "IM"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"Tim" str:containsIgnoringCase "IM"} => {nsp0:pos_4078_line_66^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_4078_line_66^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {"Tim" str:containsIgnoringCase "IM"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4026_line_66]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4078_line_66^e:source {"Tim" str:containsIgnoringCase "IM"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4152_line_67^e:source {"abracadabra" str:matches "(a|b|r|c|d)+"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4152_line_67^e:source {"abracadabra" str:matches "(a|b|r|c|d)+"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"abracadabra" str:matches "(a|b|r|c|d)+"} => {nsp0:pos_4152_line_67^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_4152_line_67^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {"abracadabra" str:matches "(a|b|r|c|d)+"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4095_line_67]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4152_line_67^e:source {"abracadabra" str:matches "(a|b|r|c|d)+"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4213_line_68^e:source {"euler" str:startsWith "eu"}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4213_line_68^e:source {"euler" str:startsWith "eu"}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"euler" str:startsWith "eu"} => {nsp0:pos_4213_line_68^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_4213_line_68^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {"euler" str:startsWith "eu"}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4169_line_68]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4213_line_68^e:source {"euler" str:startsWith "eu"}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4282_line_70^e:source {"2006-12-14"^^xsd:date time:day 14}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4282_line_70^e:source {"2006-12-14"^^xsd:date time:day 14}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"2006-12-14"^^xsd:date time:day 14} => {nsp0:pos_4282_line_70^e:source :result 14}}]
   [ a r:Inference; r:gives {nsp0:pos_4282_line_70^e:source :result 14}; r:evidence (
    [ a r:Fact; r:gives {"2006-12-14"^^xsd:date time:day 14}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4231_line_70]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4282_line_70^e:source {"2006-12-14"^^xsd:date time:day 14}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4350_line_71^e:source {"2006-12-14"^^xsd:date time:month 12}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4350_line_71^e:source {"2006-12-14"^^xsd:date time:month 12}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"2006-12-14"^^xsd:date time:month 12} => {nsp0:pos_4350_line_71^e:source :result 12}}]
   [ a r:Inference; r:gives {nsp0:pos_4350_line_71^e:source :result 12}; r:evidence (
    [ a r:Fact; r:gives {"2006-12-14"^^xsd:date time:month 12}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4297_line_71]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4350_line_71^e:source {"2006-12-14"^^xsd:date time:month 12}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_4417_line_72^e:source {"2006-12-14"^^xsd:date time:year 2006}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_4417_line_72^e:source {"2006-12-14"^^xsd:date time:year 2006}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{"2006-12-14"^^xsd:date time:year 2006} => {nsp0:pos_4417_line_72^e:source :result 2006}}]
   [ a r:Inference; r:gives {nsp0:pos_4417_line_72^e:source :result 2006}; r:evidence (
    [ a r:Fact; r:gives {"2006-12-14"^^xsd:date time:year 2006}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4365_line_72]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_4417_line_72^e:source {"2006-12-14"^^xsd:date time:year 2006}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_1042_line_24^e:source {:a :b :d. _:sk0 e:optional {:g :h :i}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_1042_line_24^e:source {:a :b :d. _:sk0 e:optional {:g :h :i}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{:a :b :d. _:sk0 e:optional {:g :h :i}} => {nsp0:pos_1042_line_24^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_1042_line_24^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {:a :b :d}]
    [ a r:Fact; r:gives {var:_G639 e:optional {:g :h :i}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_991_line_24]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_1042_line_24^e:source {:a :b :d. _:sk0 e:optional {:g :h :i}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2558_line_45^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk1. _:sk1 log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2558_line_45^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk1. _:sk1 log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk1. _:sk1 log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}} => {nsp0:pos_2558_line_45^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_2558_line_45^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics {(med:Ann med:Fever) rpo:mu 0.8. (med:Ann med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:AcuteMyocardialInfarction) rpo:mu 0.9. (med:Joe med:ActivePepticUlcerDisease) rpo:mu 0.006. (med:Joe med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:SevereAsthma) rpo:mu 0.001. (med:Joe med:ChronicObstructivePumonaryDisease) rpo:mu 0.001. med:aspirinHighDose med:prescribedFor med:Fever. med:aspirinLowDose med:prescribedFor med:AcuteMyocardialInfarction. med:betaBlocker med:prescribedFor med:AcuteMyocardialInfarction. med:aspirinHighDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinHighDose med:excludedFor med:AllergyForAspirin. med:aspirinLowDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinLowDose med:excludedFor med:AllergyForAspirin. med:betaBlocker med:excludedFor med:SevereAsthma. med:betaBlocker med:excludedFor med:ChronicObstructivePumonaryDisease. {var:_G821 med:prescribedFor var:_G822. (var:_G830 var:_G822) rpo:mu var:_G828. var:_G828 math:greaterThan 0.7. (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858} var:_G869). (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858. (var:_G830 var:_G858) rpo:mu var:_G899. var:_G899 math:notGreaterThan 0.01} var:_G869)} => {var:_G830 med:isPrescribed var:_G821}}}]
    [ a r:Fact; r:gives {{(med:Ann med:Fever) rpo:mu 0.8. (med:Ann med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:AcuteMyocardialInfarction) rpo:mu 0.9. (med:Joe med:ActivePepticUlcerDisease) rpo:mu 0.006. (med:Joe med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:SevereAsthma) rpo:mu 0.001. (med:Joe med:ChronicObstructivePumonaryDisease) rpo:mu 0.001. med:aspirinHighDose med:prescribedFor med:Fever. med:aspirinLowDose med:prescribedFor med:AcuteMyocardialInfarction. med:betaBlocker med:prescribedFor med:AcuteMyocardialInfarction. med:aspirinHighDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinHighDose med:excludedFor med:AllergyForAspirin. med:aspirinLowDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinLowDose med:excludedFor med:AllergyForAspirin. med:betaBlocker med:excludedFor med:SevereAsthma. med:betaBlocker med:excludedFor med:ChronicObstructivePumonaryDisease. {var:_G821 med:prescribedFor var:_G822. (var:_G830 var:_G822) rpo:mu var:_G828. var:_G828 math:greaterThan 0.7. (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858} var:_G869). (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858. (var:_G830 var:_G858) rpo:mu var:_G899. var:_G899 math:notGreaterThan 0.01} var:_G869)} => {var:_G830 med:isPrescribed var:_G821}} log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2407_line_45]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2558_line_45^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk1. _:sk1 log:includes {med:aspirinHighDose med:excludedFor med:AllergyForAspirin}}) a :PASS.}].

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {(nsp0:pos_2988_line_49^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk2. _:sk2 log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}}) a :PASS}; r:evidence (
  [ a r:Inference; r:gives {(nsp0:pos_2988_line_49^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk2. _:sk2 log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}}) a :PASS}; r:evidence (
   [ a r:Fact; r:gives {{<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk2. _:sk2 log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}} => {nsp0:pos_2988_line_49^e:source :result "true"^^xsd:boolean}}]
   [ a r:Inference; r:gives {nsp0:pos_2988_line_49^e:source :result "true"^^xsd:boolean}; r:evidence (
    [ a r:Fact; r:gives {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics {(med:Ann med:Fever) rpo:mu 0.8. (med:Ann med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:AcuteMyocardialInfarction) rpo:mu 0.9. (med:Joe med:ActivePepticUlcerDisease) rpo:mu 0.006. (med:Joe med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:SevereAsthma) rpo:mu 0.001. (med:Joe med:ChronicObstructivePumonaryDisease) rpo:mu 0.001. med:aspirinHighDose med:prescribedFor med:Fever. med:aspirinLowDose med:prescribedFor med:AcuteMyocardialInfarction. med:betaBlocker med:prescribedFor med:AcuteMyocardialInfarction. med:aspirinHighDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinHighDose med:excludedFor med:AllergyForAspirin. med:aspirinLowDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinLowDose med:excludedFor med:AllergyForAspirin. med:betaBlocker med:excludedFor med:SevereAsthma. med:betaBlocker med:excludedFor med:ChronicObstructivePumonaryDisease. {var:_G821 med:prescribedFor var:_G822. (var:_G830 var:_G822) rpo:mu var:_G828. var:_G828 math:greaterThan 0.7. (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858} var:_G869). (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858. (var:_G830 var:_G858) rpo:mu var:_G899. var:_G899 math:notGreaterThan 0.01} var:_G869)} => {var:_G830 med:isPrescribed var:_G821}}}]
    [ a r:Fact; r:gives {{(med:Ann med:Fever) rpo:mu 0.8. (med:Ann med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:AcuteMyocardialInfarction) rpo:mu 0.9. (med:Joe med:ActivePepticUlcerDisease) rpo:mu 0.006. (med:Joe med:AllergyForAspirin) rpo:mu 0.001. (med:Joe med:SevereAsthma) rpo:mu 0.001. (med:Joe med:ChronicObstructivePumonaryDisease) rpo:mu 0.001. med:aspirinHighDose med:prescribedFor med:Fever. med:aspirinLowDose med:prescribedFor med:AcuteMyocardialInfarction. med:betaBlocker med:prescribedFor med:AcuteMyocardialInfarction. med:aspirinHighDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinHighDose med:excludedFor med:AllergyForAspirin. med:aspirinLowDose med:excludedFor med:ActivePepticUlcerDisease. med:aspirinLowDose med:excludedFor med:AllergyForAspirin. med:betaBlocker med:excludedFor med:SevereAsthma. med:betaBlocker med:excludedFor med:ChronicObstructivePumonaryDisease. {var:_G821 med:prescribedFor var:_G822. (var:_G830 var:_G822) rpo:mu var:_G828. var:_G828 math:greaterThan 0.7. (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858} var:_G869). (var:_G852 1) e:findall (var:_G858 {var:_G821 med:excludedFor var:_G858. (var:_G830 var:_G858) rpo:mu var:_G899. var:_G899 math:notGreaterThan 0.01} var:_G869)} => {var:_G830 med:isPrescribed var:_G821}} log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}}]);
    r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_2840_line_49]]]);
   r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp0:pos_4453_line_76]]]);
  r:rule [ a r:Extraction; r:because [ a r:Parsing; r:source nsp2:pos_62_line_3]]];
 r:gives {
  (nsp0:pos_2988_line_49^e:source {<http://www.agfa.com/w3c/euler/medic.n3> log:semantics _:sk2. _:sk2 log:notIncludes {med:aspirinLowDose med:excludedFor med:SevereAsthma}}) a :PASS.}].

#ENDS 140 msec.

#exon........
#Processed by $Id: sem.pl 2201 2008-07-03 20:27:13Z josd $ |: 
@keywords is, of, a.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix nsp0: <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#>.
@prefix nsp3: <http://eulersharp.sourceforge.net/2004/04test/>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix nsp1: <http://eulersharp.sourceforge.net/2004/04test/exonQ.n3#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix nsp2: <http://www.w3.org/2000/10/swap/test/EricNeumann/>.
@prefix : <http://example.com/exon/#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix var: <http://localhost/var#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[ a r:Proof, r:Conjunction;
 r:component [ a r:Inference; r:gives {nsp3:exonQ.n3 q:answer (nsp0:ATP1B4_e2)}; r:evidence (
  [ a r:Fact; r:gives {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics {nsp0:ATP1B4 a :Gene. nsp0:ATP1B4 :chr "chrX". nsp0:ATP1B4 :hasTxVariant var:_G65. var:_G65 :representedBy nsp0:gi13560662. nsp0:ATP1B4 :hasTxVariant var:_G77. var:_G77 :representedBy nsp0:gi13560664. nsp0:ATP1B4 :strand "+". nsp0:ATP1B4_e1 a :Exon. nsp0:ATP1B4_e1 :startsAt "23897840". nsp0:ATP1B4_e1 :stopsAt "23897903". nsp0:ATP1B4_e2 a :Exon. nsp0:ATP1B4_e2 :startsAt "23902084". nsp0:ATP1B4_e2 :stopsAt "23902334". nsp0:ATP1B4_e3 a :Exon. nsp0:ATP1B4_e3 :startsAt "23902084". nsp0:ATP1B4_e3 :stopsAt "23902346". nsp0:ATP1B4_e4 a :Exon. nsp0:ATP1B4_e4 :startsAt "23906218". nsp0:ATP1B4_e4 :stopsAt "23906347". nsp0:gi13560662 a :Transcript. nsp0:gi13560662 :hasCds var:_G173. var:_G173 :startsAt "23897840". var:_G173 :stopsAt "23915296". nsp0:gi13560662 :hasExon nsp0:ATP1B4_e1. nsp0:gi13560662 :hasExon nsp0:ATP1B4_e3. nsp0:gi13560662 :hasExon nsp0:ATP1B4_e4. nsp0:gi13560662 :weThink {:life a :Great}. nsp0:gi13560664 a :Transcript. nsp0:gi13560664 :hasCds var:_G226. var:_G226 :startsAt "23897840". var:_G226 :stopsAt "23915296". nsp0:gi13560664 :hasExon nsp0:ATP1B4_e1. nsp0:gi13560664 :hasExon nsp0:ATP1B4_e2. nsp0:gi13560664 :hasExon nsp0:ATP1B4_e4}}]
  [ a r:Fact; r:gives {nsp0:gi13560662 a :Transcript}]
  [ a r:Fact; r:gives {{nsp0:ATP1B4 a :Gene. nsp0:ATP1B4 :chr "chrX". nsp0:ATP1B4 :hasTxVariant var:_G65. var:_G65 :representedBy nsp0:gi13560662. nsp0:ATP1B4 :hasTxVariant var:_G77. var:_G77 :representedBy nsp0:gi13560664. nsp0:ATP1B4 :strand "+". nsp0:ATP1B4_e1 a :Exon. nsp0:ATP1B4_e1 :startsAt "23897840". nsp0:ATP1B4_e1 :stopsAt "23897903". nsp0:ATP1B4_e2 a :Exon. nsp0:ATP1B4_e2 :startsAt "23902084". nsp0:ATP1B4_e2 :stopsAt "23902334". nsp0:ATP1B4_e3 a :Exon. nsp0:ATP1B4_e3 :startsAt "23902084". nsp0:ATP1B4_e3 :stopsAt "23902346". nsp0:ATP1B4_e4 a :Exon. nsp0:ATP1B4_e4 :startsAt "23906218". nsp0:ATP1B4_e4 :stopsAt "23906347". nsp0:gi13560662 a :Transcript. nsp0:gi13560662 :hasCds var:_G173. var:_G173 :startsAt "23897840". var:_G173 :stopsAt "23915296". nsp0:gi13560662 :hasExon nsp0:ATP1B4_e1. nsp0:gi13560662 :hasExon nsp0:ATP1B4_e3. nsp0:gi13560662 :hasExon nsp0:ATP1B4_e4. nsp0:gi13560662 :weThink {:life a :Great}. nsp0:gi13560664 a :Transcript. nsp0:gi13560664 :hasCds var:_G226. var:_G226 :startsAt "23897840". var:_G226 :stopsAt "23915296". nsp0:gi13560664 :hasExon nsp0:ATP1B4_e1. nsp0:gi13560664 :hasExon nsp0:ATP1B4_e2. nsp0:gi13560664 :hasExon nsp0:ATP1B4_e4} log:includes {nsp0:gi13560664 a :Transcript. nsp0:gi13560664 :hasExon nsp0:ATP1B4_e2}}]
  [ a r:Fact; r:gives {{nsp0:ATP1B4 a :Gene. nsp0:ATP1B4 :chr "chrX". nsp0:ATP1B4 :hasTxV