Assertion list
venom (aspect of stingray ) → HasProperty
Results from Ascent++: 1
venom → HasProperty → fatal 0.59