Assertion list
tail (aspect of bobcat ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → cut 0.34
tail → ReceivesAction → bobbed 0.25