Assertion: icosahedron's face | /r/HasProperty | iujv
Facets:
Source sentences:
text: O'Z is perpendicular to IJ, and to the plane of the r.t. face, IUJV.