Assertion: polyhedron's face | /r/HasProperty | merged with exterior face
Facets:
Source sentences:
text: The face we used for Step 2 was merged with the exterior face, so we now have F - 1 faces.