关于assertion如何书写一段区间来做范围表达式的问题

sages

如上图所示。现在想做如下的assertion：在任意两个如图中虚线（一根黄色，一根白色）所框住的区间内，其中白色那根虚线所表示的位置是第二行信号脉冲所在的位置，可能有些看不清楚。
我之前想表示这种区间是利用如下的代码：

1. sequence test;
   
2.   $fell(A) ## [1:$] $rose(B);
   
3. endsequence : test
   

复制代码

想做的assertion为，在第三行信号的脉冲必须发生在所标注的区间内。且每次这个脉冲都必须满足这个区间的限定要求。
之前的代码是如下书写：

1. property temp;
   
2.    @(posedge ckqread)
   
3.    $fell(A)  |-> ( ##[0:$] $rose(C) ) within (test);endproperty
   

复制代码

但是我发现，这样写之后，只会执行一次assertion，且执行位置在满足该assertion事件的最后一次发生的时刻。
想请问各位两个问题：
1、为什么会这样；
2、怎么书写相应要求的assertion