Assertion list for term "allowed higher than the high estimate".
Results from Ascent++: 1
reserve → ReceivesAction → allowed higher than the high estimate 0.09