Assertion: octahedron's face | /r/HasAspect | distinct realizations
Facets:
Source sentences:
text: Here an abstract polytope is a poset of its "faces" satisfying various condition, a realization is a function from its vertices to some space, and the realization is called non-degenerate if any two distinct faces of the abstract polytope have distinct realizations.