Assertion list
proximity (primary) → HasA
Results from Ascent++: 1
proximity → HasA → impact 0.25