Assertion list
area (aspect of parallelogram ) → HasProperty

Results from Ascent++: 2
areaHasProperty equal 0.68
areaHasProperty proportional 0.52