Assertion list
rectangle (primary) → IsA
Results from Ascent++: 4
rectangle → IsA → four-sided shape 0.84
rectangle → IsA → parallelogram 0.67
rectangle → IsA → quadrilateral 0.54
rectangle → IsA → shape 0.25