Assertion: rectangle's area | /r/HasProperty | 2δ s t2
Facets:
Source sentences:
text: If the edge length of a regular octagon is t, then the span of the octagon (the distance between opposite sides) is δ S t, and the area of the octagon is 2δ S t2.