Assertion list for term "formed with expected travel time".

Results from Ascent++: 1
beam ReceivesActionformed with expected travel time 0.25