Assertion list for term "substantial reductions".

Results from Ascent++: 1
efficiency HasSubeventsubstantial reductions 0.16