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