Assertion: graph's set | /r/HasProperty | a subset of the edge
Facets:
Source sentences:
text: V(G)$ , and whose edge set $E(S)$ is a subset of the edge set $E(G)$ , that is $E(S)