# Generated with http://www.agfa.com/w3c/euler/#R31030 on 30 Jul 2002 18:44:49 GMT
# for query http://www.agfa.com/w3c/euler/ziv-query.n3
# given {http://www.agfa.com/w3c/euler/ziv.n3=[]}

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <http://www.agfa.com/w3c/euler/ziv#> .

_:2381750 :maand "May".
_:2381750 :city "Tel Aviv".
_:2381750 :film "Pokemon 2".
_:2381750 :cinema "Globus".

_:8026323 :maand "May".
_:8026323 :city "Tel Aviv".
_:8026323 :film "Billy Elliot".
_:8026323 :cinema "Globus".

_:1217030 :maand "May".
_:1217030 :city "Tel Aviv".
_:1217030 :film "The Mummy".
_:1217030 :cinema "Globus".

_:2330935 :maand "May".
_:2330935 :city "Jerusalem".
_:2330935 :film "A Hard Day's Night".
_:2330935 :cinema "Globus".

_:1238924 :maand "May".
_:1238924 :city "Jerusalem".
_:1238924 :film "15 Minutes".
_:1238924 :cinema "Globus".

<http://www.agfa.com/w3c/euler/ziv#month> <http://www.w3.org/2002/07/owl#equivalentTo> <http://www.agfa.com/w3c/euler/ziv#maand> .

# Proof found for http://www.agfa.com/w3c/euler/ziv-query.n3 in 504 steps (33570 steps/sec)