Assertion: set | /r/HasAspect | no greatest element
Facets:
Source sentences:
text: This set has no greatest element, since for every element of the set, there is another, larger, element.