Assertion: graph's vertex | /r/HasProperty | processed in this way
Facets:
Source sentences:
text: The algorithm terminates when all vertices have been processed in this way.