### multi-pass pass test
###   eye --nope data1.n3 data2.n3 equalities1.n3 ../../2003/03swap/owl-sameAs.n3 --pass > data3.n3
###   eye --nope data3.n3 theory1.n3 --query query1.n3
###
### performs better than BUT is different from test
###   eye --nope data1.n3 data2.n3 equalities1.n3 ../../2003/03swap/owl-sameAs.n3 theory1.n3 --query query1.n3
###
######

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <try#>.

{?X :q2 ?Y} => {?X :q2 ?Y}.
