Assertion: graph's vertex | /r/AtLocation | a branch set
Facets:
Source sentences:
text: Now, every vertex is in a branch set, and the branch sets are disjoint, and each is connected.