Assertion list
right (aspect of immigrant ) → HasA
Results from Ascent++: 1
right → HasA → limit 0.25