Assertion list
angle (aspect of triangle ) → HasA
Results from Ascent++: 1
angle → HasA → same measure 0.56