Assertion: tree's vertex | /r/HasProperty | connected by unique simple path
Facets:
Source sentences:
text: Any two vertices in G can be connected by a unique simple path.