Assertion: parallelogram's diagonal | /r/HasAspect | equal length
Facets:
Source sentences:
text: The two bimedians are perpendicular if and only if the two diagonals have equal length.