Assertion: octagon's side | /r/HasProperty | square root of 29
Facets:
Source sentences:
text: I have used proof by exhaustion and got that all sides are square root of 29.