None] in
let constr_sort =
["http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis",
- Some 1, "http://www.cs.unibo.it/helm/schemas/schema-helm#Prop"]
+ Some 1, "Prop"]
in
whole_statement_universe,
(constr_obj, constr_rel, constr_sort), (None,None,None)