Assertion list
trapezoid (primary) → HasProperty
Results from Ascent++: 2
trapezoid → HasProperty → parallel 0.40
trapezoid → HasProperty → more than the curved region 0.25