Confusion regarding Failure of Assertion via "within" operator

SystemVerilog
,
3

In reply to ben@SystemVerilog.us:

I disagree. The action block of an assertion gets executed in the re-active region after the observed region where the assertion evaluates and fails.