Assertion: octahedron | /r/HasProperty | its vertices
Facets:
Source sentences:
text: Data structures (representation of an octahedron, namely, its vertices and edges, and matrices representing rotations).