Assertion list
area (aspect of rectangle ) → HasProperty
Results from Ascent++: 4
area → HasProperty → equal 0.62
area → HasProperty → proportional 0.56
area → HasProperty → congruent 0.43
area → HasProperty → zero 0.25