Assertion: graph's vertex | /r/HasProperty | vertices 2
Facets:
Source sentences:
text: In the figure below, vertex 1, vertices 2 through 4, vertex 5, vertices 6 and 7, and vertices 8 through 11 are a modular partition.