Assertion list
stray (primary) → HasA
Results from Ascent++: 1
stray → HasA → their own bus 0.16