Assertion list
length (aspect of beam ) → ReceivesAction
Results from Ascent++: 4
length → ReceivesAction → chosen 0.50
length → ReceivesAction → reduced 0.37
length → ReceivesAction → adjusted 0.25
length → ReceivesAction → cut 0.25