Assertion: inheritance's class | /r/HasProperty | real
Facets:
Source sentences:
text: It merely says that this newly defined class (in the example: Real) applies to types which are already members (have instances for)