Help understanding this SVA syntax

In reply to ben@SystemVerilog.us:
My comments were updated, see above.
Ben