Assertion: graph's vertex | /r/HasProperty | a predecessor of u
Facets:
value: in a directed graph
type: LOCATION
Source sentences:
text: A vertex v adjacent to u is called a neighbor of u, and (in a directed graph) is a predecessor of u if (v,u) is an edge and a successor of u if (u,v) is an edge.