Assertion: inheritance's class | /r/HasProperty | substitutable
Facets:
value: for their base classes
type: TRANSITIVE-OBJECT
Source sentences:
text: Derived classes must be substitutable for their base classes.
text: Derived classes must be substitutable for their base classes.