Assertion: real number | /r/HasAspect | real number's supremum
Facets:
Source sentences: