Assertion list
leg (aspect of crab ) → ReceivesAction
Results from Ascent++: 1
leg → ReceivesAction → separated 0.68