Assertion: octahedron's edge | /r/HasProperty | tetrahedron
Facets:
Source sentences:
text: (unit edges) tetrahedron 1 6 {\displaystyle 1 \over {