Assertion list
revolver (primary) → HasA
Results from Ascent++: 2
revolver → HasA → barrel 0.25
revolver → HasA → right elements 0.16