Assertion: tetrahedron's vertex | /r/HasProperty | colored with 4 colors
Facets:
Source sentences:
text: The vertices can be colored with 4 colors, the edges with 5 colors, and