Assertion list
ultrasound scan (subgroup of scan ) → ReceivesAction

Results from Ascent++: 1
ultrasound scanReceivesAction performed 0.68