Assertion list
venom (aspect of black mamba ) → HasProperty
Results from Ascent++: 1
venom → HasProperty → toxic 0.16