Assertion list
mri scan (subgroup of scan ) → ReceivesAction

Results from Ascent++: 1
mri scanReceivesAction performed 0.72