Assertion list for term "arrive one or more nanoseconds".

Results from Ascent++: 1
pulse CapableOfarrive one or more nanoseconds 0.31