Assertion list
qualified lead (subgroup of lead ) → ReceivesAction
Results from Ascent++: 1
qualified lead → ReceivesAction → generated 0.25