Assertion list
extreme caution (subgroup of caution ) → ReceivesAction
Results from Ascent++: 1
extreme caution → ReceivesAction → exercised 0.68