Assertion list
tail (aspect of baboon ) → HasProperty
Results from Ascent++: 2
tail → HasProperty → long 0.77
tail → HasProperty → short 0.22