Assertion: graph's vertex | /r/HasProperty | e ⊆
Facets:
Source sentences:
text: A graph G can be defined as a pair (V,E), where V is a set of vertices, and E is a set of edges between the vertices E ⊆ {(u,v)