Assertion: curve's length | /r/HasProperty | finite
Facets:
Source sentences:
text: A rectifiable curve is a curve having finite length (cf.