Assertion list
tail (aspect of lion ) → HasProperty
Results from Ascent++: 4
tail → HasProperty → long 0.68
tail → HasProperty → black 0.39
tail → HasProperty → missing 0.25
tail → HasProperty → red 0.25