Assertion list
positron (primary) → IsA
Results from Ascent++: 2
positron → IsA → electron 0.77
positron → IsA → the antiparticle of the electron 0.52