hasMutableSubclass
P90870
predicate
Indicates that a class has at least one subclass whose instances can be changed or modified after creation.