Assertion list
muslim ban (subgroup of ban ) → HasProperty
Results from Ascent++: 1
muslim ban → HasProperty → unconstitutional 0.68