E: E '+' E $binary_left 1 | "[abc]";