Assertion list
bullet (primary) → IsA
Results from Ascent++: 2
bullet → IsA → the projectile 0.42
bullet → IsA → full metal jacket 0.25