Assertion list
frozen berry (subgroup of berry ) → ReceivesAction
Results from Ascent++: 1
frozen berry → ReceivesAction → thawed 0.38