Assertion: curvature | /r/HasAspect | a ridge point
Facets:
Source sentences:
text: When a line of curvature has a local extremum of the same principal curvature then the curve has a ridge point.