// Write an Assertion for a signal abc is asserted for exactly one cycle basically a pulse, it should not generate another ABC until b is asserted or 10 cycles

 
  property p1 ();
    $rose(abc) |=> !abc until (b);
  endproperty

I am not able add delay after until. Ideally need something like !abc until b or ##10.