From: singh.pallav@gmail.com   
      
   Hi   
      
   we have a unary opeator ( not ) in system verilog assertion.   
   the associativity of operator not is undefined.   
      
   should user be allowed to write multiple not   
      
   not not not ( expr );   
   not not  ( expr );   
      
   Thanks   
   Pallav   
   [How does associativity matter here?  Those examples may be redundant, but   
   they're not ambiguous. -John]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)