# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:23 GMT
{
 (
 <http://www.agfa.com/w3c/euler/danc.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/danc-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danc#>.

 {[iw:Variable "_:x_2"] = _:7259666_1. 
  [iw:Variable "_:y_2"] = _:905719_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:7259666_1 :includes _:905719_1}. 
 {[iw:Variable "_:x_2"] = _:5487165_1. 
  [iw:Variable "_:y_2"] = _:6818393_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:5487165_1 :includes _:6818393_1}. 
 {[iw:Variable "_:x_2"] = _:2042379_1. 
  [iw:Variable "_:y_2"] = _:81836_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:2042379_1 :includes _:81836_1}. 
 {[iw:Variable "_:x_2"] = _:1128272_1. 
  [iw:Variable "_:y_2"] = _:4616912_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:1128272_1 :includes _:4616912_1}. 
 {[iw:Variable "_:x_2"] = _:306121_1. 
  [iw:Variable "_:y_2"] = _:2765838_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:306121_1 :includes _:2765838_1}. 
 {[iw:Variable "_:x_2"] = _:328041_1. 
  [iw:Variable "_:y_2"] = _:2083945_1. 
  [iw:Variable "_:x_2"] :includes [iw:Variable "_:y_2"]} =>
{_:328041_1 :includes _:2083945_1}. 
_:5488661_1 <http://www.w3.org/2002/07/owl#sameAs> <http://www.agfa.com/w3c/euler/danc#Cambridge>.
# Proof found for http://www.agfa.com/w3c/euler/danc-query.n3 in 6 steps (599 steps/sec) using 1 engine
}.