Assertion: icosahedron's side | /r/HasProperty | xh
Facets:
Source sentences:
text: HC = side of dodecahedron, so XH = (1/2)s.