let
mk_axiom_id name = mk_prop
PKProp
(
Property
.
IPAxiom
name)