Assertion: sphere's curvature | /r/HasProperty | negative constant
Facets:
Source sentences:
text: The first case is for a 4-pseudo-sphere, which has negative constant curvature,