Assertion list
lepton (primary) → IsA
Results from Ascent++: 2
lepton → IsA → fermion 0.72
lepton → IsA → elementary particles 0.42