Assertion list
randomness (primary) → HasA
Results from Ascent++: 1
randomness → HasA → positive role 0.25