Assertion list
tail (aspect of chameleon ) → HasProperty
Results from Ascent++: 2
tail → HasProperty → prehensile 0.68
tail → HasProperty → long 0.55