Assertion list for term "do at time".

Results from Ascent++: 1
temper CapableOfdo at time 0.34