Assertion: tree's vertex | /r/HasProperty | partitioned into two disjoint sets
Facets:
Source sentences:
text: By deleting just one edge of the spanning tree, the vertices are partitioned into two disjoint sets.