Assertion: polyhedron's vertex | /r/HasProperty | resp
Facets:
Source sentences:
text: In the planar case, i.e., for a convex polygon, both facet and vertex enumeration problems amount to the ordering vertices (resp. edges) around the convex hull.