Assertion list
trapezoid (primary) → HasA
Results from Ascent++: 1
trapezoid → HasA → four sides 0.49