Assertion list
venom (aspect of adder ) → HasProperty
Results from Ascent++: 1
venom → HasProperty → strong 0.68