Assertion list
tail (aspect of hare ) → HasProperty
Results from Ascent++: 2
tail → HasProperty → white 0.84
tail → HasProperty → short 0.68