[sv-ac] question about 1729

Hi Ed:

Why does 1729 say that the action block for an immediate assert
or assume executes immediately while the action block for an 
immediate cover executes in the Reactive region?

Was this intentional?

J.H.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.