Assertion: graph's g | /r/HasProperty | finite set x of vertices
Facets:
value: with the property
type: OTHER
Source sentences:
text: G is defined to be a free end if there is a finite set X of vertices with the property that X separates E from all other ends of the graph.