Assertion list
parallelogram (primary) → HasA

Results from Ascent++: 9
parallelogramHasA same base 0.64
parallelogramHasA same area 0.55
parallelogramHasA two pairs of parallel sides 0.47
parallelogramHasA four sides 0.39
parallelogramHasA a base of length 0.35
parallelogramHasA right angle 0.35
parallelogramHasA height 0.25
parallelogramHasA rotational symmetry of order 0.25
parallelogramHasA the greatest area 0.16