Assertion list
tail (aspect of wolf ) → ReceivesAction
Results from Ascent++: 3
tail → ReceivesAction → tucked 0.43
tail → ReceivesAction → held vertical 0.28
tail → ReceivesAction → held 0.25