Assertion: s t cut | /r/HasProperty | the set of vertices
Facets:
Source sentences:
text: Define an s-t cut to be the set of vertices and edges such that for any path from s to t, the path contains a member of the cut.