Assertion list for term "remain at halftime".

Results from Ascent++: 1
score CapableOfremain at halftime 0.39