I think for the diagrams, it is only necessary to display the name of the axiom. To have the long predicate in the picture makes a bit dirty the class diagram.
Log in to post a comment.