Constraints:

Signature: maps_to_generalization_set() : Boolean;Description: The Classifier that maps to a GeneralizationSet may neither be a specific
nor a general Classifier in any of the Generalization relationships defined
for that GeneralizationSet. In other words, a power type may not be an
instance of itself nor may its instances be its subclasses.Expression: true

Signature: generalization_same_classifier() : Boolean;Description: Every Generalization associated with a particular GeneralizationSet must
have the same general Classifier.Expression: generalization->collect(g | g.general)->asSet()->size() <= 1