Assertion list for term "reduce a number of conditions".

Results from Ascent++: 1
saffron CapableOfreduce a number of conditions 0.42