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