Assertion: space's edge | /r/HasProperty | 80 faces
Facets:
Source sentences:
text: The 5-orthoplex of the cross polytope family, {3,3,3,4}, with 10 vertices, 40 edges, 80 faces (each a triangle), 80 cells (each a tetrahedron), and 32 hypercells (each a 5-cell).