Assertion list
muslim ban (subgroup of ban ) → ReceivesAction
Results from Ascent++: 1
muslim ban → ReceivesAction → implemented 0.25