1? sequence_symbol
2 AIF
3+ ,
3 (logical_expression)sequence_symbol