Assertion list
sum (primary) → HasA
Results from Ascent++: 4
sum → HasA → priority 0.41
sum → HasA → two digits 0.34
sum → HasA → 100% 0.25
sum → HasA → same sign 0.25