Assertion list
tail (aspect of sheep ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → docked 0.53
tail → ReceivesAction → docked without anesthetic 0.16