Assertion: octahedron | /r/HasAspect | edge length
Facets:
Source sentences:
text: Let the octahedron have edge length s.  (a)