Assertion list for term "left in the half".

Results from Ascent++: 2
run ReceivesActionleft in the half 0.37
lead ReceivesActionleft in the half 0.25