Assertion: graph's cycle | /r/HasProperty | a cut of g★
Facets:
Source sentences:
text: such that G and G★ have the same set of edges, any cycle of G is a cut of G★, and any cut of G is a cycle of G★.