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