Assertion: planar graph | /r/HasProperty | partitioned at most three forests
Facets:
Source sentences:
text: Every forest is planar, and every planar graph can be partitioned into at most three forests.