Question of range delay operator Assertions

I have a scenario wait as soon as when a asserts b should asserted with 1 to 5 clock cycles of

Pseudo code
a |-> #[1:5] b

This will pass of first match of sequence how do I have make sure other conditions

Say


1 2 3 4 5 ——— clock cycles 
a a
      c c 

How do I have make sure this condition is holding true 

Thanks

In reply to tejasakulu:

See Assertion on req and gnt signals | Verification Academy
for unique Assertions where each attempt is concluded with its own Consequent.