Substitutions:

{__:a = _T$$$1. }.
N3Trace:

2 [:call {<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> __:a. __:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>. __:a <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>. __:a <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". }].
:alternatives = {{<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> _T$$$1. _T$$$1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>. _T$$$1 <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>. _T$$$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". }
}
:subtitutions = {{__:a = _T$$$1. }.}
:goalList = {{  . }
{<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> __:a. __:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>. __:a <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>. __:a <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". }
}
{:solution = {__:a = _T$$$1. }.}.

Query:

{<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> __:a. __:a <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>. __:a <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>. __:a <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". }

Solution:

{<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> _T$$$1. _T$$$1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.daml.org/2000/12/daml+oil#Restriction>. _T$$$1 <http://www.daml.org/2000/12/daml+oil#onProperty> <http://www.w3.org/2000/10/swap/test/animal.rdf#parent>. _T$$$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". }