Assertion list
tail (aspect of cat ) → HasA
Results from Ascent++: 2
tail → HasA → black tip 0.49
tail → HasA → black rings 0.25