Takes one argument, model-class. The value is the quoted set of other-axioms for the model class
The value is the quoted set of other-axioms for the model class