Assertion: concept's type | /r/HasProperty | abstract
Facets:
Source sentences:
text: In this way, concepts are related to abstract types but concepts do not require a subtype relationship.