Assertion list
trapezoid (primary) → IsA
Results from Ascent++: 1
trapezoid → IsA → quadrilateral 0.68