Assertion list
sting (aspect of ant ) → HasProperty
Results from Ascent++: 1
sting → HasProperty → painful 0.72