Assertion list
side (aspect of rhombus ) → HasProperty
Results from Ascent++: 2
side → HasProperty → equal 0.62
side → HasProperty → congruent 0.41