@prefix : .
@prefix log: .
@keywords is, a, of, this.
# Now I want to find which exons in the 2nd transcript
# are not part of the first transcript; the answer should be <#ATP1B4_e2>
# I've tried the following rule, but it doesn't seem to work...
@forAll e, t1, t2, F.
{ log:semantics F.
F log:includes { t1 a :Transcript; :hasExon e.
t2 a :Transcript }.
F log:notIncludes { t2 :hasExon e. }.
} => { e a RESULT }.
#