Assertion: set's element | /r/HasProperty | supremum but no greatest
Facets:
Source sentences:
text: This set has a supremum but no greatest element.