Assertion list
rabbi (primary) → IsA
Results from Ascent++: 1
rabbi → IsA → leader 0.45