Event stream abstraction using interval logic
