# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:20:12 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/animal-simple.n3
# given [http://www.agfa.com/w3c/euler/animal.n3]

@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <http://www.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Class>.
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> [ <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>; <http://www.daml.org/2000/12/daml+oil#onProperty>
      <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>; <http://www.daml.org/2000/12/daml+oil#cardinality> "2"].
<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.w3.org/2000/01/rdf-schema#label> "Animal".

# Proof found for http://www.agfa.com/w3c/euler/animal-simple.n3 in 3 steps (568 steps/sec)