Assertion list
number (aspect of triangle ) → HasA
Results from Ascent++: 2
number → HasA → drop 0.25
number → HasA → same ratio 0.25