Assertion: graph's cycle | /r/HasProperty | long
Facets:
Source sentences:
text: But colorability is not an entirely local phenomenon: A graph with high girth looks locally like a tree, because all cycles are long, but its chromatic number need not be 2: