Assertion: convex curve | /r/HasAspect | well-defined finite length
Facets:
Source sentences:
text: Every convex curve that is the boundary of a closed convex set has a well-defined finite length.