Assertion: real number's distance | /r/HasProperty | given as non-negative number
Facets:
value: always
type: TEMPORAL
Source sentences:
text: That distance is always given as a non-negative number.