Assertion: hexagon | /r/HasProperty | side a/2
Facets:
Source sentences:
text: so the largest hexagon that can fit into a square of length a is of side a/2.