Assertion list
illegal immigrant (subgroup of immigrant ) → HasProperty

Results from Ascent++: 2
illegal immigrantHasProperty ineligible 0.41
illegal immigrantHasProperty bad 0.36