Assertion: graph's g | /r/HasProperty | a circle graph
Facets:
Source sentences:
text: A graph G is a permutation graph if and only if G is a circle graph that admits an equator, i.e., an additional chord that intersects every other chord.