# $Id: exonQ.n3 2564 2009-01-03 20:42:37Z josd $
# PxButton | es   | euler --nope --think http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3 --query exonQ.n3
# PxButton | cwm  | cwm http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3 --think --filter"=exonQ.n3"

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix x: <http://example.com/exon/#>.

@forAll <#T1>, <#T2>, <#E>.
{<http://www.w3.org/2000/10/swap/test/EricNeumann/exdata.n3> log:semantics ?F.
 <#T2> a x:Transcript.
 ?F log:includes {<#T1> a x:Transcript; x:hasExon <#E>}.
 ?F log:notIncludes {<#T2> x:hasExon <#E>}}
 => {<> q:answer (<#E>)}.