Assertion: polygon's vertex | /r/HasProperty | desired visibility polygon
Facets:
Source sentences:
text: By the time the algorithm terminates, S {\displaystyle {\mathcal {S}}} will consist of all the visible vertices, i.e. the desired visibility polygon.