SVA : Property is a tautology

[nimitz_class]

I have a situation wherein req comes @(posedge) of clk, but gnt comes at positive duty cycle

clk |-||-||-||-||-||-||-| …

req ___________|-------------------

gnt __________________|---------------

How to write an assertion for such a scenario?

Thanks