let
add_axiom (id, (name,labels,p)) =
W
.add_axiom id name labels p