Assertion: ontology's concept | /r/HasProperty | a subconcept of concept
Facets:
Source sentences:
text: is true iff concept is a subconcept of concept , that means the extension of concept is a subset of the extension of concept .