Assertion: curve's length | /r/HasProperty | the curvature
Facets:
Source sentences:
text: Then, the derivative of T(s) with respect to s is a vector that is normal to the curve and whose length is the curvature.