Assertion: polyhedron's vertex | /r/HasProperty | coloured
Facets:
Source sentences:
text: If there are no more vertices to colour, then all vertices have been coloured.
text: Furthermore, Von Staudt states that all the vertices have been coloured.