How do I seertion for this condition?

In reply to ben@SystemVerilog.us:

Thanks