Assertion: tree | /r/HasProperty | planar graph
Facets:
Source sentences:
text: Every tree with only countably many vertices is a planar graph.