Assertion list for term "produce smaller output".

Results from Ascent++: 1
monopolist CapableOfproduce smaller output 0.16