Assertion: icosahedron's side | /r/HasProperty | diagonals of pentagons
Facets:
Source sentences:
text: The sides of the equilateral triangles EHB and JGC are all diagonals of pentagons!