Assertion list
revolver (primary) → IsA
Results from Ascent++: 2
revolver → IsA → handgun 0.47
revolver → IsA → repeating handgun 0.30