# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:25 GMT
{
 (
 <http://www.agfa.com/w3c/euler/animal.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/animal-simple.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.w3.org/2000/10/swap/test/animal.rdf#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix daml: <http://www.daml.org/2001/03/daml+oil#>.

 {[iw:Variable "_:a_2"] = _:2791477_1. 
  <http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> [iw:Variable "_:a_2"]} =>
{<http://www.w3.org/2000/10/swap/test/animal.rdf#Animal> <http://www.daml.org/2000/12/daml+oil#restrictedBy> _:2791477_1}. 
 {[iw:Variable "_:a_2"] = _:2791477_1. 
  [iw:Variable "_:a_2"] <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>} =>
{_:2791477_1 <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>}. 
 {[iw:Variable "_:a_2"] = _:2791477_1. 
  [iw:Variable "_:a_2"] <http://www.daml.org/2000/12/daml+oil#cardinality> "2"} =>
{_:2791477_1 <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". 
<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>. 
 {[iw:Variable "_:a_2"] = _:2791477_1. 
  [iw:Variable "_:a_2"] <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>} =>
{_:2791477_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>}. 
# Proof found for http://www.agfa.com/w3c/euler/animal-simple.n3 in 7 steps (700000 steps/sec) using 1 engine
}.