Assertion list for term "complete at a time t2".

Results from Ascent++: 1
transmission CapableOfcomplete at a time t2 0.25