Assertion: octahedron's face | /r/HasProperty | hemisphere
Facets:
Source sentences:
text: However, as a spherical tiling, a dihedron can exist as nondegenerate form, with two n-sided faces covering the sphere, each face being a hemisphere, and vertices around a great circle.