Logical Arrays

For the time being, logical arrays can only be given as a list. The formal syntax is:

logical-array ::= "{" logical-list "}"

logical-list  ::= logical-expr |
                  logical-list "," logical-expr

Example:

{true,true,a==b,false,x>y && y>z,true,false}