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