In reply to naveensv:
Looks OK to me. You may want to qualify the consequent as “strong”. Ben systemverilog.us