In reply to ben@SystemVerilog.us:
Thanks, Ben. The solution works good but I am looking for some means to achieve it without parallelizing the data. There seems to be no way to use sequence repetition and goto operator together. The construct I wanted to use was something like this, for which the compiler fires errors.
$rose(start) |-> not ( a[*4] [->2] )