axiom db: :John a http://www.w3.org/1999/02/22-rdf-syntax-ns#type :cold 1 axiom variables: lemma db: _1_:who _:who a http://www.w3.org/1999/02/22-rdf-syntax-ns#type :cold 1 lemma variables: _1_:who _:who