Assertion list for term "done in july".

Results from Ascent++: 1
pruning ReceivesActiondone in july 0.16