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