Assertion: octahedron's vertex | /r/HasProperty | colored with 3 colors
Facets:
Source sentences:
text: The vertices can be colored with 3 colors, as can the edges, and the diameter is 5.