0 $accept : %entry% $end 1 relation : relation0 2 relation_nl : relation0nl 3 relation0 : relation05 4 | relation0nl PLUS relation05 5 | relation0nl MOINS relation05 6 relation0nl : relation05nl 7 | relation0nl PLUS relation05nl 8 | relation0nl MOINS relation05nl 9 relation05 : relation1 10 | relation05nl PLUSPLUS relation1 11 relation05nl : relation1nl 12 | relation05nl PLUSPLUS relation1nl 13 relation1 : relation2 14 | relation1nl INTER relation2 15 relation1nl : relation2nl 16 | relation1nl INTER relation2nl 17 relation2 : relation3 18 | relation2nl FLECHE relation3 19 relation2nl : relation3nl 20 | relation2nl FLECHE relation3nl 21 relation3 : relation4 22 | relation3nl CROCHETG relation CROCHETD 23 relation3nl : relation4nl 24 | relation3nl CROCHETG relation CROCHETD 25 relation4 : relation5 26 | relation4nl RESTD relation5 27 relation4nl : relation5nl 28 | relation4nl RESTD relation5nl 29 relation5 : relation6 30 | relation5nl RESTG relation6 31 relation5nl : relation6nl 32 | relation5nl RESTG relation6nl 33 relation6 : relation7 34 | relation6nl POINT relation7 35 relation6nl : relation7nl 36 | relation6nl POINT relation7nl 37 relation7 : relation8 38 | TILDE relation7 39 relation7nl : relation8nl 40 | TILDE relation7nl 41 relation8 : PARG relation PARD 42 | IDENT arg_seq2 43 | IDENT 44 | UNIV 45 | IDEN 46 | NONE 47 | affectation BARRE relation 48 | IF formule THEN relation ELSE relation 49 | error 50 relation8nl : PARG relation PARD 51 | IDENT arg_seq2 52 | IDENT 53 | UNIV 54 | IDEN 55 | NONE 56 | error 57 affectation : LET affectation_liste 58 affectation_liste : affectation_element 59 | affectation_element VIRGULE affectation_liste 60 | error 61 affectation_element : IDENT EQ relation 62 formule : formule0 63 formule0 : formule1 64 | formule_disjonction 65 formule0nl : formule1nl 66 | formule_disjonction_nl 67 formule_disjonction_nl : formule1nl OR formule1nl 68 | formule1nl OR formule_disjonction_nl 69 formule_disjonction : formule1nl OR formule1 70 | formule1nl OR formule_disjonction 71 formule1 : formule2 72 | formule2nl IMPLIES formule1 73 formule1nl : formule2nl 74 | formule2nl IMPLIES formule1nl 75 els : ELSE 76 | VIRGULE 77 formule2 : formule3 78 | formule_conjonction 79 formule2nl : formule3nl 80 | formule_conjonction_nl 81 formule_conjonction : formule3nl AND formule3 82 | formule3nl AND formule_conjonction 83 formule_conjonction_nl : formule3nl AND formule3nl 84 | formule3nl AND formule_conjonction_nl 85 formule3 : formule4 86 | NOT formule3 87 formule3nl : formule4nl 88 | NOT formule3nl 89 formule4 : PARG formule PARD 90 | formule_seq 91 | IDENT arg_seq 92 | SOME relation 93 | NO relation 94 | LONE relation 95 | ONE relation 96 | relation_nl IN relation 97 | relation_nl EQ relation 98 | ALL varlist_quant formule_corps 99 | SOME varlist_quant formule_corps 100 | NO varlist_quant formule_corps 101 | affectation formule_corps 102 formule4nl : PARG formule PARD 103 | formule_seq 104 | IDENT arg_seq 105 | SOME relation_nl 106 | NO relation_nl 107 | LONE relation_nl 108 | ONE relation_nl 109 | relation_nl IN relation_nl 110 | relation_nl EQ relation_nl 111 formule_corps : BARRE formule 112 | formule_seq 113 formule_seq : ACCG formule_liste ACCD 114 formule_liste : 115 | formule formule_liste 116 varlist_quant : varlist_quant0 117 varlist_quant0 : IDENT DP relation 118 | IDENT DP relation VIRGULE varlist_quant0 119 | IDENT VIRGULE varlist_quant0 120 arg_seq : PARG PARD 121 | PARG arg_liste PARD 122 arg_seq2 : LT GT 123 | LT arg_liste GT 124 arg_liste : relation 125 | relation VIRGULE arg_liste 126 param_seq : PARG PARD 127 | PARG param_liste PARD 128 param_liste : param 129 | param VIRGULE param_liste 130 | IDENT VIRGULE param_liste 131 param : IDENT DP IDENT 132 | IDENT DP SET IDENT 133 | IDENT DP typefleche 134 typefleche : IDENT FLECHE IDENT 135 | IDENT FLECHE typefleche 136 reldef_seq : ACCG reldef_liste ACCD 137 reldef_liste : 138 | reldef 139 | IDENT VIRGULE reldef_liste 140 | reldef VIRGULE reldef_liste 141 reldef : IDENT DP IDENT 142 | IDENT DP SET IDENT 143 | IDENT DP typefleche 144 chemin : IDENT DIV chemin 145 | IDENT 146 instruction : sigdecl IDENT reldef_seq 147 | sigdecl IDENT EXTENDS IDENT reldef_seq 148 | sigdecl IDENT IN relation reldef_seq 149 | PRED IDENT param_seq formule_seq 150 | FUN IDENT param_seq DP set relation ACCG relation ACCD 151 | FACT formule_seq 152 | FACT IDENT formule_seq 153 | ASSERT IDENT formule_seq 154 | check 155 | OPEN chemin 156 | error 157 sigdecl : SIG 158 | ABSTRACT SIG 159 | ONE SIG 160 set : 161 | SET 162 check_mot : CHECK 163 | RUN 164 check : check_mot IDENT 165 | check_mot IDENT FOR scope 166 | check_mot IDENT FOR scope EXPECTS INT 167 scope : INT 168 | INT BUT scope_precis 169 | scope_precis 170 scope_precis : scope_precis_elem 171 | scope_precis_elem VIRGULE scope_precis 172 scope_precis_elem : INT IDENT 173 | EXACTLY INT IDENT 174 modul0 : 175 | instruction modul0 176 moduledecl : MODULE chemin 177 modul : moduledecl modul0 EOF 178 %entry% : '\001' modul state 0 $accept : . %entry% $end (0) '\001' shift 1 . error %entry% goto 2 state 1 %entry% : '\001' . modul (178) MODULE shift 3 . error modul goto 4 moduledecl goto 5 state 2 $accept : %entry% . $end (0) $end accept state 3 moduledecl : MODULE . chemin (176) IDENT shift 6 . error chemin goto 7 state 4 %entry% : '\001' modul . (178) . reduce 178 state 5 modul : moduledecl . modul0 EOF (177) modul0 : . (174) error shift 8 ONE shift 9 SIG shift 10 ABSTRACT shift 11 PRED shift 12 FUN shift 13 FACT shift 14 ASSERT shift 15 CHECK shift 16 RUN shift 17 OPEN shift 18 EOF reduce 174 instruction goto 19 sigdecl goto 20 check goto 21 check_mot goto 22 modul0 goto 23 state 6 chemin : IDENT . DIV chemin (144) chemin : IDENT . (145) DIV shift 24 error reduce 145 ONE reduce 145 SIG reduce 145 ABSTRACT reduce 145 PRED reduce 145 FUN reduce 145 FACT reduce 145 ASSERT reduce 145 CHECK reduce 145 RUN reduce 145 OPEN reduce 145 EOF reduce 145 state 7 moduledecl : MODULE chemin . (176) . reduce 176 state 8 instruction : error . (156) . reduce 156 state 9 sigdecl : ONE . SIG (159) SIG shift 25 . error state 10 sigdecl : SIG . (157) . reduce 157 state 11 sigdecl : ABSTRACT . SIG (158) SIG shift 26 . error state 12 instruction : PRED . IDENT param_seq formule_seq (149) IDENT shift 27 . error state 13 instruction : FUN . IDENT param_seq DP set relation ACCG relation ACCD (150) IDENT shift 28 . error state 14 instruction : FACT . formule_seq (151) instruction : FACT . IDENT formule_seq (152) IDENT shift 29 ACCG shift 30 . error formule_seq goto 31 state 15 instruction : ASSERT . IDENT formule_seq (153) IDENT shift 32 . error state 16 check_mot : CHECK . (162) . reduce 162 state 17 check_mot : RUN . (163) . reduce 163 state 18 instruction : OPEN . chemin (155) IDENT shift 6 . error chemin goto 33 state 19 modul0 : instruction . modul0 (175) modul0 : . (174) error shift 8 ONE shift 9 SIG shift 10 ABSTRACT shift 11 PRED shift 12 FUN shift 13 FACT shift 14 ASSERT shift 15 CHECK shift 16 RUN shift 17 OPEN shift 18 EOF reduce 174 instruction goto 19 sigdecl goto 20 check goto 21 check_mot goto 22 modul0 goto 34 state 20 instruction : sigdecl . IDENT reldef_seq (146) instruction : sigdecl . IDENT EXTENDS IDENT reldef_seq (147) instruction : sigdecl . IDENT IN relation reldef_seq (148) IDENT shift 35 . error state 21 instruction : check . (154) . reduce 154 state 22 check : check_mot . IDENT (164) check : check_mot . IDENT FOR scope (165) check : check_mot . IDENT FOR scope EXPECTS INT (166) IDENT shift 36 . error state 23 modul : moduledecl modul0 . EOF (177) EOF shift 37 . error state 24 chemin : IDENT DIV . chemin (144) IDENT shift 6 . error chemin goto 38 state 25 sigdecl : ONE SIG . (159) . reduce 159 state 26 sigdecl : ABSTRACT SIG . (158) . reduce 158 state 27 instruction : PRED IDENT . param_seq formule_seq (149) PARG shift 39 . error param_seq goto 40 state 28 instruction : FUN IDENT . param_seq DP set relation ACCG relation ACCD (150) PARG shift 39 . error param_seq goto 41 state 29 instruction : FACT IDENT . formule_seq (152) ACCG shift 30 . error formule_seq goto 42 state 30 formule_seq : ACCG . formule_liste ACCD (113) formule_liste : . (114) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 ACCD reduce 114 relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule goto 69 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 formule_liste goto 83 state 31 instruction : FACT formule_seq . (151) . reduce 151 state 32 instruction : ASSERT IDENT . formule_seq (153) ACCG shift 30 . error formule_seq goto 84 state 33 instruction : OPEN chemin . (155) . reduce 155 state 34 modul0 : instruction modul0 . (175) . reduce 175 state 35 instruction : sigdecl IDENT . reldef_seq (146) instruction : sigdecl IDENT . EXTENDS IDENT reldef_seq (147) instruction : sigdecl IDENT . IN relation reldef_seq (148) IN shift 85 ACCG shift 86 EXTENDS shift 87 . error reldef_seq goto 88 state 36 check : check_mot IDENT . (164) check : check_mot IDENT . FOR scope (165) check : check_mot IDENT . FOR scope EXPECTS INT (166) FOR shift 89 error reduce 164 ONE reduce 164 SIG reduce 164 ABSTRACT reduce 164 PRED reduce 164 FUN reduce 164 FACT reduce 164 ASSERT reduce 164 CHECK reduce 164 RUN reduce 164 OPEN reduce 164 EOF reduce 164 state 37 modul : moduledecl modul0 EOF . (177) . reduce 177 state 38 chemin : IDENT DIV chemin . (144) . reduce 144 state 39 param_seq : PARG . PARD (126) param_seq : PARG . param_liste PARD (127) IDENT shift 90 PARD shift 91 . error param_liste goto 92 param goto 93 state 40 instruction : PRED IDENT param_seq . formule_seq (149) ACCG shift 30 . error formule_seq goto 94 state 41 instruction : FUN IDENT param_seq . DP set relation ACCG relation ACCD (150) DP shift 95 . error state 42 instruction : FACT IDENT formule_seq . (152) . reduce 152 state 43 relation8nl : error . (56) . reduce 56 state 44 relation8nl : IDENT . arg_seq2 (51) relation8nl : IDENT . (52) formule4 : IDENT . arg_seq (91) formule4nl : IDENT . arg_seq (104) PARG shift 96 LT shift 97 PLUS reduce 52 MOINS reduce 52 PLUSPLUS reduce 52 INTER reduce 52 FLECHE reduce 52 CROCHETG reduce 52 RESTD reduce 52 RESTG reduce 52 POINT reduce 52 EQ reduce 52 IN reduce 52 arg_seq2 goto 98 arg_seq goto 99 state 45 relation7nl : TILDE . relation7nl (40) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation7nl goto 102 relation8nl goto 67 state 46 relation8nl : PARG . relation PARD (50) formule4 : PARG . formule PARD (89) formule4nl : PARG . formule PARD (102) error shift 103 IDENT shift 104 TILDE shift 105 PARG shift 106 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation goto 111 relation0 goto 112 relation_nl goto 57 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 130 formule goto 131 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 47 relation8nl : UNIV . (53) . reduce 53 state 48 relation8nl : IDEN . (54) . reduce 54 state 49 relation8nl : NONE . (55) . reduce 55 state 50 affectation : LET . affectation_liste (57) error shift 132 IDENT shift 133 . error affectation_liste goto 134 affectation_element goto 135 state 51 formule3 : NOT . formule3 (86) formule3nl : NOT . formule3nl (88) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule3 goto 136 formule3nl goto 137 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 52 formule4 : SOME . relation (92) formule4 : SOME . varlist_quant formule_corps (99) formule4nl : SOME . relation_nl (105) error shift 103 IDENT shift 138 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 140 relation0 goto 112 relation_nl goto 141 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 varlist_quant goto 143 varlist_quant0 goto 144 state 53 formule4 : NO . relation (93) formule4 : NO . varlist_quant formule_corps (100) formule4nl : NO . relation_nl (106) error shift 103 IDENT shift 138 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 145 relation0 goto 112 relation_nl goto 146 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 varlist_quant goto 147 varlist_quant0 goto 144 state 54 formule4 : LONE . relation (94) formule4nl : LONE . relation_nl (107) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 149 relation0 goto 112 relation_nl goto 150 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 55 formule4 : ONE . relation (95) formule4nl : ONE . relation_nl (108) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 151 relation0 goto 112 relation_nl goto 152 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 56 formule4 : ALL . varlist_quant formule_corps (98) IDENT shift 153 . error varlist_quant goto 154 varlist_quant0 goto 144 state 57 formule4 : relation_nl . IN relation (96) formule4 : relation_nl . EQ relation (97) formule4nl : relation_nl . IN relation_nl (109) formule4nl : relation_nl . EQ relation_nl (110) EQ shift 155 IN shift 156 . error state 58 relation_nl : relation0nl . (2) relation0nl : relation0nl . PLUS relation05nl (7) relation0nl : relation0nl . MOINS relation05nl (8) PLUS shift 157 MOINS shift 158 EQ reduce 2 IN reduce 2 state 59 relation0nl : relation05nl . (6) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 159 PLUS reduce 6 MOINS reduce 6 EQ reduce 6 IN reduce 6 state 60 relation05nl : relation1nl . (11) relation1nl : relation1nl . INTER relation2nl (16) INTER shift 160 PLUS reduce 11 MOINS reduce 11 PLUSPLUS reduce 11 EQ reduce 11 IN reduce 11 state 61 relation1nl : relation2nl . (15) relation2nl : relation2nl . FLECHE relation3nl (20) FLECHE shift 161 PLUS reduce 15 MOINS reduce 15 PLUSPLUS reduce 15 INTER reduce 15 EQ reduce 15 IN reduce 15 state 62 relation2nl : relation3nl . (19) relation3nl : relation3nl . CROCHETG relation CROCHETD (24) CROCHETG shift 162 PLUS reduce 19 MOINS reduce 19 PLUSPLUS reduce 19 INTER reduce 19 FLECHE reduce 19 EQ reduce 19 IN reduce 19 state 63 relation3nl : relation4nl . (23) relation4nl : relation4nl . RESTD relation5nl (28) RESTD shift 163 PLUS reduce 23 MOINS reduce 23 PLUSPLUS reduce 23 INTER reduce 23 FLECHE reduce 23 CROCHETG reduce 23 EQ reduce 23 IN reduce 23 state 64 relation4nl : relation5nl . (27) relation5nl : relation5nl . RESTG relation6nl (32) RESTG shift 164 PLUS reduce 27 MOINS reduce 27 PLUSPLUS reduce 27 INTER reduce 27 FLECHE reduce 27 CROCHETG reduce 27 RESTD reduce 27 EQ reduce 27 IN reduce 27 state 65 relation5nl : relation6nl . (31) relation6nl : relation6nl . POINT relation7nl (36) POINT shift 165 PLUS reduce 31 MOINS reduce 31 PLUSPLUS reduce 31 INTER reduce 31 FLECHE reduce 31 CROCHETG reduce 31 RESTD reduce 31 RESTG reduce 31 EQ reduce 31 IN reduce 31 state 66 relation6nl : relation7nl . (35) . reduce 35 state 67 relation7nl : relation8nl . (39) . reduce 39 state 68 formule4 : affectation . formule_corps (101) BARRE shift 166 ACCG shift 30 . error formule_seq goto 167 formule_corps goto 168 state 69 formule_liste : formule . formule_liste (115) formule_liste : . (114) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 ACCD reduce 114 relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule goto 69 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 formule_liste goto 169 state 70 formule : formule0 . (62) . reduce 62 state 71 formule0 : formule1 . (63) . reduce 63 state 72 formule0 : formule_disjonction . (64) . reduce 64 state 73 formule_disjonction : formule1nl . OR formule1 (69) formule_disjonction : formule1nl . OR formule_disjonction (70) OR shift 170 . error state 74 formule1 : formule2 . (71) . reduce 71 state 75 formule1 : formule2nl . IMPLIES formule1 (72) formule1nl : formule2nl . (73) formule1nl : formule2nl . IMPLIES formule1nl (74) IMPLIES shift 171 OR reduce 73 state 76 formule2 : formule3 . (77) . reduce 77 state 77 formule2 : formule_conjonction . (78) . reduce 78 state 78 formule2nl : formule3nl . (79) formule_conjonction : formule3nl . AND formule3 (81) formule_conjonction : formule3nl . AND formule_conjonction (82) formule_conjonction_nl : formule3nl . AND formule3nl (83) formule_conjonction_nl : formule3nl . AND formule_conjonction_nl (84) AND shift 172 OR reduce 79 IMPLIES reduce 79 state 79 formule2nl : formule_conjonction_nl . (80) . reduce 80 state 80 formule3 : formule4 . (85) . reduce 85 state 81 formule3nl : formule4nl . (87) . reduce 87 state 82 formule4 : formule_seq . (90) formule4nl : formule_seq . (103) error reduce 90 IDENT reduce 90 TILDE reduce 90 PARG reduce 90 PARD reduce 90 UNIV reduce 90 IDEN reduce 90 NONE reduce 90 THEN reduce 90 LET reduce 90 OR reduce 103 IMPLIES reduce 103 AND reduce 103 NOT reduce 90 SOME reduce 90 NO reduce 90 LONE reduce 90 ONE reduce 90 ALL reduce 90 ACCG reduce 90 ACCD reduce 90 state 83 formule_seq : ACCG formule_liste . ACCD (113) ACCD shift 173 . error state 84 instruction : ASSERT IDENT formule_seq . (153) . reduce 153 state 85 instruction : sigdecl IDENT IN . relation reldef_seq (148) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 174 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 86 reldef_seq : ACCG . reldef_liste ACCD (136) reldef_liste : . (137) IDENT shift 176 ACCD reduce 137 reldef_liste goto 177 reldef goto 178 state 87 instruction : sigdecl IDENT EXTENDS . IDENT reldef_seq (147) IDENT shift 179 . error state 88 instruction : sigdecl IDENT reldef_seq . (146) . reduce 146 state 89 check : check_mot IDENT FOR . scope (165) check : check_mot IDENT FOR . scope EXPECTS INT (166) EXACTLY shift 180 INT shift 181 . error scope goto 182 scope_precis goto 183 scope_precis_elem goto 184 state 90 param_liste : IDENT . VIRGULE param_liste (130) param : IDENT . DP IDENT (131) param : IDENT . DP SET IDENT (132) param : IDENT . DP typefleche (133) VIRGULE shift 185 DP shift 186 . error state 91 param_seq : PARG PARD . (126) . reduce 126 state 92 param_seq : PARG param_liste . PARD (127) PARD shift 187 . error state 93 param_liste : param . (128) param_liste : param . VIRGULE param_liste (129) VIRGULE shift 188 PARD reduce 128 state 94 instruction : PRED IDENT param_seq formule_seq . (149) . reduce 149 state 95 instruction : FUN IDENT param_seq DP . set relation ACCG relation ACCD (150) set : . (160) SET shift 189 error reduce 160 IDENT reduce 160 TILDE reduce 160 PARG reduce 160 UNIV reduce 160 IDEN reduce 160 NONE reduce 160 IF reduce 160 LET reduce 160 set goto 190 state 96 arg_seq : PARG . PARD (120) arg_seq : PARG . arg_liste PARD (121) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 PARD shift 191 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 192 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 arg_liste goto 193 state 97 arg_seq2 : LT . GT (122) arg_seq2 : LT . arg_liste GT (123) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 GT shift 194 . error relation goto 192 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 arg_liste goto 195 state 98 relation8nl : IDENT arg_seq2 . (51) . reduce 51 state 99 formule4 : IDENT arg_seq . (91) formule4nl : IDENT arg_seq . (104) error reduce 91 IDENT reduce 91 TILDE reduce 91 PARG reduce 91 PARD reduce 91 UNIV reduce 91 IDEN reduce 91 NONE reduce 91 THEN reduce 91 LET reduce 91 OR reduce 104 IMPLIES reduce 104 AND reduce 104 NOT reduce 91 SOME reduce 91 NO reduce 91 LONE reduce 91 ONE reduce 91 ALL reduce 91 ACCG reduce 91 ACCD reduce 91 state 100 relation8nl : IDENT . arg_seq2 (51) relation8nl : IDENT . (52) LT shift 97 PLUS reduce 52 MOINS reduce 52 PLUSPLUS reduce 52 INTER reduce 52 FLECHE reduce 52 CROCHETG reduce 52 RESTD reduce 52 RESTG reduce 52 POINT reduce 52 EQ reduce 52 IN reduce 52 arg_seq2 goto 98 state 101 relation8nl : PARG . relation PARD (50) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 111 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 102 relation7nl : TILDE relation7nl . (40) . reduce 40 state 103 relation8 : error . (49) relation8nl : error . (56) error reduce 49 IDENT reduce 49 PLUS reduce 56 MOINS reduce 56 PLUSPLUS reduce 56 INTER reduce 56 FLECHE reduce 56 CROCHETG reduce 56 CROCHETD reduce 49 RESTD reduce 56 RESTG reduce 56 POINT reduce 56 TILDE reduce 49 PARG reduce 49 PARD reduce 49 UNIV reduce 49 IDEN reduce 49 NONE reduce 49 BARRE reduce 49 THEN reduce 49 ELSE reduce 49 LET reduce 49 VIRGULE reduce 49 EQ reduce 56 OR reduce 56 IMPLIES reduce 56 AND reduce 56 NOT reduce 49 SOME reduce 49 NO reduce 49 LONE reduce 49 ONE reduce 49 IN reduce 56 ALL reduce 49 ACCG reduce 49 ACCD reduce 49 GT reduce 49 state 104 relation8 : IDENT . arg_seq2 (42) relation8 : IDENT . (43) relation8nl : IDENT . arg_seq2 (51) relation8nl : IDENT . (52) formule4 : IDENT . arg_seq (91) formule4nl : IDENT . arg_seq (104) PARG shift 96 LT shift 97 PLUS reduce 52 MOINS reduce 52 PLUSPLUS reduce 52 INTER reduce 52 FLECHE reduce 52 CROCHETG reduce 52 RESTD reduce 52 RESTG reduce 52 POINT reduce 52 PARD reduce 43 EQ reduce 52 IN reduce 52 arg_seq2 goto 196 arg_seq goto 99 state 105 relation7 : TILDE . relation7 (38) relation7nl : TILDE . relation7nl (40) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation7 goto 197 relation7nl goto 102 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 106 relation8 : PARG . relation PARD (41) relation8nl : PARG . relation PARD (50) formule4 : PARG . formule PARD (89) formule4nl : PARG . formule PARD (102) error shift 103 IDENT shift 104 TILDE shift 105 PARG shift 106 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation goto 198 relation0 goto 112 relation_nl goto 57 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 130 formule goto 131 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 107 relation8 : UNIV . (44) relation8nl : UNIV . (53) error reduce 44 IDENT reduce 44 PLUS reduce 53 MOINS reduce 53 PLUSPLUS reduce 53 INTER reduce 53 FLECHE reduce 53 CROCHETG reduce 53 CROCHETD reduce 44 RESTD reduce 53 RESTG reduce 53 POINT reduce 53 TILDE reduce 44 PARG reduce 44 PARD reduce 44 UNIV reduce 44 IDEN reduce 44 NONE reduce 44 BARRE reduce 44 THEN reduce 44 ELSE reduce 44 LET reduce 44 VIRGULE reduce 44 EQ reduce 53 OR reduce 53 IMPLIES reduce 53 AND reduce 53 NOT reduce 44 SOME reduce 44 NO reduce 44 LONE reduce 44 ONE reduce 44 IN reduce 53 ALL reduce 44 ACCG reduce 44 ACCD reduce 44 GT reduce 44 state 108 relation8 : IDEN . (45) relation8nl : IDEN . (54) error reduce 45 IDENT reduce 45 PLUS reduce 54 MOINS reduce 54 PLUSPLUS reduce 54 INTER reduce 54 FLECHE reduce 54 CROCHETG reduce 54 CROCHETD reduce 45 RESTD reduce 54 RESTG reduce 54 POINT reduce 54 TILDE reduce 45 PARG reduce 45 PARD reduce 45 UNIV reduce 45 IDEN reduce 45 NONE reduce 45 BARRE reduce 45 THEN reduce 45 ELSE reduce 45 LET reduce 45 VIRGULE reduce 45 EQ reduce 54 OR reduce 54 IMPLIES reduce 54 AND reduce 54 NOT reduce 45 SOME reduce 45 NO reduce 45 LONE reduce 45 ONE reduce 45 IN reduce 54 ALL reduce 45 ACCG reduce 45 ACCD reduce 45 GT reduce 45 state 109 relation8 : NONE . (46) relation8nl : NONE . (55) error reduce 46 IDENT reduce 46 PLUS reduce 55 MOINS reduce 55 PLUSPLUS reduce 55 INTER reduce 55 FLECHE reduce 55 CROCHETG reduce 55 CROCHETD reduce 46 RESTD reduce 55 RESTG reduce 55 POINT reduce 55 TILDE reduce 46 PARG reduce 46 PARD reduce 46 UNIV reduce 46 IDEN reduce 46 NONE reduce 46 BARRE reduce 46 THEN reduce 46 ELSE reduce 46 LET reduce 46 VIRGULE reduce 46 EQ reduce 55 OR reduce 55 IMPLIES reduce 55 AND reduce 55 NOT reduce 46 SOME reduce 46 NO reduce 46 LONE reduce 46 ONE reduce 46 IN reduce 55 ALL reduce 46 ACCG reduce 46 ACCD reduce 46 GT reduce 46 state 110 relation8 : IF . formule THEN relation ELSE relation (48) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule goto 199 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 111 relation8nl : PARG relation . PARD (50) PARD shift 200 . error state 112 relation : relation0 . (1) . reduce 1 state 113 relation_nl : relation0nl . (2) relation0 : relation0nl . PLUS relation05 (4) relation0 : relation0nl . MOINS relation05 (5) relation0nl : relation0nl . PLUS relation05nl (7) relation0nl : relation0nl . MOINS relation05nl (8) PLUS shift 201 MOINS shift 202 EQ reduce 2 OR reduce 2 IMPLIES reduce 2 AND reduce 2 IN reduce 2 state 114 relation0 : relation05 . (3) . reduce 3 state 115 relation0nl : relation05nl . (6) relation05 : relation05nl . PLUSPLUS relation1 (10) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 203 PLUS reduce 6 MOINS reduce 6 EQ reduce 6 OR reduce 6 IMPLIES reduce 6 AND reduce 6 IN reduce 6 state 116 relation05 : relation1 . (9) . reduce 9 state 117 relation05nl : relation1nl . (11) relation1 : relation1nl . INTER relation2 (14) relation1nl : relation1nl . INTER relation2nl (16) INTER shift 204 PLUS reduce 11 MOINS reduce 11 PLUSPLUS reduce 11 EQ reduce 11 OR reduce 11 IMPLIES reduce 11 AND reduce 11 IN reduce 11 state 118 relation1 : relation2 . (13) . reduce 13 state 119 relation1nl : relation2nl . (15) relation2 : relation2nl . FLECHE relation3 (18) relation2nl : relation2nl . FLECHE relation3nl (20) FLECHE shift 205 PLUS reduce 15 MOINS reduce 15 PLUSPLUS reduce 15 INTER reduce 15 EQ reduce 15 OR reduce 15 IMPLIES reduce 15 AND reduce 15 IN reduce 15 state 120 relation2 : relation3 . (17) . reduce 17 state 121 relation2nl : relation3nl . (19) relation3 : relation3nl . CROCHETG relation CROCHETD (22) relation3nl : relation3nl . CROCHETG relation CROCHETD (24) CROCHETG shift 206 PLUS reduce 19 MOINS reduce 19 PLUSPLUS reduce 19 INTER reduce 19 FLECHE reduce 19 EQ reduce 19 OR reduce 19 IMPLIES reduce 19 AND reduce 19 IN reduce 19 state 122 relation3 : relation4 . (21) . reduce 21 state 123 relation3nl : relation4nl . (23) relation4 : relation4nl . RESTD relation5 (26) relation4nl : relation4nl . RESTD relation5nl (28) RESTD shift 207 PLUS reduce 23 MOINS reduce 23 PLUSPLUS reduce 23 INTER reduce 23 FLECHE reduce 23 CROCHETG reduce 23 EQ reduce 23 OR reduce 23 IMPLIES reduce 23 AND reduce 23 IN reduce 23 state 124 relation4 : relation5 . (25) . reduce 25 state 125 relation4nl : relation5nl . (27) relation5 : relation5nl . RESTG relation6 (30) relation5nl : relation5nl . RESTG relation6nl (32) RESTG shift 208 PLUS reduce 27 MOINS reduce 27 PLUSPLUS reduce 27 INTER reduce 27 FLECHE reduce 27 CROCHETG reduce 27 RESTD reduce 27 EQ reduce 27 OR reduce 27 IMPLIES reduce 27 AND reduce 27 IN reduce 27 state 126 relation5 : relation6 . (29) . reduce 29 state 127 relation5nl : relation6nl . (31) relation6 : relation6nl . POINT relation7 (34) relation6nl : relation6nl . POINT relation7nl (36) POINT shift 209 PLUS reduce 31 MOINS reduce 31 PLUSPLUS reduce 31 INTER reduce 31 FLECHE reduce 31 CROCHETG reduce 31 RESTD reduce 31 RESTG reduce 31 EQ reduce 31 OR reduce 31 IMPLIES reduce 31 AND reduce 31 IN reduce 31 state 128 relation6 : relation7 . (33) . reduce 33 state 129 relation7 : relation8 . (37) . reduce 37 state 130 relation8 : affectation . BARRE relation (47) formule4 : affectation . formule_corps (101) BARRE shift 210 ACCG shift 30 . error formule_seq goto 167 formule_corps goto 168 state 131 formule4 : PARG formule . PARD (89) formule4nl : PARG formule . PARD (102) PARD shift 211 . error state 132 affectation_liste : error . (60) . reduce 60 state 133 affectation_element : IDENT . EQ relation (61) EQ shift 212 . error state 134 affectation : LET affectation_liste . (57) . reduce 57 state 135 affectation_liste : affectation_element . (58) affectation_liste : affectation_element . VIRGULE affectation_liste (59) VIRGULE shift 213 BARRE reduce 58 ACCG reduce 58 state 136 formule3 : NOT formule3 . (86) . reduce 86 state 137 formule3nl : NOT formule3nl . (88) . reduce 88 state 138 relation8 : IDENT . arg_seq2 (42) relation8 : IDENT . (43) relation8nl : IDENT . arg_seq2 (51) relation8nl : IDENT . (52) varlist_quant0 : IDENT . DP relation (117) varlist_quant0 : IDENT . DP relation VIRGULE varlist_quant0 (118) varlist_quant0 : IDENT . VIRGULE varlist_quant0 (119) VIRGULE shift 214 DP shift 215 LT shift 97 error reduce 43 IDENT reduce 43 PLUS reduce 52 MOINS reduce 52 PLUSPLUS reduce 52 INTER reduce 52 FLECHE reduce 52 CROCHETG reduce 52 RESTD reduce 52 RESTG reduce 52 POINT reduce 52 TILDE reduce 43 PARG reduce 43 PARD reduce 43 UNIV reduce 43 IDEN reduce 43 NONE reduce 43 THEN reduce 43 LET reduce 43 OR reduce 52 IMPLIES reduce 52 AND reduce 52 NOT reduce 43 SOME reduce 43 NO reduce 43 LONE reduce 43 ONE reduce 43 ALL reduce 43 ACCG reduce 43 ACCD reduce 43 arg_seq2 goto 196 state 139 relation8 : PARG . relation PARD (41) relation8nl : PARG . relation PARD (50) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 198 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 140 formule4 : SOME relation . (92) . reduce 92 state 141 formule4nl : SOME relation_nl . (105) . reduce 105 state 142 relation8 : affectation . BARRE relation (47) BARRE shift 216 . error state 143 formule4 : SOME varlist_quant . formule_corps (99) BARRE shift 166 ACCG shift 30 . error formule_seq goto 167 formule_corps goto 217 state 144 varlist_quant : varlist_quant0 . (116) . reduce 116 state 145 formule4 : NO relation . (93) . reduce 93 state 146 formule4nl : NO relation_nl . (106) . reduce 106 state 147 formule4 : NO varlist_quant . formule_corps (100) BARRE shift 166 ACCG shift 30 . error formule_seq goto 167 formule_corps goto 218 state 148 relation8 : IDENT . arg_seq2 (42) relation8 : IDENT . (43) relation8nl : IDENT . arg_seq2 (51) relation8nl : IDENT . (52) LT shift 97 error reduce 43 IDENT reduce 43 PLUS reduce 52 MOINS reduce 52 PLUSPLUS reduce 52 INTER reduce 52 FLECHE reduce 52 CROCHETG reduce 52 CROCHETD reduce 43 RESTD reduce 52 RESTG reduce 52 POINT reduce 52 TILDE reduce 43 PARG reduce 43 PARD reduce 43 UNIV reduce 43 IDEN reduce 43 NONE reduce 43 BARRE reduce 43 THEN reduce 43 ELSE reduce 43 LET reduce 43 VIRGULE reduce 43 EQ reduce 52 OR reduce 52 IMPLIES reduce 52 AND reduce 52 NOT reduce 43 SOME reduce 43 NO reduce 43 LONE reduce 43 ONE reduce 43 IN reduce 52 ALL reduce 43 ACCG reduce 43 ACCD reduce 43 GT reduce 43 arg_seq2 goto 196 state 149 formule4 : LONE relation . (94) . reduce 94 state 150 formule4nl : LONE relation_nl . (107) . reduce 107 state 151 formule4 : ONE relation . (95) . reduce 95 state 152 formule4nl : ONE relation_nl . (108) . reduce 108 state 153 varlist_quant0 : IDENT . DP relation (117) varlist_quant0 : IDENT . DP relation VIRGULE varlist_quant0 (118) varlist_quant0 : IDENT . VIRGULE varlist_quant0 (119) VIRGULE shift 214 DP shift 215 . error state 154 formule4 : ALL varlist_quant . formule_corps (98) BARRE shift 166 ACCG shift 30 . error formule_seq goto 167 formule_corps goto 219 state 155 formule4 : relation_nl EQ . relation (97) formule4nl : relation_nl EQ . relation_nl (110) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 220 relation0 goto 112 relation_nl goto 221 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 156 formule4 : relation_nl IN . relation (96) formule4nl : relation_nl IN . relation_nl (109) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 222 relation0 goto 112 relation_nl goto 223 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 157 relation0nl : relation0nl PLUS . relation05nl (7) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation05nl goto 224 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 158 relation0nl : relation0nl MOINS . relation05nl (8) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation05nl goto 225 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 159 relation05nl : relation05nl PLUSPLUS . relation1nl (12) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation1nl goto 226 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 160 relation1nl : relation1nl INTER . relation2nl (16) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation2nl goto 227 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 161 relation2nl : relation2nl FLECHE . relation3nl (20) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation3nl goto 228 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 162 relation3nl : relation3nl CROCHETG . relation CROCHETD (24) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 229 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 163 relation4nl : relation4nl RESTD . relation5nl (28) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation5nl goto 230 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 state 164 relation5nl : relation5nl RESTG . relation6nl (32) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation6nl goto 231 relation7nl goto 66 relation8nl goto 67 state 165 relation6nl : relation6nl POINT . relation7nl (36) error shift 43 IDENT shift 100 TILDE shift 45 PARG shift 101 UNIV shift 47 IDEN shift 48 NONE shift 49 . error relation7nl goto 232 relation8nl goto 67 state 166 formule_corps : BARRE . formule (111) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule goto 233 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 167 formule_corps : formule_seq . (112) . reduce 112 state 168 formule4 : affectation formule_corps . (101) . reduce 101 state 169 formule_liste : formule formule_liste . (115) . reduce 115 state 170 formule_disjonction : formule1nl OR . formule1 (69) formule_disjonction : formule1nl OR . formule_disjonction (70) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule1 goto 234 formule_disjonction goto 235 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 171 formule1 : formule2nl IMPLIES . formule1 (72) formule1nl : formule2nl IMPLIES . formule1nl (74) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule1 goto 236 formule1nl goto 237 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 172 formule_conjonction : formule3nl AND . formule3 (81) formule_conjonction : formule3nl AND . formule_conjonction (82) formule_conjonction_nl : formule3nl AND . formule3nl (83) formule_conjonction_nl : formule3nl AND . formule_conjonction_nl (84) error shift 43 IDENT shift 44 TILDE shift 45 PARG shift 46 UNIV shift 47 IDEN shift 48 NONE shift 49 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation_nl goto 57 relation0nl goto 58 relation05nl goto 59 relation1nl goto 60 relation2nl goto 61 relation3nl goto 62 relation4nl goto 63 relation5nl goto 64 relation6nl goto 65 relation7nl goto 66 relation8nl goto 67 affectation goto 68 formule3 goto 238 formule_conjonction goto 239 formule3nl goto 240 formule_conjonction_nl goto 241 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 173 formule_seq : ACCG formule_liste ACCD . (113) . reduce 113 state 174 instruction : sigdecl IDENT IN relation . reldef_seq (148) ACCG shift 86 . error reldef_seq goto 242 state 175 relation0 : relation0nl . PLUS relation05 (4) relation0 : relation0nl . MOINS relation05 (5) relation0nl : relation0nl . PLUS relation05nl (7) relation0nl : relation0nl . MOINS relation05nl (8) PLUS shift 201 MOINS shift 202 . error state 176 reldef_liste : IDENT . VIRGULE reldef_liste (139) reldef : IDENT . DP IDENT (141) reldef : IDENT . DP SET IDENT (142) reldef : IDENT . DP typefleche (143) VIRGULE shift 243 DP shift 244 . error state 177 reldef_seq : ACCG reldef_liste . ACCD (136) ACCD shift 245 . error state 178 reldef_liste : reldef . (138) reldef_liste : reldef . VIRGULE reldef_liste (140) VIRGULE shift 246 ACCD reduce 138 state 179 instruction : sigdecl IDENT EXTENDS IDENT . reldef_seq (147) ACCG shift 86 . error reldef_seq goto 247 state 180 scope_precis_elem : EXACTLY . INT IDENT (173) INT shift 248 . error state 181 scope : INT . (167) scope : INT . BUT scope_precis (168) scope_precis_elem : INT . IDENT (172) IDENT shift 249 BUT shift 250 error reduce 167 ONE reduce 167 SIG reduce 167 ABSTRACT reduce 167 PRED reduce 167 FUN reduce 167 FACT reduce 167 ASSERT reduce 167 CHECK reduce 167 RUN reduce 167 OPEN reduce 167 EOF reduce 167 EXPECTS reduce 167 state 182 check : check_mot IDENT FOR scope . (165) check : check_mot IDENT FOR scope . EXPECTS INT (166) EXPECTS shift 251 error reduce 165 ONE reduce 165 SIG reduce 165 ABSTRACT reduce 165 PRED reduce 165 FUN reduce 165 FACT reduce 165 ASSERT reduce 165 CHECK reduce 165 RUN reduce 165 OPEN reduce 165 EOF reduce 165 state 183 scope : scope_precis . (169) . reduce 169 state 184 scope_precis : scope_precis_elem . (170) scope_precis : scope_precis_elem . VIRGULE scope_precis (171) VIRGULE shift 252 error reduce 170 ONE reduce 170 SIG reduce 170 ABSTRACT reduce 170 PRED reduce 170 FUN reduce 170 FACT reduce 170 ASSERT reduce 170 CHECK reduce 170 RUN reduce 170 OPEN reduce 170 EOF reduce 170 EXPECTS reduce 170 state 185 param_liste : IDENT VIRGULE . param_liste (130) IDENT shift 90 . error param_liste goto 253 param goto 93 state 186 param : IDENT DP . IDENT (131) param : IDENT DP . SET IDENT (132) param : IDENT DP . typefleche (133) IDENT shift 254 SET shift 255 . error typefleche goto 256 state 187 param_seq : PARG param_liste PARD . (127) . reduce 127 state 188 param_liste : param VIRGULE . param_liste (129) IDENT shift 90 . error param_liste goto 257 param goto 93 state 189 set : SET . (161) . reduce 161 state 190 instruction : FUN IDENT param_seq DP set . relation ACCG relation ACCD (150) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 258 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 191 arg_seq : PARG PARD . (120) . reduce 120 state 192 arg_liste : relation . (124) arg_liste : relation . VIRGULE arg_liste (125) VIRGULE shift 259 PARD reduce 124 GT reduce 124 state 193 arg_seq : PARG arg_liste . PARD (121) PARD shift 260 . error state 194 arg_seq2 : LT GT . (122) . reduce 122 state 195 arg_seq2 : LT arg_liste . GT (123) GT shift 261 . error state 196 relation8 : IDENT arg_seq2 . (42) relation8nl : IDENT arg_seq2 . (51) error reduce 42 IDENT reduce 42 PLUS reduce 51 MOINS reduce 51 PLUSPLUS reduce 51 INTER reduce 51 FLECHE reduce 51 CROCHETG reduce 51 CROCHETD reduce 42 RESTD reduce 51 RESTG reduce 51 POINT reduce 51 TILDE reduce 42 PARG reduce 42 PARD reduce 42 UNIV reduce 42 IDEN reduce 42 NONE reduce 42 BARRE reduce 42 THEN reduce 42 ELSE reduce 42 LET reduce 42 VIRGULE reduce 42 EQ reduce 51 OR reduce 51 IMPLIES reduce 51 AND reduce 51 NOT reduce 42 SOME reduce 42 NO reduce 42 LONE reduce 42 ONE reduce 42 IN reduce 51 ALL reduce 42 ACCG reduce 42 ACCD reduce 42 GT reduce 42 state 197 relation7 : TILDE relation7 . (38) . reduce 38 state 198 relation8 : PARG relation . PARD (41) relation8nl : PARG relation . PARD (50) PARD shift 262 . error state 199 relation8 : IF formule . THEN relation ELSE relation (48) THEN shift 263 . error state 200 relation8nl : PARG relation PARD . (50) . reduce 50 state 201 relation0 : relation0nl PLUS . relation05 (4) relation0nl : relation0nl PLUS . relation05nl (7) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation05 goto 264 relation05nl goto 265 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 202 relation0 : relation0nl MOINS . relation05 (5) relation0nl : relation0nl MOINS . relation05nl (8) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation05 goto 266 relation05nl goto 267 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 203 relation05 : relation05nl PLUSPLUS . relation1 (10) relation05nl : relation05nl PLUSPLUS . relation1nl (12) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation1 goto 268 relation1nl goto 269 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 204 relation1 : relation1nl INTER . relation2 (14) relation1nl : relation1nl INTER . relation2nl (16) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation2 goto 270 relation2nl goto 271 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 205 relation2 : relation2nl FLECHE . relation3 (18) relation2nl : relation2nl FLECHE . relation3nl (20) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation3 goto 272 relation3nl goto 273 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 206 relation3 : relation3nl CROCHETG . relation CROCHETD (22) relation3nl : relation3nl CROCHETG . relation CROCHETD (24) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 274 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 207 relation4 : relation4nl RESTD . relation5 (26) relation4nl : relation4nl RESTD . relation5nl (28) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation5 goto 275 relation5nl goto 276 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 208 relation5 : relation5nl RESTG . relation6 (30) relation5nl : relation5nl RESTG . relation6nl (32) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation6 goto 277 relation6nl goto 278 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 209 relation6 : relation6nl POINT . relation7 (34) relation6nl : relation6nl POINT . relation7nl (36) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation7 goto 279 relation7nl goto 232 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 210 relation8 : affectation BARRE . relation (47) formule_corps : BARRE . formule (111) error shift 103 IDENT shift 104 TILDE shift 105 PARG shift 106 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 NOT shift 51 SOME shift 52 NO shift 53 LONE shift 54 ONE shift 55 ALL shift 56 ACCG shift 30 . error relation goto 280 relation0 goto 112 relation_nl goto 57 relation0nl goto 113 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 130 formule goto 233 formule0 goto 70 formule1 goto 71 formule_disjonction goto 72 formule1nl goto 73 formule2 goto 74 formule2nl goto 75 formule3 goto 76 formule_conjonction goto 77 formule3nl goto 78 formule_conjonction_nl goto 79 formule4 goto 80 formule4nl goto 81 formule_seq goto 82 state 211 formule4 : PARG formule PARD . (89) formule4nl : PARG formule PARD . (102) error reduce 89 IDENT reduce 89 TILDE reduce 89 PARG reduce 89 PARD reduce 89 UNIV reduce 89 IDEN reduce 89 NONE reduce 89 THEN reduce 89 LET reduce 89 OR reduce 102 IMPLIES reduce 102 AND reduce 102 NOT reduce 89 SOME reduce 89 NO reduce 89 LONE reduce 89 ONE reduce 89 ALL reduce 89 ACCG reduce 89 ACCD reduce 89 state 212 affectation_element : IDENT EQ . relation (61) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 281 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 213 affectation_liste : affectation_element VIRGULE . affectation_liste (59) error shift 132 IDENT shift 133 . error affectation_liste goto 282 affectation_element goto 135 state 214 varlist_quant0 : IDENT VIRGULE . varlist_quant0 (119) IDENT shift 153 . error varlist_quant0 goto 283 state 215 varlist_quant0 : IDENT DP . relation (117) varlist_quant0 : IDENT DP . relation VIRGULE varlist_quant0 (118) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 284 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 216 relation8 : affectation BARRE . relation (47) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 280 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 217 formule4 : SOME varlist_quant formule_corps . (99) . reduce 99 state 218 formule4 : NO varlist_quant formule_corps . (100) . reduce 100 state 219 formule4 : ALL varlist_quant formule_corps . (98) . reduce 98 state 220 formule4 : relation_nl EQ relation . (97) . reduce 97 state 221 formule4nl : relation_nl EQ relation_nl . (110) . reduce 110 state 222 formule4 : relation_nl IN relation . (96) . reduce 96 state 223 formule4nl : relation_nl IN relation_nl . (109) . reduce 109 state 224 relation0nl : relation0nl PLUS relation05nl . (7) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 159 PLUS reduce 7 MOINS reduce 7 EQ reduce 7 IN reduce 7 state 225 relation0nl : relation0nl MOINS relation05nl . (8) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 159 PLUS reduce 8 MOINS reduce 8 EQ reduce 8 IN reduce 8 state 226 relation05nl : relation05nl PLUSPLUS relation1nl . (12) relation1nl : relation1nl . INTER relation2nl (16) INTER shift 160 PLUS reduce 12 MOINS reduce 12 PLUSPLUS reduce 12 EQ reduce 12 IN reduce 12 state 227 relation1nl : relation1nl INTER relation2nl . (16) relation2nl : relation2nl . FLECHE relation3nl (20) FLECHE shift 161 PLUS reduce 16 MOINS reduce 16 PLUSPLUS reduce 16 INTER reduce 16 EQ reduce 16 IN reduce 16 state 228 relation2nl : relation2nl FLECHE relation3nl . (20) relation3nl : relation3nl . CROCHETG relation CROCHETD (24) CROCHETG shift 162 PLUS reduce 20 MOINS reduce 20 PLUSPLUS reduce 20 INTER reduce 20 FLECHE reduce 20 EQ reduce 20 IN reduce 20 state 229 relation3nl : relation3nl CROCHETG relation . CROCHETD (24) CROCHETD shift 285 . error state 230 relation4nl : relation4nl RESTD relation5nl . (28) relation5nl : relation5nl . RESTG relation6nl (32) RESTG shift 164 PLUS reduce 28 MOINS reduce 28 PLUSPLUS reduce 28 INTER reduce 28 FLECHE reduce 28 CROCHETG reduce 28 RESTD reduce 28 EQ reduce 28 IN reduce 28 state 231 relation5nl : relation5nl RESTG relation6nl . (32) relation6nl : relation6nl . POINT relation7nl (36) POINT shift 165 PLUS reduce 32 MOINS reduce 32 PLUSPLUS reduce 32 INTER reduce 32 FLECHE reduce 32 CROCHETG reduce 32 RESTD reduce 32 RESTG reduce 32 EQ reduce 32 IN reduce 32 state 232 relation6nl : relation6nl POINT relation7nl . (36) . reduce 36 state 233 formule_corps : BARRE formule . (111) . reduce 111 state 234 formule_disjonction : formule1nl OR formule1 . (69) . reduce 69 state 235 formule_disjonction : formule1nl OR formule_disjonction . (70) . reduce 70 state 236 formule1 : formule2nl IMPLIES formule1 . (72) . reduce 72 state 237 formule1nl : formule2nl IMPLIES formule1nl . (74) . reduce 74 state 238 formule_conjonction : formule3nl AND formule3 . (81) . reduce 81 state 239 formule_conjonction : formule3nl AND formule_conjonction . (82) . reduce 82 state 240 formule_conjonction : formule3nl . AND formule3 (81) formule_conjonction : formule3nl . AND formule_conjonction (82) formule_conjonction_nl : formule3nl . AND formule3nl (83) formule_conjonction_nl : formule3nl AND formule3nl . (83) formule_conjonction_nl : formule3nl . AND formule_conjonction_nl (84) AND shift 172 OR reduce 83 IMPLIES reduce 83 state 241 formule_conjonction_nl : formule3nl AND formule_conjonction_nl . (84) . reduce 84 state 242 instruction : sigdecl IDENT IN relation reldef_seq . (148) . reduce 148 state 243 reldef_liste : IDENT VIRGULE . reldef_liste (139) reldef_liste : . (137) IDENT shift 176 ACCD reduce 137 reldef_liste goto 286 reldef goto 178 state 244 reldef : IDENT DP . IDENT (141) reldef : IDENT DP . SET IDENT (142) reldef : IDENT DP . typefleche (143) IDENT shift 287 SET shift 288 . error typefleche goto 289 state 245 reldef_seq : ACCG reldef_liste ACCD . (136) . reduce 136 state 246 reldef_liste : reldef VIRGULE . reldef_liste (140) reldef_liste : . (137) IDENT shift 176 ACCD reduce 137 reldef_liste goto 290 reldef goto 178 state 247 instruction : sigdecl IDENT EXTENDS IDENT reldef_seq . (147) . reduce 147 state 248 scope_precis_elem : EXACTLY INT . IDENT (173) IDENT shift 291 . error state 249 scope_precis_elem : INT IDENT . (172) . reduce 172 state 250 scope : INT BUT . scope_precis (168) EXACTLY shift 180 INT shift 292 . error scope_precis goto 293 scope_precis_elem goto 184 state 251 check : check_mot IDENT FOR scope EXPECTS . INT (166) INT shift 294 . error state 252 scope_precis : scope_precis_elem VIRGULE . scope_precis (171) EXACTLY shift 180 INT shift 292 . error scope_precis goto 295 scope_precis_elem goto 184 state 253 param_liste : IDENT VIRGULE param_liste . (130) . reduce 130 state 254 param : IDENT DP IDENT . (131) typefleche : IDENT . FLECHE IDENT (134) typefleche : IDENT . FLECHE typefleche (135) FLECHE shift 296 PARD reduce 131 VIRGULE reduce 131 state 255 param : IDENT DP SET . IDENT (132) IDENT shift 297 . error state 256 param : IDENT DP typefleche . (133) . reduce 133 state 257 param_liste : param VIRGULE param_liste . (129) . reduce 129 state 258 instruction : FUN IDENT param_seq DP set relation . ACCG relation ACCD (150) ACCG shift 298 . error state 259 arg_liste : relation VIRGULE . arg_liste (125) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 192 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 arg_liste goto 299 state 260 arg_seq : PARG arg_liste PARD . (121) . reduce 121 state 261 arg_seq2 : LT arg_liste GT . (123) . reduce 123 state 262 relation8 : PARG relation PARD . (41) relation8nl : PARG relation PARD . (50) error reduce 41 IDENT reduce 41 PLUS reduce 50 MOINS reduce 50 PLUSPLUS reduce 50 INTER reduce 50 FLECHE reduce 50 CROCHETG reduce 50 CROCHETD reduce 41 RESTD reduce 50 RESTG reduce 50 POINT reduce 50 TILDE reduce 41 PARG reduce 41 PARD reduce 41 UNIV reduce 41 IDEN reduce 41 NONE reduce 41 BARRE reduce 41 THEN reduce 41 ELSE reduce 41 LET reduce 41 VIRGULE reduce 41 EQ reduce 50 OR reduce 50 IMPLIES reduce 50 AND reduce 50 NOT reduce 41 SOME reduce 41 NO reduce 41 LONE reduce 41 ONE reduce 41 IN reduce 50 ALL reduce 41 ACCG reduce 41 ACCD reduce 41 GT reduce 41 state 263 relation8 : IF formule THEN . relation ELSE relation (48) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 300 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 264 relation0 : relation0nl PLUS relation05 . (4) . reduce 4 state 265 relation0nl : relation0nl PLUS relation05nl . (7) relation05 : relation05nl . PLUSPLUS relation1 (10) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 203 PLUS reduce 7 MOINS reduce 7 EQ reduce 7 OR reduce 7 IMPLIES reduce 7 AND reduce 7 IN reduce 7 state 266 relation0 : relation0nl MOINS relation05 . (5) . reduce 5 state 267 relation0nl : relation0nl MOINS relation05nl . (8) relation05 : relation05nl . PLUSPLUS relation1 (10) relation05nl : relation05nl . PLUSPLUS relation1nl (12) PLUSPLUS shift 203 PLUS reduce 8 MOINS reduce 8 EQ reduce 8 OR reduce 8 IMPLIES reduce 8 AND reduce 8 IN reduce 8 state 268 relation05 : relation05nl PLUSPLUS relation1 . (10) . reduce 10 state 269 relation05nl : relation05nl PLUSPLUS relation1nl . (12) relation1 : relation1nl . INTER relation2 (14) relation1nl : relation1nl . INTER relation2nl (16) INTER shift 204 PLUS reduce 12 MOINS reduce 12 PLUSPLUS reduce 12 EQ reduce 12 OR reduce 12 IMPLIES reduce 12 AND reduce 12 IN reduce 12 state 270 relation1 : relation1nl INTER relation2 . (14) . reduce 14 state 271 relation1nl : relation1nl INTER relation2nl . (16) relation2 : relation2nl . FLECHE relation3 (18) relation2nl : relation2nl . FLECHE relation3nl (20) FLECHE shift 205 PLUS reduce 16 MOINS reduce 16 PLUSPLUS reduce 16 INTER reduce 16 EQ reduce 16 OR reduce 16 IMPLIES reduce 16 AND reduce 16 IN reduce 16 state 272 relation2 : relation2nl FLECHE relation3 . (18) . reduce 18 state 273 relation2nl : relation2nl FLECHE relation3nl . (20) relation3 : relation3nl . CROCHETG relation CROCHETD (22) relation3nl : relation3nl . CROCHETG relation CROCHETD (24) CROCHETG shift 206 PLUS reduce 20 MOINS reduce 20 PLUSPLUS reduce 20 INTER reduce 20 FLECHE reduce 20 EQ reduce 20 OR reduce 20 IMPLIES reduce 20 AND reduce 20 IN reduce 20 state 274 relation3 : relation3nl CROCHETG relation . CROCHETD (22) relation3nl : relation3nl CROCHETG relation . CROCHETD (24) CROCHETD shift 301 . error state 275 relation4 : relation4nl RESTD relation5 . (26) . reduce 26 state 276 relation4nl : relation4nl RESTD relation5nl . (28) relation5 : relation5nl . RESTG relation6 (30) relation5nl : relation5nl . RESTG relation6nl (32) RESTG shift 208 PLUS reduce 28 MOINS reduce 28 PLUSPLUS reduce 28 INTER reduce 28 FLECHE reduce 28 CROCHETG reduce 28 RESTD reduce 28 EQ reduce 28 OR reduce 28 IMPLIES reduce 28 AND reduce 28 IN reduce 28 state 277 relation5 : relation5nl RESTG relation6 . (30) . reduce 30 state 278 relation5nl : relation5nl RESTG relation6nl . (32) relation6 : relation6nl . POINT relation7 (34) relation6nl : relation6nl . POINT relation7nl (36) POINT shift 209 PLUS reduce 32 MOINS reduce 32 PLUSPLUS reduce 32 INTER reduce 32 FLECHE reduce 32 CROCHETG reduce 32 RESTD reduce 32 RESTG reduce 32 EQ reduce 32 OR reduce 32 IMPLIES reduce 32 AND reduce 32 IN reduce 32 state 279 relation6 : relation6nl POINT relation7 . (34) . reduce 34 state 280 relation8 : affectation BARRE relation . (47) . reduce 47 state 281 affectation_element : IDENT EQ relation . (61) . reduce 61 state 282 affectation_liste : affectation_element VIRGULE affectation_liste . (59) . reduce 59 state 283 varlist_quant0 : IDENT VIRGULE varlist_quant0 . (119) . reduce 119 state 284 varlist_quant0 : IDENT DP relation . (117) varlist_quant0 : IDENT DP relation . VIRGULE varlist_quant0 (118) VIRGULE shift 302 BARRE reduce 117 ACCG reduce 117 state 285 relation3nl : relation3nl CROCHETG relation CROCHETD . (24) . reduce 24 state 286 reldef_liste : IDENT VIRGULE reldef_liste . (139) . reduce 139 state 287 typefleche : IDENT . FLECHE IDENT (134) typefleche : IDENT . FLECHE typefleche (135) reldef : IDENT DP IDENT . (141) FLECHE shift 296 VIRGULE reduce 141 ACCD reduce 141 state 288 reldef : IDENT DP SET . IDENT (142) IDENT shift 303 . error state 289 reldef : IDENT DP typefleche . (143) . reduce 143 state 290 reldef_liste : reldef VIRGULE reldef_liste . (140) . reduce 140 state 291 scope_precis_elem : EXACTLY INT IDENT . (173) . reduce 173 state 292 scope_precis_elem : INT . IDENT (172) IDENT shift 249 . error state 293 scope : INT BUT scope_precis . (168) . reduce 168 state 294 check : check_mot IDENT FOR scope EXPECTS INT . (166) . reduce 166 state 295 scope_precis : scope_precis_elem VIRGULE scope_precis . (171) . reduce 171 state 296 typefleche : IDENT FLECHE . IDENT (134) typefleche : IDENT FLECHE . typefleche (135) IDENT shift 304 . error typefleche goto 305 state 297 param : IDENT DP SET IDENT . (132) . reduce 132 state 298 instruction : FUN IDENT param_seq DP set relation ACCG . relation ACCD (150) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 306 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 299 arg_liste : relation VIRGULE arg_liste . (125) . reduce 125 state 300 relation8 : IF formule THEN relation . ELSE relation (48) ELSE shift 307 . error state 301 relation3 : relation3nl CROCHETG relation CROCHETD . (22) relation3nl : relation3nl CROCHETG relation CROCHETD . (24) error reduce 22 IDENT reduce 22 PLUS reduce 24 MOINS reduce 24 PLUSPLUS reduce 24 INTER reduce 24 FLECHE reduce 24 CROCHETG reduce 24 CROCHETD reduce 22 TILDE reduce 22 PARG reduce 22 PARD reduce 22 UNIV reduce 22 IDEN reduce 22 NONE reduce 22 BARRE reduce 22 THEN reduce 22 ELSE reduce 22 LET reduce 22 VIRGULE reduce 22 EQ reduce 24 OR reduce 24 IMPLIES reduce 24 AND reduce 24 NOT reduce 22 SOME reduce 22 NO reduce 22 LONE reduce 22 ONE reduce 22 IN reduce 24 ALL reduce 22 ACCG reduce 22 ACCD reduce 22 GT reduce 22 state 302 varlist_quant0 : IDENT DP relation VIRGULE . varlist_quant0 (118) IDENT shift 153 . error varlist_quant0 goto 308 state 303 reldef : IDENT DP SET IDENT . (142) . reduce 142 state 304 typefleche : IDENT . FLECHE IDENT (134) typefleche : IDENT FLECHE IDENT . (134) typefleche : IDENT . FLECHE typefleche (135) FLECHE shift 296 PARD reduce 134 VIRGULE reduce 134 ACCD reduce 134 state 305 typefleche : IDENT FLECHE typefleche . (135) . reduce 135 state 306 instruction : FUN IDENT param_seq DP set relation ACCG relation . ACCD (150) ACCD shift 309 . error state 307 relation8 : IF formule THEN relation ELSE . relation (48) error shift 103 IDENT shift 148 TILDE shift 105 PARG shift 139 UNIV shift 107 IDEN shift 108 NONE shift 109 IF shift 110 LET shift 50 . error relation goto 310 relation0 goto 112 relation0nl goto 175 relation05 goto 114 relation05nl goto 115 relation1 goto 116 relation1nl goto 117 relation2 goto 118 relation2nl goto 119 relation3 goto 120 relation3nl goto 121 relation4 goto 122 relation4nl goto 123 relation5 goto 124 relation5nl goto 125 relation6 goto 126 relation6nl goto 127 relation7 goto 128 relation7nl goto 66 relation8 goto 129 relation8nl goto 67 affectation goto 142 state 308 varlist_quant0 : IDENT DP relation VIRGULE varlist_quant0 . (118) . reduce 118 state 309 instruction : FUN IDENT param_seq DP set relation ACCG relation ACCD . (150) . reduce 150 state 310 relation8 : IF formule THEN relation ELSE relation . (48) . reduce 48 Rules never reduced: formule0nl : formule1nl (65) formule0nl : formule_disjonction_nl (66) formule_disjonction_nl : formule1nl OR formule1nl (67) formule_disjonction_nl : formule1nl OR formule_disjonction_nl (68) els : ELSE (75) els : VIRGULE (76) 61 terminals, 70 nonterminals 179 grammar rules, 311 states