Assertion list
little salt (subgroup of salt ) → ReceivesAction
Results from Ascent++: 1
little salt → ReceivesAction → added 0.25