Assertion: graph's node | /r/HasProperty | reachable
Facets:
value: from s
type: OTHER
Source sentences:
text: The output of the generic tree-growing algorithm typically consists of (a) marks on all the nodes that are reachable from s, and (b) for each such node