Assertion: curvature's sign | /r/HasProperty | positive
Facets:
Source sentences:
text: The sign of K will be positive if d2y