Assertion list
tail (aspect of bobcat ) → HasA
Results from Ascent++: 1
tail → HasA → black tip 0.25