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