In reply to ben@SystemVerilog.us:
Remember that for a property with an antecedent to succeed, all threads of that antecedent must be evaluated; thus the need for a first match.
The above statement holds true only if there is a unbounded delay in the antecedant correct ?