Assertion list
veto (primary) → IsA
Results from Ascent++: 1
veto → IsA → the power 0.50