Assertion list for term "impose further reductions".

Results from Ascent++: 1
discretion CapableOfimpose further reductions 0.21