Assertion: graph | /r/HasProperty | colored with k colors
Facets:
Source sentences:
text: If the graph can be colored with k colors then any set of variables needed at the same time can be stored in at most k registers.