Assertion: graph's g | /r/MadeOf | longer path
Facets:
Source sentences:
text: It is a subgraph of G, formed by discarding the edges u → v for which G also contains a longer path connecting the same two vertices.