[sv-ac] usage of .triggered on a sequence

Hi,
 
Currently LRM only has examples where .triggered property is checked for
its positive value. E.g.
 
wait (s0.triggered) or if (s0.triggered)
 
Is it allowed to check for the negative value of .triggered ? E.g.
 
wait (s0.triggered == 0) or  if (s0.triggered == 0)
 
It is clear in the LRM when the value of .triggered becomes 1 (in
Observe region) but there is no clarity on when it becomes 0 (i.e. in
which region ?).
 
If checking for value 0 is allowed, when should a wait statement should
unblock ?
 
Thanks.
Manisha

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