In reply to ben@SystemVerilog.us:
@ben: I don’t see a reason for the evaluation of concurrent assertions in a specific region as “Observed Region”
The evaluation of concurrent assertion could have been in any of “active region set”, right? Maybe the execution of pass_statement and fail_statement could be in Reactive region.