Assertion: kite's diagonal | /r/HasProperty | congruent
Facets:
Source sentences:
text: A trapezoid is isosceles if and only if the diagonals are congruent.