Property VS Sequence via Implicit first_match

SystemVerilog
,
2

In reply to hisingh:

I think what the author meant by “implicit first-match” is if a multi-thread sequence is at the consequent part, it is implicit first match.