Assertion list
abstraction (primary) → DefinedAs
Results from Ascent++: 1
abstraction → DefinedAs → rectangle 0.25