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