Assertion list
tail (aspect of copperhead ) → HasProperty
Results from Ascent++: 1
tail → HasProperty → black 0.68