Assertion list
ban (primary) → IsA
Results from Ascent++: 2
ban → IsA → the most severe regulatory acti… 0.25
ban → IsA → never law 0.18