Assertion: dodecahedron's side | /r/HasProperty | mirror
Facets:
Source sentences:
text: If the sides of the original triangle are mirrors, you have the desired three-coloring of H2, whether n is even or odd.