Assertion: inheritance's class | /r/CapableOf | satisfy b's specification
Facets:
Source sentences:
text: That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker.