Assertion list for term "elapse before a shot event".

Results from Ascent++: 1
number (aspect of graph) CapableOfelapse before a shot event 0.25