What is your understanding of these 2 types of assertions?
What are your issues or concerns?
Once you do that, I can help in your understandings.
my understanding is as below:
-> Immediate assertion asserts at clock tick.
-> Concurrent assertion asserts at every clock edge. It can be asserted by using property.
-> Difference between both is "property" keyword.