Assertion: real number's distance | /r/HasProperty | the one
Facets:
Source sentences:
text: The distance to 1 from the nth point (the one with n 9s after the decimal point) is 1/10n.