Assertion list
stabilizer bar (primary) → HasA
Results from Ascent++: 1
stabilizer bar → HasA → proximal end 0.68