弱问，关于断言的问题

InterTJU

编写一个断言，比如
property p1;
@(posedge clk) a |-> ##20 b;
endproperty

a1:assert property(p1);

在QuestaSim里运行这个断言，假设a、b一直都设为高。为什么断言的第一次成功（向上箭头）会出现在第21个时钟上升沿呢？