Assertion: polyhedron's plane | /r/HasProperty | abc
Facets:
Source sentences:
text: P. Point P is projected downward to point Q, on the horizontal plane (not necessarily on polygon ABC).