Assertion list
gauss (primary) → HasA
Results from Ascent++: 2
gauss → HasA → exceptional influence 0.59
gauss → HasA → daughter 0.25