Assertion: octahedron's vertex | /r/HasProperty | part of the edge or face
Facets:
Source sentences:
text: A vertex or edge element is less than an edge or face element (in this partial order) when the vertex or edge is part of the edge or face.