Assertion list
tail (aspect of horseshoe crab ) → ReceivesAction
Results from Ascent++: 1
tail → ReceivesAction → used to plow the crab 0.25