断言中disable 用法

Question

如下两种描述有啥区别？
在仿真中，第一种可正常仿真
第二种仿真时，复位后3拍报错

propertyp1;
        @(posedge clk ) disable iff(rst_n==1'b0)    $fell(A) |=>B;
    endproperty:p1

propertyp2;
        @(posedge clk  iff(rst_n==1'b0) )      $fell(A) |=>B;
endproperty:p2