Assertion: polyhedron's face | /r/HasProperty | red
Facets:
Source sentences:
text: Where green is present (only for the snub icosidodecadodecahedron and great snub dodecicosidodecahedron), the faces derived from alternation are red, yellow, and blue, while the snub triangles are green.