Correct property to count an event until another event happens

In reply to ben@SystemVerilog.us: