Assertion list
tail (aspect of fox ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → tipped with white 0.52
tail → ReceivesAction → removed 0.25