Assertion list
dog shampoo (subgroup of shampoo ) → ReceivesAction
Results from Ascent++: 1
dog shampoo → ReceivesAction → balanced 0.59