Assertion list
diagonal (aspect of parallelogram ) → HasProperty
Results from Ascent++: 4
diagonal → HasProperty → equal 0.63
diagonal → HasProperty → perpendicular 0.59
diagonal → HasProperty → congruent 0.34
diagonal → HasProperty → unequal 0.25