Assertion: graph's hole | /r/HasProperty | induced cycle of length
Facets:
Source sentences:
text: A hole is an induced cycle of length four or more.