Assertion list for term "two perpendicular interior diagonals".
Results from Ascent++: 1
kite → HasA → two perpendicular interior diagonals 0.25