Assertion: octahedron's edge | /r/AtLocation | corresponding face
Facets:
Source sentences:
text: For example, if an edge of P contains a vertex, the corresponding edge of P° will be contained in the corresponding face.