Assertion: octahedron's edge | /r/HasProperty | given mirror
Facets:
Source sentences:
text: The graph represents Coxeter group I 2 (n), with each node representing a mirror, and the edge representing the angle π/n between the mirrors, and a circle is given around one or both mirrors to show which ones are active.