Assertion list
fresh berry (subgroup of berry ) → ReceivesAction
Results from Ascent++: 1
fresh berry → ReceivesAction → washed 0.39