Assertion list for term "end at specified time".

Results from Ascent++: 1
auction CapableOfend at specified time 0.32