Assertion: polyhedron's edge | /r/HasProperty | true vertices
Facets:
Source sentences:
text: If the concave part of an edge is false, its ends must coincide with ends of the true edges, which must thus be true vertices.