Assertion: octagon's diagonal | /r/HasAspect | equal length
Facets:
Source sentences:
text: The diagonals of a square bisect each other, have equal length, and are perpendicular.