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