Assertion list
tail (aspect of coyote ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → shaped with black tip 0.33
tail → ReceivesAction → tipped 0.25