Assertion: octagon's area | /r/HasProperty | a $
Facets:
Source sentences:
text: The area of a regular octagon of side length $ a $ is given by