Assertion list
tail (aspect of bobcat ) → HasProperty
Results from Ascent++: 3
tail → HasProperty → black 0.73
tail → HasProperty → long 0.71
tail → HasProperty → short 0.68