Assertion list
eye drop (subgroup of drop ) → HasProperty
Results from Ascent++: 2
eye drop → HasProperty → effective 0.39
eye drop → HasProperty → expensive 0.16