Assertion list
absolute value (primary) → HasA
Results from Ascent++: 1
absolute value → HasA → minimum value 0.49