Assertion: dodecahedron's triangle | /r/HasProperty | abc
Facets:
Source sentences:
text: Drop a vertical line from the top vertex until it hits the plane of the upper pentagon; call the point where it hits C. Prove that the triangle ABC is congruent to the right triangle ABC.