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