Assertion list
resident alien (subgroup of foreigner ) → HasProperty

Results from Ascent++: 1
resident alienHasProperty taxable 0.68