Assertion list
tail (aspect of scorpion ) → HasA
Results from Ascent++: 1
tail → HasA → stinger 0.68