Assertion list
muon (primary) → IsA
Results from Ascent++: 3
muon → IsA → elementary particle 0.68
muon → IsA → subatomic particles 0.63
muon → IsA → lepton 0.35