Assertion list
salt deduction (subgroup of deduction ) → ReceivesAction
Results from Ascent++: 1
salt deduction → ReceivesAction → eliminated 0.68