Assertion: graph's vertex | /r/HasProperty | unexplored
Facets:
Source sentences:
text: G.adjacentVertex(v, e) if vertex w is unexplored then label e as a discovered edge recursively call DFS(G, w)