let
mk_axiom_info name labels p =
let
id = mk_axiom_id name
in
(id, (name, labels, p))