trace:
_1_:who _:who
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
_1_:who _:who
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
_1_:who _:who
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
_1_:who _:who
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
substitutions:
Variable:
_1_:who _:who
Term:
:John
Lemma:
_1_:who _:who
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
Solution:
:John
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1