Assertion: principal curvature | /r/HasAspect | same sign
Facets:
value: at elliptical points
type: LOCATION
Source sentences:
text: At elliptical points, both principal curvatures have the same sign, and the surface is locally convex.
text: points, both principal curvatures have the same sign, and the surface is locally convex.