Assertion: graph's vertex | /r/HasProperty | assigned distinct colors
Facets:
value: in any proper coloring
type: OTHER
Source sentences:
text: In all graphs, the clique number provides a lower bound for the chromatic number, as all vertices in a clique must be assigned distinct colors in any proper coloring.