what is the significance of using the $rose statement with the goto operator [->1].
this is an answer from Ben for an older question
initial ap_a_once_ever: assert property(@ (posedge clk)
$rose(a) [->1] |=> strong(a[*1:$]) );
$rose means check for transition from 0 to 1, and a[->1] means !a[*0:$] ##1 a
seems like use of one or the other construct is sufficient to evaluate a changing from 0 to 1. so y need both?