1 WHERE_construct_statement 2+ 2? where_body_construct 3+ 3? masked_ELSEWHERE_block 4+ 4? ELSEWHERE_block 5 END_WHERE_statement