Assertion list for term "close at specified time".

Results from Ascent++: 1
bidding CapableOfclose at specified time 0.56