Assertion: real number's property | /r/HasProperty | : any pointbefore
Facets:
Source sentences:
text: The Archimedean property : any pointbefore the finish line lies between two of the points(inclusive).