Assertion: polyhedron's face | /r/HasProperty | the images of the faces of p
Facets:
Source sentences:
text: The faces of P ' are the images of the faces of P under Φ, and the dimension of P ' is defined to be the dimension of P.