Assertion: inheritance's class | /r/HasAspect | subclass
Facets:
Source sentences:
text: A non-subclassable class has no subclasses, so it can be easily deduced at compile time that references or pointers to objects of that class are actually referencing instances of that class and not instances of subclasses (they don't exist) or instances of superclasses (upcasting a reference type violates the type system).