Assertion: octagon's side | /r/HasProperty | sqrt[a^2 - a^2/4
Facets:
Source sentences:
text: Therefore, the third side must be sqrt[a^2 - a^2/4]