Assertion list for term "start the half".

Results from Ascent++: 1
run CapableOfstart the half 0.35