Assertion list
diagonal (aspect of rhombus ) → HasProperty
Results from Ascent++: 3
diagonal → HasProperty → perpendicular 0.82
diagonal → HasProperty → congruent 0.42
diagonal → HasProperty → equal 0.25