EN

Exercise 23

Add a Closure Axiom on the hasTopping Property for MargheritaPizza