Assertion list for term "bigger deduction".

Results from Ascent++: 1
combination HasSubeventbigger deduction 0.19