[sv-bc] RE: &&&

(Changed subject line)

Looking at the BNF, I would interpret "top-level" to mean that if you
have something like a &&& b &&& c, then a, b, and c cannot themselves
contain sub-expressions containing &&&.

However, that does not seem to be described in the text.

 
> What is meant by the "top-level" of conditionals?

>   - it is only at the top-level of conditionals (if it was nested more
>     deeply, what would be the scope of the pattern variables?)

Shalom