Assertion list for term "difficult to produce".

Results from Ascent++: 1
proof ReceivesActiondifficult to produce 0.38