Assertion: sphere's surface | /r/HasProperty | a 3-sphere s3u²
Facets:
Source sentences:
text: Instead of the Case 1 pseudo-sphere (ps3), the surface is a 3-sphere (s3) u² + x² + y² + z²