(*query to obtain all the constants in the hypothesis of the theorem*)
let query =
"select h_occurrence from refObj where source='"^uri^
(*query to obtain all the constants in the hypothesis of the theorem*)
let query =
"select h_occurrence from refObj where source='"^uri^