Assertion: tetrahedron's edge | /r/HasProperty | order
Facets:
Source sentences:
text: If many edges are order 2, the Coxeter group can be represented by a bracket notation.