Assertion list for term "use the time difference".

Results from Ascent++: 1
receiver CapableOfuse the time difference 0.25