Assertion list
deduction (primary) → IsA
Results from Ascent++: 1
deduction → IsA → made the leave allowance thereu… 0.25