Assertion list
leg (aspect of trampoline ) → ReceivesAction
Results from Ascent++: 2
leg → ReceivesAction → removed 0.25
leg → ReceivesAction → tipped 0.25