Assertion list
impact (aspect of migration ) → CapableOf
Results from Ascent++: 1
impact → CapableOf → prevent the migration of virtua… 0.25