Assertion list
pontoon (primary) → ReceivesAction
Results from Ascent++: 2
pontoon → ReceivesAction → lifted 0.31
pontoon → ReceivesAction → held in place 0.25