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