In reply to Subbi Reddy:
If you need links to users’ questions on Assertions that I answered , I suggest that you do a Google search on
Verificationacademy.com cohen assertion property
Over the years I answered many questions on this forum, and other users also contributed.
You can also do a more generic search:
verificationacademy.com assertion property
There are also videos and other papers on the subject.
Ben