Assertion: graph's g | /r/HasProperty | g ¯
Facets:
Source sentences:
text: A graph G is a permutation graph if and only if both G and its complement G ¯ {\displaystyle {\overline {G}}} comparability graphs.