Assertion: inheritance | /r/CapableOf | create semantic
Facets:
Source sentences:
text: It is intuitive to assume that inheritance creates a semantic "is a" relationship, and thus to infer that objects instantiated from subclasses can always be safely used instead of those instantiated from the superclass.