Assertion list
time interval (primary) → DefinedAs
Results from Ascent++: 1
time interval → DefinedAs → ending each time 0.56