Assertion list for term "determined by the schedule override program".
Results from Ascent++: 1
time interval → ReceivesAction → determined by the schedule override program 0.25