Assertion list
tail (aspect of beagle ) → ReceivesAction
Results from Ascent++: 3
tail → ReceivesAction → set high 0.68
tail → ReceivesAction → curved 0.36
tail → ReceivesAction → carried 0.16