[sv-ac] P1800-2009: precedence of sequence and/or over property and/or

*The following tables address precedence:
Table 16-3—Sequence and property operator precedence and associativity
Table 16-1—Operator precedence and associativity
However, I cannot find anywhere in the LRM where it states that the sequence
and, or operators have precedence over the property and , or.
For example, per the simulator tool that I use, I discovered that:
   a and b |-> c;  // is considered as
**  (a and b ) |-> c*;  and not as * *
*  (a) and (c|-> c); *
One could argue that in this example (a and b) is the antecedent because it
is viewed as a sequence.
But one can also argue that (b |-> c) is the consequent because it is a
property.
In any case, since the LRM is a document that specifies the language, it
needs to be precise.
BTW, I ran into this by accident because of my own misunderstanding of the
implied parentheses.
Am I all wet on this?
Ben Cohen

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