Assertion: positive cone | /r/HasProperty | given by element
Facets:
Source sentences:
text: Hence the positive cone is given by all elements