Assertion list
wing (aspect of ant ) → ReceivesAction
Results from Ascent++: 1
wing → ReceivesAction → removed 0.68