Assertion list for term "leave two similar trapeziums".

Results from Ascent++: 1
parallelogram CapableOfleave two similar trapeziums 0.25