Assertion: graph's g | /r/HasProperty | edge-list e(g
Facets:
Source sentences:
text: Let G be a graph with vertex set V(G) and edge-list E(G).