Assertion: octagon's area | /r/HasProperty | half of the base times height
Facets:
Source sentences:
text: Now, the area of a triangle is half of the base times height, so: