Assertion: set's number | /r/HasProperty | the greatest lower bound
Facets:
Source sentences:
text: The number 1 is a lower bound, but not the greatest lower bound, and hence not the infimum.
text: The number is a lower bound, but not the greatest lower bound, and hence not the infimum.