Assertion list
side (aspect of rhombus ) → HasA
Results from Ascent++: 1
side → HasA → same length 0.84