Assertion list
internal migration (subgroup of migration ) → IsA
Results from Ascent++: 1
internal migration → IsA → larger phenomenon 0.68