Assertion list
high sensitivity (subgroup of sensitivity ) → ReceivesAction
Results from Ascent++: 1
high sensitivity → ReceivesAction → achieved 0.71