% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
\begin{rail}
SelectAlternative :( [1] ( ( () | ( BooleanExpression COMMATK ) )
                           ( SendStatement | ReceiveStatement )
                         )
                   | [2] BooleanExpression
                   )
                   ( () | ( [3] COLONTK ( Statement + SEMICOLTK ) ) )
                  ;
\end{rail}