Assertion: octagon's area | /r/HasProperty | 2 1 + root(2a2
Facets:
Source sentences:
text: The area for a regular octagon of side "a" is 2 (1 + root(2)) a2, where "root" isthe square root function.