Assertion list
parallelogram (primary) → IsA
Results from Ascent++: 1
parallelogram → IsA → quadrilateral 0.78