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