Assertion: underlying graph | /r/HasProperty | a cycle of length n ≥
Facets:
Source sentences:
text: Ω may have underlying graph that is a cycle of length n ≥ 3 with all edges doubled.