Assertion: octahedron's edge | /r/HasProperty | reduced in length
Facets:
Source sentences:
text: - Edges are reduced in length, faces are truncated to have twice as many sides, while new facets are formed, centered at the old vertices.