E: E '+' E | "[abc]";