Assertion list
stinger (primary) → AtLocation
Results from Ascent++: 1
stinger → AtLocation → the end of the abdomen 0.25