In reply to ben@SystemVerilog.us:
What about point number 2.
I mean if
example 1. a → reset ##1 b; Does reset return 1 if there is a transition from 0/x/z to 1?
example 2. a → $rose(reset) ##1 b; Here $rose(reset) returns 1 if there is a transition of LSB of reset from 0/x/z to 1.