Assertion: graph's vertex | /r/CapableOf | exist directed path
Facets:
value: from u
type: LOCATION
value: exactly
type: DEGREE
Source sentences:
text: In this partial order, two vertices u and v are ordered as u ≤ v exactly when there exists a directed path from u to v in the DAG; that is, when v is reachable from u.