Assertion list
stampede (primary) → HasA
Results from Ascent++: 1
stampede → HasA → bold look 0.16