Assertion: graph's edge | /r/HasProperty | e − s.
Facets:
Source sentences:
text: set S, the edge set is E − S.