In reply to Akhil Mehta:
https://verificationacademy.com/forums/systemverilog/overlapped-implication-and-nonoverlapped-imlplication