Assertion: curve's length | /r/HasProperty | non-negative real number
Facets:
Source sentences:
text: Thus the length of a curve is a non-negative real number.