Assertion: algorithm's set | /r/HasProperty | examined
Facets:
Source sentences:
text: It then repeatedly examines the closest not-yet-examined vertex, adding its vertices to the set of vertices to be examined.