%token TAGC /* > */ %token DATA /* characters */ /* attribute values, ala TEI guidelines */ %token NUMBER /* [0-9]+ */ %token NAME /* [a-z][a-z0-9.-]* */ %token NMTOKEN /* [a-z0-9.-]+ */ %token LITERAL /* anything, in quotes */ %token START_a %token END_a %token ANAME_href %token ANAME_methods %token ANAME_name %token ANAME_rel %token ANAME_rev %token ANAME_title %token ANAME_urn %token START_address %token END_address %token START_b %token END_b %token START_base %token START_blockquote %token END_blockquote %token START_body %token END_body %token START_br %token START_cite %token END_cite %token START_code %token END_code %token START_dd %token END_dd %token START_dir %token END_dir %token ANAME_compact %token VNAME_compact %token START_dl %token END_dl %token START_dt %token END_dt %token START_em %token END_em %token START_form %token END_form %token ANAME_action %token ANAME_enctype %token ANAME_method %token VNAME_get %token VNAME_post %token START_h1 %token END_h1 %token START_h2 %token END_h2 %token START_h3 %token END_h3 %token START_h4 %token END_h4 %token START_h5 %token END_h5 %token START_h6 %token END_h6 %token START_head %token END_head %token START_hr %token START_html %token END_html %token START_i %token END_i %token START_img %token ANAME_align %token VNAME_top %token VNAME_middle %token VNAME_bottom %token ANAME_alt %token ANAME_ismap %token VNAME_ismap %token ANAME_src %token START_input %token ANAME_checked %token VNAME_checked %token ANAME_maxlength %token ANAME_size %token ANAME_type %token VNAME_text %token VNAME_password %token VNAME_checkbox %token VNAME_radio %token VNAME_submit %token VNAME_reset %token VNAME_image %token VNAME_hidden %token ANAME_value %token START_isindex %token START_kbd %token END_kbd %token START_li %token END_li %token START_link %token START_listing %token END_listing %token START_menu %token END_menu %token START_meta %token ANAME_content %token ANAME_http__equiv %token START_nextid %token ANAME_n %token START_ol %token END_ol %token START_option %token END_option %token ANAME_selected %token VNAME_selected %token START_p %token END_p %token START_plaintext %token END_plaintext %token START_pre %token END_pre %token ANAME_width %token START_samp %token END_samp %token START_select %token END_select %token ANAME_multiple %token VNAME_multiple %token START_strong %token END_strong %token START_textarea %token END_textarea %token ANAME_cols %token ANAME_rows %token START_title %token END_title %token START_tt %token END_tt %token START_ul %token END_ul %token START_var %token END_var %token START_xmp %token END_xmp %% elt_html : start_html content_html end_html; start_html : START_html TAGC | /* omitted start tag */ ; end_html : END_html | /* omitted end tag */ ; content_html : elt_head elt_body; elt_head : start_head content_head end_head; start_head : START_head TAGC | /* omitted start tag */ ; end_head : END_head | /* omitted end tag */ ; content_head : /* empty */ | content_head cont_head; /*@@assume repeated-or*/ cont_head : elt_title | elt_isindex | elt_base | elt_nextid | elt_meta | elt_link | DATA /* skip DATA in eltement content */ ; elt_title : start_title content_title end_title; start_title : START_title TAGC ; end_title : END_title ; content_title : /* empty */ | content_title cont_title; /*@@assume repeated-or*/ cont_title : data ; elt_isindex : start_isindex start_isindex : START_isindex TAGC ; elt_base : start_base attrs_base : | attrs_base attr_base_href /* REQUIRED */ ; attr_base_href : ANAME_href attrval_cdata; start_base : START_base attrs_base TAGC ; elt_nextid : start_nextid attrs_nextid : | attrs_nextid attr_nextid_n /* REQUIRED */ ; attr_nextid_n : ANAME_n attrval_cdata; start_nextid : START_nextid attrs_nextid TAGC ; elt_meta : start_meta attrs_meta : | attrs_meta attr_meta_content /* REQUIRED */ | attrs_meta attr_meta_http__equiv | attrs_meta attr_meta_name ; attr_meta_content : ANAME_content attrval_cdata; attr_meta_http__equiv : ANAME_http__equiv LITERAL /*@# check: */ ; attr_meta_name : ANAME_name attrval_name; start_meta : START_meta attrs_meta TAGC ; elt_link : start_link attrs_link : | attrs_link attr_link_href /* REQUIRED */ | attrs_link attr_link_methods | attrs_link attr_link_rel | attrs_link attr_link_rev | attrs_link attr_link_title | attrs_link attr_link_urn ; attr_link_href : ANAME_href attrval_cdata; attr_link_methods : ANAME_methods attrval_names; attr_link_rel : ANAME_rel attrval_name; attr_link_rev : ANAME_rev attrval_name; attr_link_title : ANAME_title attrval_cdata; attr_link_urn : ANAME_urn attrval_cdata; start_link : START_link attrs_link TAGC ; elt_body : start_body content_body end_body; start_body : START_body TAGC | /* omitted start tag */ ; end_body : END_body | /* omitted end tag */ ; content_body : /* empty */ | content_body cont_body; /*@@assume repeated-or*/ cont_body : elt_h1 | elt_h2 | elt_h3 | elt_h4 | elt_h5 | elt_h6 | data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i | elt_p | elt_ul | elt_ol | elt_dir | elt_menu | elt_dl | elt_pre | elt_xmp | elt_listing | elt_blockquote | elt_form | elt_isindex | elt_hr | elt_address ; elt_h1 : start_h1 content_h1 end_h1; start_h1 : START_h1 TAGC ; end_h1 : END_h1 ; content_h1 : /* empty */ | content_h1 cont_h1; /*@@assume repeated-or*/ cont_h1 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_a : start_a content_a end_a; attrs_a : | attrs_a attr_a_href | attrs_a attr_a_methods | attrs_a attr_a_name | attrs_a attr_a_rel | attrs_a attr_a_rev | attrs_a attr_a_title | attrs_a attr_a_urn ; attr_a_href : ANAME_href attrval_cdata; attr_a_methods : ANAME_methods attrval_names; attr_a_name : ANAME_name attrval_cdata; attr_a_rel : ANAME_rel attrval_name; attr_a_rev : ANAME_rev attrval_name; attr_a_title : ANAME_title attrval_cdata; attr_a_urn : ANAME_urn attrval_cdata; start_a : START_a attrs_a TAGC ; end_a : END_a ; content_a : /* empty */ | content_a cont_a; /*@@assume repeated-or*/ cont_a : elt_h1_a_ | elt_h2_a_ | elt_h3_a_ | elt_h4_a_ | elt_h5_a_ | elt_h6_a_ | data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h1_a_ : start_h1 content_h1_a_ end_h1; content_h1_a_ : /* empty */ | content_h1_a_ cont_h1_a_; /*@@assume repeated-or*/ cont_h1_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_img_a_ : start_img attrs_img : | attrs_img attr_img_align | attrs_img attr_img_alt | attrs_img attr_img_ismap | attrs_img attr_img_src /* REQUIRED */ ; attr_img_align : ANAME_align LITERAL /*@# check: top middle bottom*/ | ANAME_align VNAME_top | VNAME_top | ANAME_align VNAME_middle | VNAME_middle | ANAME_align VNAME_bottom | VNAME_bottom ; attr_img_alt : ANAME_alt attrval_cdata; attr_img_ismap : ANAME_ismap LITERAL /*@# check: ISMAP*/ | ANAME_ismap VNAME_ismap | VNAME_ismap ; attr_img_src : ANAME_src attrval_cdata; start_img : START_img attrs_img TAGC ; elt_br_a_ : start_br start_br : START_br TAGC ; elt_em_a_ : start_em content_em_a_ end_em; start_em : START_em TAGC ; end_em : END_em ; content_em_a_ : /* empty */ | content_em_a_ cont_em_a_; /*@@assume repeated-or*/ cont_em_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_strong_a_ : start_strong content_strong_a_ end_strong; start_strong : START_strong TAGC ; end_strong : END_strong ; content_strong_a_ : /* empty */ | content_strong_a_ cont_strong_a_; /*@@assume repeated-or*/ cont_strong_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_code_a_ : start_code content_code_a_ end_code; start_code : START_code TAGC ; end_code : END_code ; content_code_a_ : /* empty */ | content_code_a_ cont_code_a_; /*@@assume repeated-or*/ cont_code_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_samp_a_ : start_samp content_samp_a_ end_samp; start_samp : START_samp TAGC ; end_samp : END_samp ; content_samp_a_ : /* empty */ | content_samp_a_ cont_samp_a_; /*@@assume repeated-or*/ cont_samp_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_kbd_a_ : start_kbd content_kbd_a_ end_kbd; start_kbd : START_kbd TAGC ; end_kbd : END_kbd ; content_kbd_a_ : /* empty */ | content_kbd_a_ cont_kbd_a_; /*@@assume repeated-or*/ cont_kbd_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_var_a_ : start_var content_var_a_ end_var; start_var : START_var TAGC ; end_var : END_var ; content_var_a_ : /* empty */ | content_var_a_ cont_var_a_; /*@@assume repeated-or*/ cont_var_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_cite_a_ : start_cite content_cite_a_ end_cite; start_cite : START_cite TAGC ; end_cite : END_cite ; content_cite_a_ : /* empty */ | content_cite_a_ cont_cite_a_; /*@@assume repeated-or*/ cont_cite_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_tt_a_ : start_tt content_tt_a_ end_tt; start_tt : START_tt TAGC ; end_tt : END_tt ; content_tt_a_ : /* empty */ | content_tt_a_ cont_tt_a_; /*@@assume repeated-or*/ cont_tt_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_b_a_ : start_b content_b_a_ end_b; start_b : START_b TAGC ; end_b : END_b ; content_b_a_ : /* empty */ | content_b_a_ cont_b_a_; /*@@assume repeated-or*/ cont_b_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_i_a_ : start_i content_i_a_ end_i; start_i : START_i TAGC ; end_i : END_i ; content_i_a_ : /* empty */ | content_i_a_ cont_i_a_; /*@@assume repeated-or*/ cont_i_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h2_a_ : start_h2 content_h2_a_ end_h2; start_h2 : START_h2 TAGC ; end_h2 : END_h2 ; content_h2_a_ : /* empty */ | content_h2_a_ cont_h2_a_; /*@@assume repeated-or*/ cont_h2_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h3_a_ : start_h3 content_h3_a_ end_h3; start_h3 : START_h3 TAGC ; end_h3 : END_h3 ; content_h3_a_ : /* empty */ | content_h3_a_ cont_h3_a_; /*@@assume repeated-or*/ cont_h3_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h4_a_ : start_h4 content_h4_a_ end_h4; start_h4 : START_h4 TAGC ; end_h4 : END_h4 ; content_h4_a_ : /* empty */ | content_h4_a_ cont_h4_a_; /*@@assume repeated-or*/ cont_h4_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h5_a_ : start_h5 content_h5_a_ end_h5; start_h5 : START_h5 TAGC ; end_h5 : END_h5 ; content_h5_a_ : /* empty */ | content_h5_a_ cont_h5_a_; /*@@assume repeated-or*/ cont_h5_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_h6_a_ : start_h6 content_h6_a_ end_h6; start_h6 : START_h6 TAGC ; end_h6 : END_h6 ; content_h6_a_ : /* empty */ | content_h6_a_ cont_h6_a_; /*@@assume repeated-or*/ cont_h6_a_ : data | elt_img_a_ | elt_br_a_ | elt_em_a_ | elt_strong_a_ | elt_code_a_ | elt_samp_a_ | elt_kbd_a_ | elt_var_a_ | elt_cite_a_ | elt_tt_a_ | elt_b_a_ | elt_i_a_ ; elt_img : start_img elt_br : start_br elt_em : start_em content_em end_em; content_em : /* empty */ | content_em cont_em; /*@@assume repeated-or*/ cont_em : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_strong : start_strong content_strong end_strong; content_strong : /* empty */ | content_strong cont_strong; /*@@assume repeated-or*/ cont_strong : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_code : start_code content_code end_code; content_code : /* empty */ | content_code cont_code; /*@@assume repeated-or*/ cont_code : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_samp : start_samp content_samp end_samp; content_samp : /* empty */ | content_samp cont_samp; /*@@assume repeated-or*/ cont_samp : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_kbd : start_kbd content_kbd end_kbd; content_kbd : /* empty */ | content_kbd cont_kbd; /*@@assume repeated-or*/ cont_kbd : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_var : start_var content_var end_var; content_var : /* empty */ | content_var cont_var; /*@@assume repeated-or*/ cont_var : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_cite : start_cite content_cite end_cite; content_cite : /* empty */ | content_cite cont_cite; /*@@assume repeated-or*/ cont_cite : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_tt : start_tt content_tt end_tt; content_tt : /* empty */ | content_tt cont_tt; /*@@assume repeated-or*/ cont_tt : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_b : start_b content_b end_b; content_b : /* empty */ | content_b cont_b; /*@@assume repeated-or*/ cont_b : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_i : start_i content_i end_i; content_i : /* empty */ | content_i cont_i; /*@@assume repeated-or*/ cont_i : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_h2 : start_h2 content_h2 end_h2; content_h2 : /* empty */ | content_h2 cont_h2; /*@@assume repeated-or*/ cont_h2 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_h3 : start_h3 content_h3 end_h3; content_h3 : /* empty */ | content_h3 cont_h3; /*@@assume repeated-or*/ cont_h3 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_h4 : start_h4 content_h4 end_h4; content_h4 : /* empty */ | content_h4 cont_h4; /*@@assume repeated-or*/ cont_h4 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_h5 : start_h5 content_h5 end_h5; content_h5 : /* empty */ | content_h5 cont_h5; /*@@assume repeated-or*/ cont_h5 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_h6 : start_h6 content_h6 end_h6; content_h6 : /* empty */ | content_h6 cont_h6; /*@@assume repeated-or*/ cont_h6 : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_p : start_p content_p end_p; start_p : START_p TAGC ; end_p : END_p | /* omitted end tag */ ; content_p : /* empty */ | content_p cont_p; /*@@assume repeated-or*/ cont_p : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_ul : start_ul content_ul end_ul; attrs_ul : | attrs_ul attr_ul_compact ; attr_ul_compact : ANAME_compact LITERAL /*@# check: COMPACT*/ | ANAME_compact VNAME_compact | VNAME_compact ; start_ul : START_ul attrs_ul TAGC ; end_ul : END_ul ; content_ul : /* empty */ | content_ul cont_ul; /*@@assume repeated-or*/ cont_ul : elt_li | DATA /* skip DATA in eltement content */ ; elt_li : start_li content_li end_li; start_li : START_li TAGC ; end_li : END_li | /* omitted end tag */ ; content_li : /* empty */ | content_li cont_li; /*@@assume repeated-or*/ cont_li : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i | elt_p | elt_ul | elt_ol | elt_dir | elt_menu | elt_dl | elt_pre | elt_xmp | elt_listing | elt_blockquote | elt_form | elt_isindex ; elt_ol : start_ol content_ol end_ol; attrs_ol : | attrs_ol attr_ol_compact ; attr_ol_compact : ANAME_compact LITERAL /*@# check: COMPACT*/ | ANAME_compact VNAME_compact | VNAME_compact ; start_ol : START_ol attrs_ol TAGC ; end_ol : END_ol ; content_ol : /* empty */ | content_ol cont_ol; /*@@assume repeated-or*/ cont_ol : elt_li | DATA /* skip DATA in eltement content */ ; elt_dir : start_dir content_dir end_dir; attrs_dir : | attrs_dir attr_dir_compact ; attr_dir_compact : ANAME_compact LITERAL /*@# check: COMPACT*/ | ANAME_compact VNAME_compact | VNAME_compact ; start_dir : START_dir attrs_dir TAGC ; end_dir : END_dir ; content_dir : /* empty */ | content_dir cont_dir; /*@@assume repeated-or*/ cont_dir : elt_li_dir_ | DATA /* skip DATA in eltement content */ ; elt_li_dir_ : start_li content_li_dir_ end_li; content_li_dir_ : /* empty */ | content_li_dir_ cont_li_dir_; /*@@assume repeated-or*/ cont_li_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_a_dir_ : start_a content_a_dir_ end_a; content_a_dir_ : /* empty */ | content_a_dir_ cont_a_dir_; /*@@assume repeated-or*/ cont_a_dir_ : elt_h1_a__dir_ | elt_h2_a__dir_ | elt_h3_a__dir_ | elt_h4_a__dir_ | elt_h5_a__dir_ | elt_h6_a__dir_ | data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h1_a__dir_ : start_h1 content_h1_a__dir_ end_h1; content_h1_a__dir_ : /* empty */ | content_h1_a__dir_ cont_h1_a__dir_; /*@@assume repeated-or*/ cont_h1_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_img_a__dir_ : start_img elt_br_a__dir_ : start_br elt_em_a__dir_ : start_em content_em_a__dir_ end_em; content_em_a__dir_ : /* empty */ | content_em_a__dir_ cont_em_a__dir_; /*@@assume repeated-or*/ cont_em_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_strong_a__dir_ : start_strong content_strong_a__dir_ end_strong; content_strong_a__dir_ : /* empty */ | content_strong_a__dir_ cont_strong_a__dir_; /*@@assume repeated-or*/ cont_strong_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_code_a__dir_ : start_code content_code_a__dir_ end_code; content_code_a__dir_ : /* empty */ | content_code_a__dir_ cont_code_a__dir_; /*@@assume repeated-or*/ cont_code_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_samp_a__dir_ : start_samp content_samp_a__dir_ end_samp; content_samp_a__dir_ : /* empty */ | content_samp_a__dir_ cont_samp_a__dir_; /*@@assume repeated-or*/ cont_samp_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_kbd_a__dir_ : start_kbd content_kbd_a__dir_ end_kbd; content_kbd_a__dir_ : /* empty */ | content_kbd_a__dir_ cont_kbd_a__dir_; /*@@assume repeated-or*/ cont_kbd_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_var_a__dir_ : start_var content_var_a__dir_ end_var; content_var_a__dir_ : /* empty */ | content_var_a__dir_ cont_var_a__dir_; /*@@assume repeated-or*/ cont_var_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_cite_a__dir_ : start_cite content_cite_a__dir_ end_cite; content_cite_a__dir_ : /* empty */ | content_cite_a__dir_ cont_cite_a__dir_; /*@@assume repeated-or*/ cont_cite_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_tt_a__dir_ : start_tt content_tt_a__dir_ end_tt; content_tt_a__dir_ : /* empty */ | content_tt_a__dir_ cont_tt_a__dir_; /*@@assume repeated-or*/ cont_tt_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_b_a__dir_ : start_b content_b_a__dir_ end_b; content_b_a__dir_ : /* empty */ | content_b_a__dir_ cont_b_a__dir_; /*@@assume repeated-or*/ cont_b_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_i_a__dir_ : start_i content_i_a__dir_ end_i; content_i_a__dir_ : /* empty */ | content_i_a__dir_ cont_i_a__dir_; /*@@assume repeated-or*/ cont_i_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h2_a__dir_ : start_h2 content_h2_a__dir_ end_h2; content_h2_a__dir_ : /* empty */ | content_h2_a__dir_ cont_h2_a__dir_; /*@@assume repeated-or*/ cont_h2_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h3_a__dir_ : start_h3 content_h3_a__dir_ end_h3; content_h3_a__dir_ : /* empty */ | content_h3_a__dir_ cont_h3_a__dir_; /*@@assume repeated-or*/ cont_h3_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h4_a__dir_ : start_h4 content_h4_a__dir_ end_h4; content_h4_a__dir_ : /* empty */ | content_h4_a__dir_ cont_h4_a__dir_; /*@@assume repeated-or*/ cont_h4_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h5_a__dir_ : start_h5 content_h5_a__dir_ end_h5; content_h5_a__dir_ : /* empty */ | content_h5_a__dir_ cont_h5_a__dir_; /*@@assume repeated-or*/ cont_h5_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_h6_a__dir_ : start_h6 content_h6_a__dir_ end_h6; content_h6_a__dir_ : /* empty */ | content_h6_a__dir_ cont_h6_a__dir_; /*@@assume repeated-or*/ cont_h6_a__dir_ : data | elt_img_a__dir_ | elt_br_a__dir_ | elt_em_a__dir_ | elt_strong_a__dir_ | elt_code_a__dir_ | elt_samp_a__dir_ | elt_kbd_a__dir_ | elt_var_a__dir_ | elt_cite_a__dir_ | elt_tt_a__dir_ | elt_b_a__dir_ | elt_i_a__dir_ ; elt_img_dir_ : start_img elt_br_dir_ : start_br elt_em_dir_ : start_em content_em_dir_ end_em; content_em_dir_ : /* empty */ | content_em_dir_ cont_em_dir_; /*@@assume repeated-or*/ cont_em_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_strong_dir_ : start_strong content_strong_dir_ end_strong; content_strong_dir_ : /* empty */ | content_strong_dir_ cont_strong_dir_; /*@@assume repeated-or*/ cont_strong_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_code_dir_ : start_code content_code_dir_ end_code; content_code_dir_ : /* empty */ | content_code_dir_ cont_code_dir_; /*@@assume repeated-or*/ cont_code_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_samp_dir_ : start_samp content_samp_dir_ end_samp; content_samp_dir_ : /* empty */ | content_samp_dir_ cont_samp_dir_; /*@@assume repeated-or*/ cont_samp_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_kbd_dir_ : start_kbd content_kbd_dir_ end_kbd; content_kbd_dir_ : /* empty */ | content_kbd_dir_ cont_kbd_dir_; /*@@assume repeated-or*/ cont_kbd_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_var_dir_ : start_var content_var_dir_ end_var; content_var_dir_ : /* empty */ | content_var_dir_ cont_var_dir_; /*@@assume repeated-or*/ cont_var_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_cite_dir_ : start_cite content_cite_dir_ end_cite; content_cite_dir_ : /* empty */ | content_cite_dir_ cont_cite_dir_; /*@@assume repeated-or*/ cont_cite_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_tt_dir_ : start_tt content_tt_dir_ end_tt; content_tt_dir_ : /* empty */ | content_tt_dir_ cont_tt_dir_; /*@@assume repeated-or*/ cont_tt_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_b_dir_ : start_b content_b_dir_ end_b; content_b_dir_ : /* empty */ | content_b_dir_ cont_b_dir_; /*@@assume repeated-or*/ cont_b_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_i_dir_ : start_i content_i_dir_ end_i; content_i_dir_ : /* empty */ | content_i_dir_ cont_i_dir_; /*@@assume repeated-or*/ cont_i_dir_ : data | elt_a_dir_ | elt_img_dir_ | elt_br_dir_ | elt_em_dir_ | elt_strong_dir_ | elt_code_dir_ | elt_samp_dir_ | elt_kbd_dir_ | elt_var_dir_ | elt_cite_dir_ | elt_tt_dir_ | elt_b_dir_ | elt_i_dir_ ; elt_menu : start_menu content_menu end_menu; attrs_menu : | attrs_menu attr_menu_compact ; attr_menu_compact : ANAME_compact LITERAL /*@# check: COMPACT*/ | ANAME_compact VNAME_compact | VNAME_compact ; start_menu : START_menu attrs_menu TAGC ; end_menu : END_menu ; content_menu : /* empty */ | content_menu cont_menu; /*@@assume repeated-or*/ cont_menu : elt_li_menu_ | DATA /* skip DATA in eltement content */ ; elt_li_menu_ : start_li content_li_menu_ end_li; content_li_menu_ : /* empty */ | content_li_menu_ cont_li_menu_; /*@@assume repeated-or*/ cont_li_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_a_menu_ : start_a content_a_menu_ end_a; content_a_menu_ : /* empty */ | content_a_menu_ cont_a_menu_; /*@@assume repeated-or*/ cont_a_menu_ : elt_h1_a__menu_ | elt_h2_a__menu_ | elt_h3_a__menu_ | elt_h4_a__menu_ | elt_h5_a__menu_ | elt_h6_a__menu_ | data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h1_a__menu_ : start_h1 content_h1_a__menu_ end_h1; content_h1_a__menu_ : /* empty */ | content_h1_a__menu_ cont_h1_a__menu_; /*@@assume repeated-or*/ cont_h1_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_img_a__menu_ : start_img elt_br_a__menu_ : start_br elt_em_a__menu_ : start_em content_em_a__menu_ end_em; content_em_a__menu_ : /* empty */ | content_em_a__menu_ cont_em_a__menu_; /*@@assume repeated-or*/ cont_em_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_strong_a__menu_ : start_strong content_strong_a__menu_ end_strong; content_strong_a__menu_ : /* empty */ | content_strong_a__menu_ cont_strong_a__menu_; /*@@assume repeated-or*/ cont_strong_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_code_a__menu_ : start_code content_code_a__menu_ end_code; content_code_a__menu_ : /* empty */ | content_code_a__menu_ cont_code_a__menu_; /*@@assume repeated-or*/ cont_code_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_samp_a__menu_ : start_samp content_samp_a__menu_ end_samp; content_samp_a__menu_ : /* empty */ | content_samp_a__menu_ cont_samp_a__menu_; /*@@assume repeated-or*/ cont_samp_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_kbd_a__menu_ : start_kbd content_kbd_a__menu_ end_kbd; content_kbd_a__menu_ : /* empty */ | content_kbd_a__menu_ cont_kbd_a__menu_; /*@@assume repeated-or*/ cont_kbd_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_var_a__menu_ : start_var content_var_a__menu_ end_var; content_var_a__menu_ : /* empty */ | content_var_a__menu_ cont_var_a__menu_; /*@@assume repeated-or*/ cont_var_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_cite_a__menu_ : start_cite content_cite_a__menu_ end_cite; content_cite_a__menu_ : /* empty */ | content_cite_a__menu_ cont_cite_a__menu_; /*@@assume repeated-or*/ cont_cite_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_tt_a__menu_ : start_tt content_tt_a__menu_ end_tt; content_tt_a__menu_ : /* empty */ | content_tt_a__menu_ cont_tt_a__menu_; /*@@assume repeated-or*/ cont_tt_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_b_a__menu_ : start_b content_b_a__menu_ end_b; content_b_a__menu_ : /* empty */ | content_b_a__menu_ cont_b_a__menu_; /*@@assume repeated-or*/ cont_b_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_i_a__menu_ : start_i content_i_a__menu_ end_i; content_i_a__menu_ : /* empty */ | content_i_a__menu_ cont_i_a__menu_; /*@@assume repeated-or*/ cont_i_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h2_a__menu_ : start_h2 content_h2_a__menu_ end_h2; content_h2_a__menu_ : /* empty */ | content_h2_a__menu_ cont_h2_a__menu_; /*@@assume repeated-or*/ cont_h2_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h3_a__menu_ : start_h3 content_h3_a__menu_ end_h3; content_h3_a__menu_ : /* empty */ | content_h3_a__menu_ cont_h3_a__menu_; /*@@assume repeated-or*/ cont_h3_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h4_a__menu_ : start_h4 content_h4_a__menu_ end_h4; content_h4_a__menu_ : /* empty */ | content_h4_a__menu_ cont_h4_a__menu_; /*@@assume repeated-or*/ cont_h4_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h5_a__menu_ : start_h5 content_h5_a__menu_ end_h5; content_h5_a__menu_ : /* empty */ | content_h5_a__menu_ cont_h5_a__menu_; /*@@assume repeated-or*/ cont_h5_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_h6_a__menu_ : start_h6 content_h6_a__menu_ end_h6; content_h6_a__menu_ : /* empty */ | content_h6_a__menu_ cont_h6_a__menu_; /*@@assume repeated-or*/ cont_h6_a__menu_ : data | elt_img_a__menu_ | elt_br_a__menu_ | elt_em_a__menu_ | elt_strong_a__menu_ | elt_code_a__menu_ | elt_samp_a__menu_ | elt_kbd_a__menu_ | elt_var_a__menu_ | elt_cite_a__menu_ | elt_tt_a__menu_ | elt_b_a__menu_ | elt_i_a__menu_ ; elt_img_menu_ : start_img elt_br_menu_ : start_br elt_em_menu_ : start_em content_em_menu_ end_em; content_em_menu_ : /* empty */ | content_em_menu_ cont_em_menu_; /*@@assume repeated-or*/ cont_em_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_strong_menu_ : start_strong content_strong_menu_ end_strong; content_strong_menu_ : /* empty */ | content_strong_menu_ cont_strong_menu_; /*@@assume repeated-or*/ cont_strong_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_code_menu_ : start_code content_code_menu_ end_code; content_code_menu_ : /* empty */ | content_code_menu_ cont_code_menu_; /*@@assume repeated-or*/ cont_code_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_samp_menu_ : start_samp content_samp_menu_ end_samp; content_samp_menu_ : /* empty */ | content_samp_menu_ cont_samp_menu_; /*@@assume repeated-or*/ cont_samp_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_kbd_menu_ : start_kbd content_kbd_menu_ end_kbd; content_kbd_menu_ : /* empty */ | content_kbd_menu_ cont_kbd_menu_; /*@@assume repeated-or*/ cont_kbd_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_var_menu_ : start_var content_var_menu_ end_var; content_var_menu_ : /* empty */ | content_var_menu_ cont_var_menu_; /*@@assume repeated-or*/ cont_var_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_cite_menu_ : start_cite content_cite_menu_ end_cite; content_cite_menu_ : /* empty */ | content_cite_menu_ cont_cite_menu_; /*@@assume repeated-or*/ cont_cite_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_tt_menu_ : start_tt content_tt_menu_ end_tt; content_tt_menu_ : /* empty */ | content_tt_menu_ cont_tt_menu_; /*@@assume repeated-or*/ cont_tt_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_b_menu_ : start_b content_b_menu_ end_b; content_b_menu_ : /* empty */ | content_b_menu_ cont_b_menu_; /*@@assume repeated-or*/ cont_b_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_i_menu_ : start_i content_i_menu_ end_i; content_i_menu_ : /* empty */ | content_i_menu_ cont_i_menu_; /*@@assume repeated-or*/ cont_i_menu_ : data | elt_a_menu_ | elt_img_menu_ | elt_br_menu_ | elt_em_menu_ | elt_strong_menu_ | elt_code_menu_ | elt_samp_menu_ | elt_kbd_menu_ | elt_var_menu_ | elt_cite_menu_ | elt_tt_menu_ | elt_b_menu_ | elt_i_menu_ ; elt_dl : start_dl content_dl end_dl; attrs_dl : | attrs_dl attr_dl_compact ; attr_dl_compact : ANAME_compact LITERAL /*@# check: COMPACT*/ | ANAME_compact VNAME_compact | VNAME_compact ; start_dl : START_dl attrs_dl TAGC ; end_dl : END_dl ; content_dl : /* empty */ | content_dl cont_dl; /*@@assume repeated-or*/ cont_dl : elt_dt | elt_dd | DATA /* skip DATA in eltement content */ ; elt_dt : start_dt content_dt end_dt; start_dt : START_dt TAGC ; end_dt : END_dt | /* omitted end tag */ ; content_dt : /* empty */ | content_dt cont_dt; /*@@assume repeated-or*/ cont_dt : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i ; elt_dd : start_dd content_dd end_dd; start_dd : START_dd TAGC ; end_dd : END_dd | /* omitted end tag */ ; content_dd : /* empty */ | content_dd cont_dd; /*@@assume repeated-or*/ cont_dd : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i | elt_p | elt_ul | elt_ol | elt_dir | elt_menu | elt_dl | elt_pre | elt_xmp | elt_listing | elt_blockquote | elt_form | elt_isindex ; elt_pre : start_pre content_pre end_pre; attrs_pre : | attrs_pre attr_pre_width ; attr_pre_width : ANAME_width attrval_number; start_pre : START_pre attrs_pre TAGC ; end_pre : END_pre ; content_pre : /* empty */ | content_pre cont_pre; /*@@assume repeated-or*/ cont_pre : data | elt_a | elt_hr | elt_br | elt_tt | elt_b | elt_i | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite ; elt_hr : start_hr start_hr : START_hr TAGC ; elt_xmp : start_xmp content_xmp end_xmp; start_xmp : START_xmp TAGC ; end_xmp : END_xmp ; content_xmp : /* empty */ | content_xmp cont_xmp; /*@@assume repeated-or*/ cont_xmp : data ; elt_listing : start_listing content_listing end_listing; start_listing : START_listing TAGC ; end_listing : END_listing ; content_listing : /* empty */ | content_listing cont_listing; /*@@assume repeated-or*/ cont_listing : data ; elt_blockquote : start_blockquote content_blockquote end_blockquote; start_blockquote : START_blockquote TAGC ; end_blockquote : END_blockquote ; content_blockquote : /* empty */ | content_blockquote cont_blockquote; /*@@assume repeated-or*/ cont_blockquote : elt_h1 | elt_h2 | elt_h3 | elt_h4 | elt_h5 | elt_h6 | data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i | elt_p | elt_ul | elt_ol | elt_dir | elt_menu | elt_dl | elt_pre | elt_xmp | elt_listing | elt_blockquote | elt_form | elt_isindex | elt_hr | elt_address ; elt_form : start_form content_form end_form; attrs_form : | attrs_form attr_form_action | attrs_form attr_form_enctype | attrs_form attr_form_method ; attr_form_action : ANAME_action attrval_cdata; attr_form_enctype : ANAME_enctype attrval_cdata; attr_form_method : ANAME_method LITERAL /*@# check: GET POST*/ | ANAME_method VNAME_get | VNAME_get | ANAME_method VNAME_post | VNAME_post ; start_form : START_form attrs_form TAGC ; end_form : END_form ; content_form : /* empty */ | content_form cont_form; /*@@assume repeated-or*/ cont_form : elt_h1_form_ | elt_h2_form_ | elt_h3_form_ | elt_h4_form_ | elt_h5_form_ | elt_h6_form_ | data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_p_form_ | elt_ul_form_ | elt_ol_form_ | elt_dir_form_ | elt_menu_form_ | elt_dl_form_ | elt_pre_form_ | elt_xmp_form_ | elt_listing_form_ | elt_blockquote_form_ | elt_isindex_form_ | elt_hr_form_ | elt_address_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_h1_form_ : start_h1 content_h1_form_ end_h1; content_h1_form_ : /* empty */ | content_h1_form_ cont_h1_form_; /*@@assume repeated-or*/ cont_h1_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_a_form_ : start_a content_a_form_ end_a; content_a_form_ : /* empty */ | content_a_form_ cont_a_form_; /*@@assume repeated-or*/ cont_a_form_ : elt_h1_a__form_ | elt_h2_a__form_ | elt_h3_a__form_ | elt_h4_a__form_ | elt_h5_a__form_ | elt_h6_a__form_ | data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_h1_a__form_ : start_h1 content_h1_a__form_ end_h1; content_h1_a__form_ : /* empty */ | content_h1_a__form_ cont_h1_a__form_; /*@@assume repeated-or*/ cont_h1_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_img_a__form_ : start_img elt_br_a__form_ : start_br elt_em_a__form_ : start_em content_em_a__form_ end_em; content_em_a__form_ : /* empty */ | content_em_a__form_ cont_em_a__form_; /*@@assume repeated-or*/ cont_em_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_strong_a__form_ : start_strong content_strong_a__form_ end_strong; content_strong_a__form_ : /* empty */ | content_strong_a__form_ cont_strong_a__form_; /*@@assume repeated-or*/ cont_strong_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_code_a__form_ : start_code content_code_a__form_ end_code; content_code_a__form_ : /* empty */ | content_code_a__form_ cont_code_a__form_; /*@@assume repeated-or*/ cont_code_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_samp_a__form_ : start_samp content_samp_a__form_ end_samp; content_samp_a__form_ : /* empty */ | content_samp_a__form_ cont_samp_a__form_; /*@@assume repeated-or*/ cont_samp_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_kbd_a__form_ : start_kbd content_kbd_a__form_ end_kbd; content_kbd_a__form_ : /* empty */ | content_kbd_a__form_ cont_kbd_a__form_; /*@@assume repeated-or*/ cont_kbd_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_var_a__form_ : start_var content_var_a__form_ end_var; content_var_a__form_ : /* empty */ | content_var_a__form_ cont_var_a__form_; /*@@assume repeated-or*/ cont_var_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_cite_a__form_ : start_cite content_cite_a__form_ end_cite; content_cite_a__form_ : /* empty */ | content_cite_a__form_ cont_cite_a__form_; /*@@assume repeated-or*/ cont_cite_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_tt_a__form_ : start_tt content_tt_a__form_ end_tt; content_tt_a__form_ : /* empty */ | content_tt_a__form_ cont_tt_a__form_; /*@@assume repeated-or*/ cont_tt_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_b_a__form_ : start_b content_b_a__form_ end_b; content_b_a__form_ : /* empty */ | content_b_a__form_ cont_b_a__form_; /*@@assume repeated-or*/ cont_b_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_i_a__form_ : start_i content_i_a__form_ end_i; content_i_a__form_ : /* empty */ | content_i_a__form_ cont_i_a__form_; /*@@assume repeated-or*/ cont_i_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_input_a__form_ : start_input attrs_input : | attrs_input attr_input_align | attrs_input attr_input_checked | attrs_input attr_input_maxlength | attrs_input attr_input_name | attrs_input attr_input_size | attrs_input attr_input_src | attrs_input attr_input_type | attrs_input attr_input_value ; attr_input_align : ANAME_align LITERAL /*@# check: top middle bottom*/ | ANAME_align VNAME_top | VNAME_top | ANAME_align VNAME_middle | VNAME_middle | ANAME_align VNAME_bottom | VNAME_bottom ; attr_input_checked : ANAME_checked LITERAL /*@# check: CHECKED*/ | ANAME_checked VNAME_checked | VNAME_checked ; attr_input_maxlength : ANAME_maxlength attrval_number; attr_input_name : ANAME_name attrval_cdata; attr_input_size : ANAME_size attrval_cdata; attr_input_src : ANAME_src attrval_cdata; attr_input_type : ANAME_type LITERAL /*@# check: TEXT PASSWORD CHECKBOX RADIO SUBMIT RESET IMAGE HIDDEN*/ | ANAME_type VNAME_text | VNAME_text | ANAME_type VNAME_password | VNAME_password | ANAME_type VNAME_checkbox | VNAME_checkbox | ANAME_type VNAME_radio | VNAME_radio | ANAME_type VNAME_submit | VNAME_submit | ANAME_type VNAME_reset | VNAME_reset | ANAME_type VNAME_image | VNAME_image | ANAME_type VNAME_hidden | VNAME_hidden ; attr_input_value : ANAME_value attrval_cdata; start_input : START_input attrs_input TAGC ; elt_select_a__form_ : start_select content_select_a__form_ end_select; attrs_select : | attrs_select attr_select_multiple | attrs_select attr_select_name /* REQUIRED */ | attrs_select attr_select_size ; attr_select_multiple : ANAME_multiple LITERAL /*@# check: MULTIPLE*/ | ANAME_multiple VNAME_multiple | VNAME_multiple ; attr_select_name : ANAME_name attrval_cdata; attr_select_size : ANAME_size attrval_number; start_select : START_select attrs_select TAGC ; end_select : END_select ; content_select_a__form_ : /* empty */ | content_select_a__form_ cont_select_a__form_; /*@@assume repeated-or*/ cont_select_a__form_ : elt_option_select__a__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__a__form_ : start_option content_option_select__a__form_ end_option; attrs_option : | attrs_option attr_option_selected | attrs_option attr_option_value ; attr_option_selected : ANAME_selected LITERAL /*@# check: SELECTED*/ | ANAME_selected VNAME_selected | VNAME_selected ; attr_option_value : ANAME_value attrval_cdata; start_option : START_option attrs_option TAGC ; end_option : END_option | /* omitted end tag */ ; content_option_select__a__form_ : /* empty */ | content_option_select__a__form_ cont_option_select__a__form_; /*@@assume repeated-or*/ cont_option_select__a__form_ : data ; elt_textarea_a__form_ : start_textarea content_textarea_a__form_ end_textarea; attrs_textarea : | attrs_textarea attr_textarea_cols /* REQUIRED */ | attrs_textarea attr_textarea_name /* REQUIRED */ | attrs_textarea attr_textarea_rows /* REQUIRED */ ; attr_textarea_cols : ANAME_cols attrval_number; attr_textarea_name : ANAME_name attrval_cdata; attr_textarea_rows : ANAME_rows attrval_number; start_textarea : START_textarea attrs_textarea TAGC ; end_textarea : END_textarea ; content_textarea_a__form_ : /* empty */ | content_textarea_a__form_ cont_textarea_a__form_; /*@@assume repeated-or*/ cont_textarea_a__form_ : data ; elt_h2_a__form_ : start_h2 content_h2_a__form_ end_h2; content_h2_a__form_ : /* empty */ | content_h2_a__form_ cont_h2_a__form_; /*@@assume repeated-or*/ cont_h2_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_h3_a__form_ : start_h3 content_h3_a__form_ end_h3; content_h3_a__form_ : /* empty */ | content_h3_a__form_ cont_h3_a__form_; /*@@assume repeated-or*/ cont_h3_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_h4_a__form_ : start_h4 content_h4_a__form_ end_h4; content_h4_a__form_ : /* empty */ | content_h4_a__form_ cont_h4_a__form_; /*@@assume repeated-or*/ cont_h4_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_h5_a__form_ : start_h5 content_h5_a__form_ end_h5; content_h5_a__form_ : /* empty */ | content_h5_a__form_ cont_h5_a__form_; /*@@assume repeated-or*/ cont_h5_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_h6_a__form_ : start_h6 content_h6_a__form_ end_h6; content_h6_a__form_ : /* empty */ | content_h6_a__form_ cont_h6_a__form_; /*@@assume repeated-or*/ cont_h6_a__form_ : data | elt_img_a__form_ | elt_br_a__form_ | elt_em_a__form_ | elt_strong_a__form_ | elt_code_a__form_ | elt_samp_a__form_ | elt_kbd_a__form_ | elt_var_a__form_ | elt_cite_a__form_ | elt_tt_a__form_ | elt_b_a__form_ | elt_i_a__form_ | elt_input_a__form_ | elt_select_a__form_ | elt_textarea_a__form_ ; elt_img_form_ : start_img elt_br_form_ : start_br elt_em_form_ : start_em content_em_form_ end_em; content_em_form_ : /* empty */ | content_em_form_ cont_em_form_; /*@@assume repeated-or*/ cont_em_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_strong_form_ : start_strong content_strong_form_ end_strong; content_strong_form_ : /* empty */ | content_strong_form_ cont_strong_form_; /*@@assume repeated-or*/ cont_strong_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_code_form_ : start_code content_code_form_ end_code; content_code_form_ : /* empty */ | content_code_form_ cont_code_form_; /*@@assume repeated-or*/ cont_code_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_samp_form_ : start_samp content_samp_form_ end_samp; content_samp_form_ : /* empty */ | content_samp_form_ cont_samp_form_; /*@@assume repeated-or*/ cont_samp_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_kbd_form_ : start_kbd content_kbd_form_ end_kbd; content_kbd_form_ : /* empty */ | content_kbd_form_ cont_kbd_form_; /*@@assume repeated-or*/ cont_kbd_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_var_form_ : start_var content_var_form_ end_var; content_var_form_ : /* empty */ | content_var_form_ cont_var_form_; /*@@assume repeated-or*/ cont_var_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_cite_form_ : start_cite content_cite_form_ end_cite; content_cite_form_ : /* empty */ | content_cite_form_ cont_cite_form_; /*@@assume repeated-or*/ cont_cite_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_tt_form_ : start_tt content_tt_form_ end_tt; content_tt_form_ : /* empty */ | content_tt_form_ cont_tt_form_; /*@@assume repeated-or*/ cont_tt_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_b_form_ : start_b content_b_form_ end_b; content_b_form_ : /* empty */ | content_b_form_ cont_b_form_; /*@@assume repeated-or*/ cont_b_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_i_form_ : start_i content_i_form_ end_i; content_i_form_ : /* empty */ | content_i_form_ cont_i_form_; /*@@assume repeated-or*/ cont_i_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_input_form_ : start_input elt_select_form_ : start_select content_select_form_ end_select; content_select_form_ : /* empty */ | content_select_form_ cont_select_form_; /*@@assume repeated-or*/ cont_select_form_ : elt_option_select__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__form_ : start_option content_option_select__form_ end_option; content_option_select__form_ : /* empty */ | content_option_select__form_ cont_option_select__form_; /*@@assume repeated-or*/ cont_option_select__form_ : data ; elt_textarea_form_ : start_textarea content_textarea_form_ end_textarea; content_textarea_form_ : /* empty */ | content_textarea_form_ cont_textarea_form_; /*@@assume repeated-or*/ cont_textarea_form_ : data ; elt_h2_form_ : start_h2 content_h2_form_ end_h2; content_h2_form_ : /* empty */ | content_h2_form_ cont_h2_form_; /*@@assume repeated-or*/ cont_h2_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_h3_form_ : start_h3 content_h3_form_ end_h3; content_h3_form_ : /* empty */ | content_h3_form_ cont_h3_form_; /*@@assume repeated-or*/ cont_h3_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_h4_form_ : start_h4 content_h4_form_ end_h4; content_h4_form_ : /* empty */ | content_h4_form_ cont_h4_form_; /*@@assume repeated-or*/ cont_h4_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_h5_form_ : start_h5 content_h5_form_ end_h5; content_h5_form_ : /* empty */ | content_h5_form_ cont_h5_form_; /*@@assume repeated-or*/ cont_h5_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_h6_form_ : start_h6 content_h6_form_ end_h6; content_h6_form_ : /* empty */ | content_h6_form_ cont_h6_form_; /*@@assume repeated-or*/ cont_h6_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_p_form_ : start_p content_p_form_ end_p; content_p_form_ : /* empty */ | content_p_form_ cont_p_form_; /*@@assume repeated-or*/ cont_p_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_ul_form_ : start_ul content_ul_form_ end_ul; content_ul_form_ : /* empty */ | content_ul_form_ cont_ul_form_; /*@@assume repeated-or*/ cont_ul_form_ : elt_li_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ | DATA /* skip DATA in eltement content */ ; elt_li_form_ : start_li content_li_form_ end_li; content_li_form_ : /* empty */ | content_li_form_ cont_li_form_; /*@@assume repeated-or*/ cont_li_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_p_form_ | elt_ul_form_ | elt_ol_form_ | elt_dir_form_ | elt_menu_form_ | elt_dl_form_ | elt_pre_form_ | elt_xmp_form_ | elt_listing_form_ | elt_blockquote_form_ | elt_isindex_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_ol_form_ : start_ol content_ol_form_ end_ol; content_ol_form_ : /* empty */ | content_ol_form_ cont_ol_form_; /*@@assume repeated-or*/ cont_ol_form_ : elt_li_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ | DATA /* skip DATA in eltement content */ ; elt_dir_form_ : start_dir content_dir_form_ end_dir; content_dir_form_ : /* empty */ | content_dir_form_ cont_dir_form_; /*@@assume repeated-or*/ cont_dir_form_ : elt_li_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ | DATA /* skip DATA in eltement content */ ; elt_li_dir__form_ : start_li content_li_dir__form_ end_li; content_li_dir__form_ : /* empty */ | content_li_dir__form_ cont_li_dir__form_; /*@@assume repeated-or*/ cont_li_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_a_dir__form_ : start_a content_a_dir__form_ end_a; content_a_dir__form_ : /* empty */ | content_a_dir__form_ cont_a_dir__form_; /*@@assume repeated-or*/ cont_a_dir__form_ : elt_h1_a__dir__form_ | elt_h2_a__dir__form_ | elt_h3_a__dir__form_ | elt_h4_a__dir__form_ | elt_h5_a__dir__form_ | elt_h6_a__dir__form_ | data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_h1_a__dir__form_ : start_h1 content_h1_a__dir__form_ end_h1; content_h1_a__dir__form_ : /* empty */ | content_h1_a__dir__form_ cont_h1_a__dir__form_; /*@@assume repeated-or*/ cont_h1_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_img_a__dir__form_ : start_img elt_br_a__dir__form_ : start_br elt_em_a__dir__form_ : start_em content_em_a__dir__form_ end_em; content_em_a__dir__form_ : /* empty */ | content_em_a__dir__form_ cont_em_a__dir__form_; /*@@assume repeated-or*/ cont_em_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_strong_a__dir__form_ : start_strong content_strong_a__dir__form_ end_strong; content_strong_a__dir__form_ : /* empty */ | content_strong_a__dir__form_ cont_strong_a__dir__form_; /*@@assume repeated-or*/ cont_strong_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_code_a__dir__form_ : start_code content_code_a__dir__form_ end_code; content_code_a__dir__form_ : /* empty */ | content_code_a__dir__form_ cont_code_a__dir__form_; /*@@assume repeated-or*/ cont_code_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_samp_a__dir__form_ : start_samp content_samp_a__dir__form_ end_samp; content_samp_a__dir__form_ : /* empty */ | content_samp_a__dir__form_ cont_samp_a__dir__form_; /*@@assume repeated-or*/ cont_samp_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_kbd_a__dir__form_ : start_kbd content_kbd_a__dir__form_ end_kbd; content_kbd_a__dir__form_ : /* empty */ | content_kbd_a__dir__form_ cont_kbd_a__dir__form_; /*@@assume repeated-or*/ cont_kbd_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_var_a__dir__form_ : start_var content_var_a__dir__form_ end_var; content_var_a__dir__form_ : /* empty */ | content_var_a__dir__form_ cont_var_a__dir__form_; /*@@assume repeated-or*/ cont_var_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_cite_a__dir__form_ : start_cite content_cite_a__dir__form_ end_cite; content_cite_a__dir__form_ : /* empty */ | content_cite_a__dir__form_ cont_cite_a__dir__form_; /*@@assume repeated-or*/ cont_cite_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_tt_a__dir__form_ : start_tt content_tt_a__dir__form_ end_tt; content_tt_a__dir__form_ : /* empty */ | content_tt_a__dir__form_ cont_tt_a__dir__form_; /*@@assume repeated-or*/ cont_tt_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_b_a__dir__form_ : start_b content_b_a__dir__form_ end_b; content_b_a__dir__form_ : /* empty */ | content_b_a__dir__form_ cont_b_a__dir__form_; /*@@assume repeated-or*/ cont_b_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_i_a__dir__form_ : start_i content_i_a__dir__form_ end_i; content_i_a__dir__form_ : /* empty */ | content_i_a__dir__form_ cont_i_a__dir__form_; /*@@assume repeated-or*/ cont_i_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_input_a__dir__form_ : start_input elt_select_a__dir__form_ : start_select content_select_a__dir__form_ end_select; content_select_a__dir__form_ : /* empty */ | content_select_a__dir__form_ cont_select_a__dir__form_; /*@@assume repeated-or*/ cont_select_a__dir__form_ : elt_option_select__a__dir__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__a__dir__form_ : start_option content_option_select__a__dir__form_ end_option; content_option_select__a__dir__form_ : /* empty */ | content_option_select__a__dir__form_ cont_option_select__a__dir__form_; /*@@assume repeated-or*/ cont_option_select__a__dir__form_ : data ; elt_textarea_a__dir__form_ : start_textarea content_textarea_a__dir__form_ end_textarea; content_textarea_a__dir__form_ : /* empty */ | content_textarea_a__dir__form_ cont_textarea_a__dir__form_; /*@@assume repeated-or*/ cont_textarea_a__dir__form_ : data ; elt_h2_a__dir__form_ : start_h2 content_h2_a__dir__form_ end_h2; content_h2_a__dir__form_ : /* empty */ | content_h2_a__dir__form_ cont_h2_a__dir__form_; /*@@assume repeated-or*/ cont_h2_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_h3_a__dir__form_ : start_h3 content_h3_a__dir__form_ end_h3; content_h3_a__dir__form_ : /* empty */ | content_h3_a__dir__form_ cont_h3_a__dir__form_; /*@@assume repeated-or*/ cont_h3_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_h4_a__dir__form_ : start_h4 content_h4_a__dir__form_ end_h4; content_h4_a__dir__form_ : /* empty */ | content_h4_a__dir__form_ cont_h4_a__dir__form_; /*@@assume repeated-or*/ cont_h4_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_h5_a__dir__form_ : start_h5 content_h5_a__dir__form_ end_h5; content_h5_a__dir__form_ : /* empty */ | content_h5_a__dir__form_ cont_h5_a__dir__form_; /*@@assume repeated-or*/ cont_h5_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_h6_a__dir__form_ : start_h6 content_h6_a__dir__form_ end_h6; content_h6_a__dir__form_ : /* empty */ | content_h6_a__dir__form_ cont_h6_a__dir__form_; /*@@assume repeated-or*/ cont_h6_a__dir__form_ : data | elt_img_a__dir__form_ | elt_br_a__dir__form_ | elt_em_a__dir__form_ | elt_strong_a__dir__form_ | elt_code_a__dir__form_ | elt_samp_a__dir__form_ | elt_kbd_a__dir__form_ | elt_var_a__dir__form_ | elt_cite_a__dir__form_ | elt_tt_a__dir__form_ | elt_b_a__dir__form_ | elt_i_a__dir__form_ | elt_input_a__dir__form_ | elt_select_a__dir__form_ | elt_textarea_a__dir__form_ ; elt_img_dir__form_ : start_img elt_br_dir__form_ : start_br elt_em_dir__form_ : start_em content_em_dir__form_ end_em; content_em_dir__form_ : /* empty */ | content_em_dir__form_ cont_em_dir__form_; /*@@assume repeated-or*/ cont_em_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_strong_dir__form_ : start_strong content_strong_dir__form_ end_strong; content_strong_dir__form_ : /* empty */ | content_strong_dir__form_ cont_strong_dir__form_; /*@@assume repeated-or*/ cont_strong_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_code_dir__form_ : start_code content_code_dir__form_ end_code; content_code_dir__form_ : /* empty */ | content_code_dir__form_ cont_code_dir__form_; /*@@assume repeated-or*/ cont_code_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_samp_dir__form_ : start_samp content_samp_dir__form_ end_samp; content_samp_dir__form_ : /* empty */ | content_samp_dir__form_ cont_samp_dir__form_; /*@@assume repeated-or*/ cont_samp_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_kbd_dir__form_ : start_kbd content_kbd_dir__form_ end_kbd; content_kbd_dir__form_ : /* empty */ | content_kbd_dir__form_ cont_kbd_dir__form_; /*@@assume repeated-or*/ cont_kbd_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_var_dir__form_ : start_var content_var_dir__form_ end_var; content_var_dir__form_ : /* empty */ | content_var_dir__form_ cont_var_dir__form_; /*@@assume repeated-or*/ cont_var_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_cite_dir__form_ : start_cite content_cite_dir__form_ end_cite; content_cite_dir__form_ : /* empty */ | content_cite_dir__form_ cont_cite_dir__form_; /*@@assume repeated-or*/ cont_cite_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_tt_dir__form_ : start_tt content_tt_dir__form_ end_tt; content_tt_dir__form_ : /* empty */ | content_tt_dir__form_ cont_tt_dir__form_; /*@@assume repeated-or*/ cont_tt_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_b_dir__form_ : start_b content_b_dir__form_ end_b; content_b_dir__form_ : /* empty */ | content_b_dir__form_ cont_b_dir__form_; /*@@assume repeated-or*/ cont_b_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_i_dir__form_ : start_i content_i_dir__form_ end_i; content_i_dir__form_ : /* empty */ | content_i_dir__form_ cont_i_dir__form_; /*@@assume repeated-or*/ cont_i_dir__form_ : data | elt_a_dir__form_ | elt_img_dir__form_ | elt_br_dir__form_ | elt_em_dir__form_ | elt_strong_dir__form_ | elt_code_dir__form_ | elt_samp_dir__form_ | elt_kbd_dir__form_ | elt_var_dir__form_ | elt_cite_dir__form_ | elt_tt_dir__form_ | elt_b_dir__form_ | elt_i_dir__form_ | elt_input_dir__form_ | elt_select_dir__form_ | elt_textarea_dir__form_ ; elt_input_dir__form_ : start_input elt_select_dir__form_ : start_select content_select_dir__form_ end_select; content_select_dir__form_ : /* empty */ | content_select_dir__form_ cont_select_dir__form_; /*@@assume repeated-or*/ cont_select_dir__form_ : elt_option_select__dir__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__dir__form_ : start_option content_option_select__dir__form_ end_option; content_option_select__dir__form_ : /* empty */ | content_option_select__dir__form_ cont_option_select__dir__form_; /*@@assume repeated-or*/ cont_option_select__dir__form_ : data ; elt_textarea_dir__form_ : start_textarea content_textarea_dir__form_ end_textarea; content_textarea_dir__form_ : /* empty */ | content_textarea_dir__form_ cont_textarea_dir__form_; /*@@assume repeated-or*/ cont_textarea_dir__form_ : data ; elt_menu_form_ : start_menu content_menu_form_ end_menu; content_menu_form_ : /* empty */ | content_menu_form_ cont_menu_form_; /*@@assume repeated-or*/ cont_menu_form_ : elt_li_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ | DATA /* skip DATA in eltement content */ ; elt_li_menu__form_ : start_li content_li_menu__form_ end_li; content_li_menu__form_ : /* empty */ | content_li_menu__form_ cont_li_menu__form_; /*@@assume repeated-or*/ cont_li_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_a_menu__form_ : start_a content_a_menu__form_ end_a; content_a_menu__form_ : /* empty */ | content_a_menu__form_ cont_a_menu__form_; /*@@assume repeated-or*/ cont_a_menu__form_ : elt_h1_a__menu__form_ | elt_h2_a__menu__form_ | elt_h3_a__menu__form_ | elt_h4_a__menu__form_ | elt_h5_a__menu__form_ | elt_h6_a__menu__form_ | data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_h1_a__menu__form_ : start_h1 content_h1_a__menu__form_ end_h1; content_h1_a__menu__form_ : /* empty */ | content_h1_a__menu__form_ cont_h1_a__menu__form_; /*@@assume repeated-or*/ cont_h1_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_img_a__menu__form_ : start_img elt_br_a__menu__form_ : start_br elt_em_a__menu__form_ : start_em content_em_a__menu__form_ end_em; content_em_a__menu__form_ : /* empty */ | content_em_a__menu__form_ cont_em_a__menu__form_; /*@@assume repeated-or*/ cont_em_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_strong_a__menu__form_ : start_strong content_strong_a__menu__form_ end_strong; content_strong_a__menu__form_ : /* empty */ | content_strong_a__menu__form_ cont_strong_a__menu__form_; /*@@assume repeated-or*/ cont_strong_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_code_a__menu__form_ : start_code content_code_a__menu__form_ end_code; content_code_a__menu__form_ : /* empty */ | content_code_a__menu__form_ cont_code_a__menu__form_; /*@@assume repeated-or*/ cont_code_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_samp_a__menu__form_ : start_samp content_samp_a__menu__form_ end_samp; content_samp_a__menu__form_ : /* empty */ | content_samp_a__menu__form_ cont_samp_a__menu__form_; /*@@assume repeated-or*/ cont_samp_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_kbd_a__menu__form_ : start_kbd content_kbd_a__menu__form_ end_kbd; content_kbd_a__menu__form_ : /* empty */ | content_kbd_a__menu__form_ cont_kbd_a__menu__form_; /*@@assume repeated-or*/ cont_kbd_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_var_a__menu__form_ : start_var content_var_a__menu__form_ end_var; content_var_a__menu__form_ : /* empty */ | content_var_a__menu__form_ cont_var_a__menu__form_; /*@@assume repeated-or*/ cont_var_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_cite_a__menu__form_ : start_cite content_cite_a__menu__form_ end_cite; content_cite_a__menu__form_ : /* empty */ | content_cite_a__menu__form_ cont_cite_a__menu__form_; /*@@assume repeated-or*/ cont_cite_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_tt_a__menu__form_ : start_tt content_tt_a__menu__form_ end_tt; content_tt_a__menu__form_ : /* empty */ | content_tt_a__menu__form_ cont_tt_a__menu__form_; /*@@assume repeated-or*/ cont_tt_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_b_a__menu__form_ : start_b content_b_a__menu__form_ end_b; content_b_a__menu__form_ : /* empty */ | content_b_a__menu__form_ cont_b_a__menu__form_; /*@@assume repeated-or*/ cont_b_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_i_a__menu__form_ : start_i content_i_a__menu__form_ end_i; content_i_a__menu__form_ : /* empty */ | content_i_a__menu__form_ cont_i_a__menu__form_; /*@@assume repeated-or*/ cont_i_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_input_a__menu__form_ : start_input elt_select_a__menu__form_ : start_select content_select_a__menu__form_ end_select; content_select_a__menu__form_ : /* empty */ | content_select_a__menu__form_ cont_select_a__menu__form_; /*@@assume repeated-or*/ cont_select_a__menu__form_ : elt_option_select__a__menu__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__a__menu__form_ : start_option content_option_select__a__menu__form_ end_option; content_option_select__a__menu__form_ : /* empty */ | content_option_select__a__menu__form_ cont_option_select__a__menu__form_; /*@@assume repeated-or*/ cont_option_select__a__menu__form_ : data ; elt_textarea_a__menu__form_ : start_textarea content_textarea_a__menu__form_ end_textarea; content_textarea_a__menu__form_ : /* empty */ | content_textarea_a__menu__form_ cont_textarea_a__menu__form_; /*@@assume repeated-or*/ cont_textarea_a__menu__form_ : data ; elt_h2_a__menu__form_ : start_h2 content_h2_a__menu__form_ end_h2; content_h2_a__menu__form_ : /* empty */ | content_h2_a__menu__form_ cont_h2_a__menu__form_; /*@@assume repeated-or*/ cont_h2_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_h3_a__menu__form_ : start_h3 content_h3_a__menu__form_ end_h3; content_h3_a__menu__form_ : /* empty */ | content_h3_a__menu__form_ cont_h3_a__menu__form_; /*@@assume repeated-or*/ cont_h3_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_h4_a__menu__form_ : start_h4 content_h4_a__menu__form_ end_h4; content_h4_a__menu__form_ : /* empty */ | content_h4_a__menu__form_ cont_h4_a__menu__form_; /*@@assume repeated-or*/ cont_h4_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_h5_a__menu__form_ : start_h5 content_h5_a__menu__form_ end_h5; content_h5_a__menu__form_ : /* empty */ | content_h5_a__menu__form_ cont_h5_a__menu__form_; /*@@assume repeated-or*/ cont_h5_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_h6_a__menu__form_ : start_h6 content_h6_a__menu__form_ end_h6; content_h6_a__menu__form_ : /* empty */ | content_h6_a__menu__form_ cont_h6_a__menu__form_; /*@@assume repeated-or*/ cont_h6_a__menu__form_ : data | elt_img_a__menu__form_ | elt_br_a__menu__form_ | elt_em_a__menu__form_ | elt_strong_a__menu__form_ | elt_code_a__menu__form_ | elt_samp_a__menu__form_ | elt_kbd_a__menu__form_ | elt_var_a__menu__form_ | elt_cite_a__menu__form_ | elt_tt_a__menu__form_ | elt_b_a__menu__form_ | elt_i_a__menu__form_ | elt_input_a__menu__form_ | elt_select_a__menu__form_ | elt_textarea_a__menu__form_ ; elt_img_menu__form_ : start_img elt_br_menu__form_ : start_br elt_em_menu__form_ : start_em content_em_menu__form_ end_em; content_em_menu__form_ : /* empty */ | content_em_menu__form_ cont_em_menu__form_; /*@@assume repeated-or*/ cont_em_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_strong_menu__form_ : start_strong content_strong_menu__form_ end_strong; content_strong_menu__form_ : /* empty */ | content_strong_menu__form_ cont_strong_menu__form_; /*@@assume repeated-or*/ cont_strong_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_code_menu__form_ : start_code content_code_menu__form_ end_code; content_code_menu__form_ : /* empty */ | content_code_menu__form_ cont_code_menu__form_; /*@@assume repeated-or*/ cont_code_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_samp_menu__form_ : start_samp content_samp_menu__form_ end_samp; content_samp_menu__form_ : /* empty */ | content_samp_menu__form_ cont_samp_menu__form_; /*@@assume repeated-or*/ cont_samp_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_kbd_menu__form_ : start_kbd content_kbd_menu__form_ end_kbd; content_kbd_menu__form_ : /* empty */ | content_kbd_menu__form_ cont_kbd_menu__form_; /*@@assume repeated-or*/ cont_kbd_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_var_menu__form_ : start_var content_var_menu__form_ end_var; content_var_menu__form_ : /* empty */ | content_var_menu__form_ cont_var_menu__form_; /*@@assume repeated-or*/ cont_var_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_cite_menu__form_ : start_cite content_cite_menu__form_ end_cite; content_cite_menu__form_ : /* empty */ | content_cite_menu__form_ cont_cite_menu__form_; /*@@assume repeated-or*/ cont_cite_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_tt_menu__form_ : start_tt content_tt_menu__form_ end_tt; content_tt_menu__form_ : /* empty */ | content_tt_menu__form_ cont_tt_menu__form_; /*@@assume repeated-or*/ cont_tt_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_b_menu__form_ : start_b content_b_menu__form_ end_b; content_b_menu__form_ : /* empty */ | content_b_menu__form_ cont_b_menu__form_; /*@@assume repeated-or*/ cont_b_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_i_menu__form_ : start_i content_i_menu__form_ end_i; content_i_menu__form_ : /* empty */ | content_i_menu__form_ cont_i_menu__form_; /*@@assume repeated-or*/ cont_i_menu__form_ : data | elt_a_menu__form_ | elt_img_menu__form_ | elt_br_menu__form_ | elt_em_menu__form_ | elt_strong_menu__form_ | elt_code_menu__form_ | elt_samp_menu__form_ | elt_kbd_menu__form_ | elt_var_menu__form_ | elt_cite_menu__form_ | elt_tt_menu__form_ | elt_b_menu__form_ | elt_i_menu__form_ | elt_input_menu__form_ | elt_select_menu__form_ | elt_textarea_menu__form_ ; elt_input_menu__form_ : start_input elt_select_menu__form_ : start_select content_select_menu__form_ end_select; content_select_menu__form_ : /* empty */ | content_select_menu__form_ cont_select_menu__form_; /*@@assume repeated-or*/ cont_select_menu__form_ : elt_option_select__menu__form_ | DATA /* skip DATA in eltement content */ ; elt_option_select__menu__form_ : start_option content_option_select__menu__form_ end_option; content_option_select__menu__form_ : /* empty */ | content_option_select__menu__form_ cont_option_select__menu__form_; /*@@assume repeated-or*/ cont_option_select__menu__form_ : data ; elt_textarea_menu__form_ : start_textarea content_textarea_menu__form_ end_textarea; content_textarea_menu__form_ : /* empty */ | content_textarea_menu__form_ cont_textarea_menu__form_; /*@@assume repeated-or*/ cont_textarea_menu__form_ : data ; elt_dl_form_ : start_dl content_dl_form_ end_dl; content_dl_form_ : /* empty */ | content_dl_form_ cont_dl_form_; /*@@assume repeated-or*/ cont_dl_form_ : elt_dt_form_ | elt_dd_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ | DATA /* skip DATA in eltement content */ ; elt_dt_form_ : start_dt content_dt_form_ end_dt; content_dt_form_ : /* empty */ | content_dt_form_ cont_dt_form_; /*@@assume repeated-or*/ cont_dt_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_dd_form_ : start_dd content_dd_form_ end_dd; content_dd_form_ : /* empty */ | content_dd_form_ cont_dd_form_; /*@@assume repeated-or*/ cont_dd_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_p_form_ | elt_ul_form_ | elt_ol_form_ | elt_dir_form_ | elt_menu_form_ | elt_dl_form_ | elt_pre_form_ | elt_xmp_form_ | elt_listing_form_ | elt_blockquote_form_ | elt_isindex_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_pre_form_ : start_pre content_pre_form_ end_pre; content_pre_form_ : /* empty */ | content_pre_form_ cont_pre_form_; /*@@assume repeated-or*/ cont_pre_form_ : data | elt_a_form_ | elt_hr_form_ | elt_br_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_hr_form_ : start_hr elt_xmp_form_ : start_xmp content_xmp_form_ end_xmp; content_xmp_form_ : /* empty */ | content_xmp_form_ cont_xmp_form_; /*@@assume repeated-or*/ cont_xmp_form_ : data ; elt_listing_form_ : start_listing content_listing_form_ end_listing; content_listing_form_ : /* empty */ | content_listing_form_ cont_listing_form_; /*@@assume repeated-or*/ cont_listing_form_ : data ; elt_blockquote_form_ : start_blockquote content_blockquote_form_ end_blockquote; content_blockquote_form_ : /* empty */ | content_blockquote_form_ cont_blockquote_form_; /*@@assume repeated-or*/ cont_blockquote_form_ : elt_h1_form_ | elt_h2_form_ | elt_h3_form_ | elt_h4_form_ | elt_h5_form_ | elt_h6_form_ | data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_p_form_ | elt_ul_form_ | elt_ol_form_ | elt_dir_form_ | elt_menu_form_ | elt_dl_form_ | elt_pre_form_ | elt_xmp_form_ | elt_listing_form_ | elt_blockquote_form_ | elt_isindex_form_ | elt_hr_form_ | elt_address_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_isindex_form_ : start_isindex elt_address_form_ : start_address content_address_form_ end_address; start_address : START_address TAGC ; end_address : END_address ; content_address_form_ : /* empty */ | content_address_form_ cont_address_form_; /*@@assume repeated-or*/ cont_address_form_ : data | elt_a_form_ | elt_img_form_ | elt_br_form_ | elt_em_form_ | elt_strong_form_ | elt_code_form_ | elt_samp_form_ | elt_kbd_form_ | elt_var_form_ | elt_cite_form_ | elt_tt_form_ | elt_b_form_ | elt_i_form_ | elt_p_form_ | elt_input_form_ | elt_select_form_ | elt_textarea_form_ ; elt_address : start_address content_address end_address; content_address : /* empty */ | content_address cont_address; /*@@assume repeated-or*/ cont_address : data | elt_a | elt_img | elt_br | elt_em | elt_strong | elt_code | elt_samp | elt_kbd | elt_var | elt_cite | elt_tt | elt_b | elt_i | elt_p ; elt_plaintext : start_plaintext content_plaintext end_plaintext; start_plaintext : START_plaintext TAGC ; end_plaintext : END_plaintext | /* omitted end tag */ ; content_plaintext : /* empty */ | content_plaintext cont_plaintext; /*@@assume repeated-or*/ cont_plaintext : data ; data : DATA | data DATA ; attrval_cdata : LITERAL | NMTOKEN | NAME | NUMBER ; attrval_number : NUMBER | LITERAL /* @# check quoted stuff for NUMBER syntax */ ; attrval_numbers : NUMBER | LITERAL /* @# check quoted stuff for NUMBERS syntax */ ; attrval_name : NAME | LITERAL /* @# check quoted stuff for NAME syntax */ ; attrval_id : NAME | LITERAL /* @# check quoted stuff for NAME syntax; check uniqueness */ ; attrval_names : NAME | LITERAL /* @# check quoted stuff for NAMES syntax */ ;