Assertion list
data migration (subgroup of migration ) → CapableOf
Results from Ascent++: 1
data migration → CapableOf → move datum 0.25