Assertion list
internal migration (subgroup of migration ) → CapableOf
Results from Ascent++: 1
internal migration → CapableOf → refer to move 0.25