Assertion: graph's edge | /r/HasProperty | subdivided
Facets:
Source sentences:
text: If every edge of a given graph G is subdivided, the resulting graph is a string graph if and only if G is planar.