Assertion list
migration (aspect of monarch ) → ReceivesAction

Results from Ascent++: 1
migrationReceivesAction completed 0.25