Assertion: curve's length | /r/HasProperty | well-defined finite
Facets:
value: well
type: DEGREE
Source sentences:
text: Every convex curve that is the boundary of a closed convex set has a well-defined finite length.