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