Assertion list
travel ban (subgroup of ban ) → IsA
Results from Ascent++: 2
travel ban → IsA → on hold 0.25
travel ban → IsA → muslim ban 0.22