Assertion list for term "end the half".

Results from Ascent++: 2
run CapableOfend the half 0.58
duke CapableOfend the half 0.32