Assertion: tetrahedron's vertex | /r/HasProperty | = 20 faces of icosahedron
Facets:
Source sentences:
text: 20 vertices of dodecahedron = 20 faces of icosahedron,