Assertion: concept's type | /r/HasProperty | defined in term
Facets:
Source sentences:
text: He says that functional types are defined in terms of what they can do and that if a component cannot carry out its normal contribution to the overall system then it ceases to be a member of a type.