Assertion list
side (aspect of parallelogram ) → HasProperty
Results from Ascent++: 2
side → HasProperty → equal 0.84
side → HasProperty → proportional 0.40