Assertion list
use value (subgroup of value ) → ReceivesAction
Results from Ascent++: 2
use value → ReceivesAction → produced 0.77
use value → ReceivesAction → concerned 0.25