Assertion: octahedron's edge | /r/HasProperty | diagonal of one of the cube's faces
Facets:
Source sentences:
text: A regular tetrahedron can be embedded inside a cube in two ways such that each vertex is a vertex of the cube, and each edge is a diagonal of one of the cube's faces.