Assertion: graph's g | /r/HasProperty | distinct vertices
Facets:
value: in g
type: LOCATION
Source sentences:
text: If there are distinct vertices u and v in G so that G-u and G-v are both connected, then G is also connected.