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