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