Assertion: graph's edge | /r/HasProperty | a → b
Facets:
Source sentences:
text: For example, the DAG with two edges a → b and b → c has the same reachability relation as the graph with three edges a → b, b → c, and a