Assertion list
kgb (primary) → HasA
Results from Ascent++: 1
kgb → HasA → more power 0.16