Assertion list
tail (aspect of pony ) → HasProperty
Results from Ascent++: 3
tail → HasProperty → black 0.68
tail → HasProperty → long 0.68
tail → HasProperty → white 0.25