Assertion list
ion (primary) → IsA

Results from Ascent++: 2
ionIsA charged particle 0.48
ionIsA particle 0.45