Assertion: graph's set | /r/HasProperty | stored at most k registers
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.