Assertion list
incoming cosmic ray (subgroup of cosmic ray ) → IsA
Results from Ascent++: 1
incoming cosmic ray → IsA → proton 0.83