Assertion list
clarifying shampoo (subgroup of shampoo ) → HasProperty
Results from Ascent++: 1
clarifying shampoo → HasProperty → gentle 0.59