#Processed by Id: euler.yap,v 1.112 2006/11/09 21:07:09 josd Exp 

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

[ a r:Proof, r:Conjunction;
  r:component [ a r:Inference; r:gives {<http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>)}; r:evidence (
    [ a r:Fact; r:gives {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>}}]
    [ a r:Fact; r:gives {{<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>} log:includes {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript}}]
    [ a r:Fact; r:gives {{<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>} log:notIncludes {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>}}]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#F"]; r:boundTo {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>}]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T1"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#E"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T2"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664"]]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:F,var:T1,var:E,var:T2. {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics var:F. var:F log:includes {var:T1 a :Transcript. var:T1 :hasExon var:E. var:T2 a :Transcript}. var:F log:notIncludes {var:T2 :hasExon var:E}} => {<http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (var:E)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/exonQ.n3>]]];
  r:component [ a r:Inference; r:gives {<http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>)}; r:evidence (
    [ a r:Fact; r:gives {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>}}]
    [ a r:Fact; r:gives {{<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>} log:includes {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript}}]
    [ a r:Fact; r:gives {{<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>} log:notIncludes {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>}}]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#F"]; r:boundTo {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> rdf:type :Gene. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :chr "chrX". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221960_101_. var:e1221960_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :hasTxVariant var:e1221963_101_. var:e1221963_101_ :representedBy <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4> :strand "+". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :startsAt "23897840". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1> :stopsAt "23897903". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2> :stopsAt "23902334". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :startsAt "23902084". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3> :stopsAt "23902346". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> rdf:type :Exon. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :startsAt "23906218". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4> :stopsAt "23906347". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasCds var:e1222012_101_. var:e1222012_101_ :startsAt "23897840". var:e1222012_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662> :weThink {:life rdf:type :Great}. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> rdf:type :Transcript. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasCds var:e1222031_101_. var:e1222031_101_ :startsAt "23897840". var:e1222031_101_ :stopsAt "23915296". <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e1>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>. <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664> :hasExon <http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e4>}]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T1"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560664"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#E"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T2"]; r:boundTo [ n3:uri "http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#gi13560662"]]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:F,var:T1,var:E,var:T2. {<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics var:F. var:F log:includes {var:T1 a :Transcript. var:T1 :hasExon var:E. var:T2 a :Transcript}. var:F log:notIncludes {var:T2 :hasExon var:E}} => {<http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (var:E)}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/exonQ.n3>]]];
  r:gives {
    <http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e3>).
    <http://eulersharp.sourceforge.net/2004/04test/exonQ.n3> q:answer (<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3#ATP1B4_e2>).}].

#ENDS 1052 msec.