Assertion: curvature's curvature | /r/CapableOf | prove to be helpful
Facets:
value: very
type: DEGREE
value: so far
type: OTHER
Source sentences:
text: So far, Gaussian curvature proved to be very helpful: we were able to distinguish three different types of manifolds from each other.