# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:24 GMT
{
 (
 <http://www.agfa.com/w3c/euler/ziv.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/ziv-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 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/ziv#>.

 {[iw:Variable "_:R_2"] = :rec010. 
  [iw:Variable "_:R_2"] :year 2001} =>
{:rec010 :year 2001}. 
 {[iw:Variable "_:R_2"] = :rec010. 
  [iw:Variable "_:R_2"] :month "May"} =>
{:rec010 :month "May"}. 
 {[iw:Variable "_:R_2"] = :rec010. 
  [iw:Variable "_:c_2"] = "Tel Aviv". 
  [iw:Variable "_:R_2"] :city [iw:Variable "_:c_2"]} =>
{:rec010 :city "Tel Aviv"}. 
 {[iw:Variable "_:R_2"] = :rec010. 
  [iw:Variable "_:f_2"] = "Pokemon 2". 
  [iw:Variable "_:R_2"] :film [iw:Variable "_:f_2"]} =>
{:rec010 :film "Pokemon 2"}. 
 {[iw:Variable "_:R_2"] = :rec010. 
  [iw:Variable "_:R_2"] :cinema "Globus"} =>
{:rec010 :cinema "Globus"}. 
 {[iw:Variable "_:R_2"] = :rec011. 
  [iw:Variable "_:R_2"] :year 2001} =>
{:rec011 :year 2001}. 
 {[iw:Variable "_:R_2"] = :rec011. 
  [iw:Variable "_:R_2"] :month "May"} =>
{:rec011 :month "May"}. 
 {[iw:Variable "_:R_2"] = :rec011. 
  [iw:Variable "_:c_2"] = "Tel Aviv". 
  [iw:Variable "_:R_2"] :city [iw:Variable "_:c_2"]} =>
{:rec011 :city "Tel Aviv"}. 
 {[iw:Variable "_:R_2"] = :rec011. 
  [iw:Variable "_:f_2"] = "Billy Elliot". 
  [iw:Variable "_:R_2"] :film [iw:Variable "_:f_2"]} =>
{:rec011 :film "Billy Elliot"}. 
 {[iw:Variable "_:R_2"] = :rec011. 
  [iw:Variable "_:R_2"] :cinema "Globus"} =>
{:rec011 :cinema "Globus"}. 
 {[iw:Variable "_:R_2"] = :rec012. 
  [iw:Variable "_:R_2"] :year 2001} =>
{:rec012 :year 2001}. 
 {[iw:Variable "_:R_2"] = :rec012. 
  [iw:Variable "_:R_2"] :month "May"} =>
{:rec012 :month "May"}. 
 {[iw:Variable "_:R_2"] = :rec012. 
  [iw:Variable "_:c_2"] = "Tel Aviv". 
  [iw:Variable "_:R_2"] :city [iw:Variable "_:c_2"]} =>
{:rec012 :city "Tel Aviv"}. 
 {[iw:Variable "_:R_2"] = :rec012. 
  [iw:Variable "_:f_2"] = "The Mummy". 
  [iw:Variable "_:R_2"] :film [iw:Variable "_:f_2"]} =>
{:rec012 :film "The Mummy"}. 
 {[iw:Variable "_:R_2"] = :rec012. 
  [iw:Variable "_:R_2"] :cinema "Globus"} =>
{:rec012 :cinema "Globus"}. 
 {[iw:Variable "_:R_2"] = :rec017. 
  [iw:Variable "_:R_2"] :year 2001} =>
{:rec017 :year 2001}. 
 {[iw:Variable "_:R_2"] = :rec017. 
  [iw:Variable "_:R_2"] :month "May"} =>
{:rec017 :month "May"}. 
 {[iw:Variable "_:R_2"] = :rec017. 
  [iw:Variable "_:c_2"] = "Jerusalem". 
  [iw:Variable "_:R_2"] :city [iw:Variable "_:c_2"]} =>
{:rec017 :city "Jerusalem"}. 
 {[iw:Variable "_:R_2"] = :rec017. 
  [iw:Variable "_:f_2"] = "A Hard Day's Night". 
  [iw:Variable "_:R_2"] :film [iw:Variable "_:f_2"]} =>
{:rec017 :film "A Hard Day's Night"}. 
 {[iw:Variable "_:R_2"] = :rec017. 
  [iw:Variable "_:R_2"] :cinema "Globus"} =>
{:rec017 :cinema "Globus"}. 
 {[iw:Variable "_:R_2"] = :rec018. 
  [iw:Variable "_:R_2"] :year 2001} =>
{:rec018 :year 2001}. 
 {[iw:Variable "_:R_2"] = :rec018. 
  [iw:Variable "_:R_2"] :month "May"} =>
{:rec018 :month "May"}. 
 {[iw:Variable "_:R_2"] = :rec018. 
  [iw:Variable "_:c_2"] = "Jerusalem". 
  [iw:Variable "_:R_2"] :city [iw:Variable "_:c_2"]} =>
{:rec018 :city "Jerusalem"}. 
 {[iw:Variable "_:R_2"] = :rec018. 
  [iw:Variable "_:f_2"] = "15 Minutes". 
  [iw:Variable "_:R_2"] :film [iw:Variable "_:f_2"]} =>
{:rec018 :film "15 Minutes"}. 
 {[iw:Variable "_:R_2"] = :rec018. 
  [iw:Variable "_:R_2"] :cinema "Globus"} =>
{:rec018 :cinema "Globus"}. 
# Proof found for http://www.agfa.com/w3c/euler/ziv-query.n3 in 828 steps (13797 steps/sec) using 1 engine
}.