Assertion: connected graph | /r/HasProperty | planar
Facets:
Source sentences:
text: A connected graph G is planar if and only if it has an algebraic dual.