A small inconsistency in binding rules:
The following statement generates an EVOLUTION ERROR
(A B C)„¼3 A B C[2]EVOLUTION ERROR A B C[2] ^ ^
while the following equivalent statement does not:
1 2 3A B C1 1 2 3[2]2