Assertion list
angle (aspect of parallelogram ) → HasProperty
Results from Ascent++: 2
angle → HasProperty → equal 0.84
angle → HasProperty → right 0.25