1State 0: 2 input ::= * expr 3 colset ::= * MINUS LCP colsetlist RCP 4 colset ::= * LCP colsetlist RCP 5 colset ::= * STRING 6 colset ::= * MINUS STRING 7 expr ::= * expr AND expr 8 expr ::= * expr OR expr 9 expr ::= * expr NOT expr 10 expr ::= * colset COLON LP expr RP 11 expr ::= * LP expr RP 12 expr ::= * exprlist 13 exprlist ::= * cnearset 14 exprlist ::= * exprlist cnearset 15 cnearset ::= * nearset 16 cnearset ::= * colset COLON nearset 17 nearset ::= * phrase 18 nearset ::= * CARET phrase 19 nearset ::= * STRING LP nearphrases neardist_opt RP 20 phrase ::= * phrase PLUS STRING star_opt 21 phrase ::= * STRING star_opt 22 23 MINUS shift 24 24 LCP shift 16 25 STRING shift 11 26 LP shift 1 27 CARET shift 13 28 input accept 29 expr shift 20 30 cnearset shift-reduce 13 exprlist ::= cnearset 31 exprlist shift 6 32 colset shift 28 33 nearset shift-reduce 15 cnearset ::= nearset 34 phrase shift 26 35 36State 1: 37 colset ::= * MINUS LCP colsetlist RCP 38 colset ::= * LCP colsetlist RCP 39 colset ::= * STRING 40 colset ::= * MINUS STRING 41 expr ::= * expr AND expr 42 expr ::= * expr OR expr 43 expr ::= * expr NOT expr 44 expr ::= * colset COLON LP expr RP 45 expr ::= * LP expr RP 46 expr ::= LP * expr RP 47 expr ::= * exprlist 48 exprlist ::= * cnearset 49 exprlist ::= * exprlist cnearset 50 cnearset ::= * nearset 51 cnearset ::= * colset COLON nearset 52 nearset ::= * phrase 53 nearset ::= * CARET phrase 54 nearset ::= * STRING LP nearphrases neardist_opt RP 55 phrase ::= * phrase PLUS STRING star_opt 56 phrase ::= * STRING star_opt 57 58 MINUS shift 24 59 LCP shift 16 60 STRING shift 11 61 LP shift 1 62 CARET shift 13 63 expr shift 18 64 cnearset shift-reduce 13 exprlist ::= cnearset 65 exprlist shift 6 66 colset shift 28 67 nearset shift-reduce 15 cnearset ::= nearset 68 phrase shift 26 69 70State 2: 71 colset ::= * MINUS LCP colsetlist RCP 72 colset ::= * LCP colsetlist RCP 73 colset ::= * STRING 74 colset ::= * MINUS STRING 75 expr ::= * expr AND expr 76 expr ::= * expr OR expr 77 expr ::= * expr NOT expr 78 expr ::= * colset COLON LP expr RP 79 expr ::= colset COLON LP * expr RP 80 expr ::= * LP expr RP 81 expr ::= * exprlist 82 exprlist ::= * cnearset 83 exprlist ::= * exprlist cnearset 84 cnearset ::= * nearset 85 cnearset ::= * colset COLON nearset 86 nearset ::= * phrase 87 nearset ::= * CARET phrase 88 nearset ::= * STRING LP nearphrases neardist_opt RP 89 phrase ::= * phrase PLUS STRING star_opt 90 phrase ::= * STRING star_opt 91 92 MINUS shift 24 93 LCP shift 16 94 STRING shift 11 95 LP shift 1 96 CARET shift 13 97 expr shift 19 98 cnearset shift-reduce 13 exprlist ::= cnearset 99 exprlist shift 6 100 colset shift 28 101 nearset shift-reduce 15 cnearset ::= nearset 102 phrase shift 26 103 104State 3: 105 colset ::= * MINUS LCP colsetlist RCP 106 colset ::= * LCP colsetlist RCP 107 colset ::= * STRING 108 colset ::= * MINUS STRING 109 expr ::= * expr AND expr 110 expr ::= * expr OR expr 111 expr ::= * expr NOT expr 112 expr ::= expr NOT * expr 113 expr ::= * colset COLON LP expr RP 114 expr ::= * LP expr RP 115 expr ::= * exprlist 116 exprlist ::= * cnearset 117 exprlist ::= * exprlist cnearset 118 cnearset ::= * nearset 119 cnearset ::= * colset COLON nearset 120 nearset ::= * phrase 121 nearset ::= * CARET phrase 122 nearset ::= * STRING LP nearphrases neardist_opt RP 123 phrase ::= * phrase PLUS STRING star_opt 124 phrase ::= * STRING star_opt 125 126 MINUS shift 24 127 LCP shift 16 128 STRING shift 11 129 LP shift 1 130 CARET shift 13 131 expr shift-reduce 9 expr ::= expr NOT expr 132 cnearset shift-reduce 13 exprlist ::= cnearset 133 exprlist shift 6 134 colset shift 28 135 nearset shift-reduce 15 cnearset ::= nearset 136 phrase shift 26 137 138State 4: 139 colset ::= * MINUS LCP colsetlist RCP 140 colset ::= * LCP colsetlist RCP 141 colset ::= * STRING 142 colset ::= * MINUS STRING 143 expr ::= * expr AND expr 144 expr ::= * expr OR expr 145 expr ::= expr OR * expr 146 expr ::= * expr NOT expr 147 expr ::= * colset COLON LP expr RP 148 expr ::= * LP expr RP 149 expr ::= * exprlist 150 exprlist ::= * cnearset 151 exprlist ::= * exprlist cnearset 152 cnearset ::= * nearset 153 cnearset ::= * colset COLON nearset 154 nearset ::= * phrase 155 nearset ::= * CARET phrase 156 nearset ::= * STRING LP nearphrases neardist_opt RP 157 phrase ::= * phrase PLUS STRING star_opt 158 phrase ::= * STRING star_opt 159 160 MINUS shift 24 161 LCP shift 16 162 STRING shift 11 163 LP shift 1 164 CARET shift 13 165 expr shift 21 166 cnearset shift-reduce 13 exprlist ::= cnearset 167 exprlist shift 6 168 colset shift 28 169 nearset shift-reduce 15 cnearset ::= nearset 170 phrase shift 26 171 172State 5: 173 colset ::= * MINUS LCP colsetlist RCP 174 colset ::= * LCP colsetlist RCP 175 colset ::= * STRING 176 colset ::= * MINUS STRING 177 expr ::= * expr AND expr 178 expr ::= expr AND * expr 179 expr ::= * expr OR expr 180 expr ::= * expr NOT expr 181 expr ::= * colset COLON LP expr RP 182 expr ::= * LP expr RP 183 expr ::= * exprlist 184 exprlist ::= * cnearset 185 exprlist ::= * exprlist cnearset 186 cnearset ::= * nearset 187 cnearset ::= * colset COLON nearset 188 nearset ::= * phrase 189 nearset ::= * CARET phrase 190 nearset ::= * STRING LP nearphrases neardist_opt RP 191 phrase ::= * phrase PLUS STRING star_opt 192 phrase ::= * STRING star_opt 193 194 MINUS shift 24 195 LCP shift 16 196 STRING shift 11 197 LP shift 1 198 CARET shift 13 199 expr shift 29 200 cnearset shift-reduce 13 exprlist ::= cnearset 201 exprlist shift 6 202 colset shift 28 203 nearset shift-reduce 15 cnearset ::= nearset 204 phrase shift 26 205 206State 6: 207 colset ::= * MINUS LCP colsetlist RCP 208 colset ::= * LCP colsetlist RCP 209 colset ::= * STRING 210 colset ::= * MINUS STRING 211 (12) expr ::= exprlist * 212 exprlist ::= exprlist * cnearset 213 cnearset ::= * nearset 214 cnearset ::= * colset COLON nearset 215 nearset ::= * phrase 216 nearset ::= * CARET phrase 217 nearset ::= * STRING LP nearphrases neardist_opt RP 218 phrase ::= * phrase PLUS STRING star_opt 219 phrase ::= * STRING star_opt 220 221 MINUS shift 24 222 LCP shift 16 223 STRING shift 11 224 CARET shift 13 225 cnearset shift-reduce 14 exprlist ::= exprlist cnearset 226 colset shift 27 227 nearset shift-reduce 15 cnearset ::= nearset 228 phrase shift 26 229 {default} reduce 12 expr ::= exprlist 230 231State 7: 232 expr ::= colset COLON * LP expr RP 233 cnearset ::= colset COLON * nearset 234 nearset ::= * phrase 235 nearset ::= * CARET phrase 236 nearset ::= * STRING LP nearphrases neardist_opt RP 237 phrase ::= * phrase PLUS STRING star_opt 238 phrase ::= * STRING star_opt 239 240 STRING shift 12 241 LP shift 2 242 CARET shift 13 243 nearset shift-reduce 16 cnearset ::= colset COLON nearset 244 phrase shift 26 245 246State 8: 247 cnearset ::= colset COLON * nearset 248 nearset ::= * phrase 249 nearset ::= * CARET phrase 250 nearset ::= * STRING LP nearphrases neardist_opt RP 251 phrase ::= * phrase PLUS STRING star_opt 252 phrase ::= * STRING star_opt 253 254 STRING shift 12 255 CARET shift 13 256 nearset shift-reduce 16 cnearset ::= colset COLON nearset 257 phrase shift 26 258 259State 9: 260 nearset ::= STRING LP nearphrases * neardist_opt RP 261 nearphrases ::= nearphrases * phrase 262 (22) neardist_opt ::= * 263 neardist_opt ::= * COMMA STRING 264 phrase ::= * phrase PLUS STRING star_opt 265 phrase ::= * STRING star_opt 266 267 STRING shift 14 268 COMMA shift 31 269 phrase shift 33 270 neardist_opt shift 34 271 {default} reduce 22 neardist_opt ::= 272 273State 10: 274 nearset ::= STRING LP * nearphrases neardist_opt RP 275 nearphrases ::= * phrase 276 nearphrases ::= * nearphrases phrase 277 phrase ::= * phrase PLUS STRING star_opt 278 phrase ::= * STRING star_opt 279 280 STRING shift 14 281 nearphrases shift 9 282 phrase shift 30 283 284State 11: 285 (3) colset ::= STRING * 286 nearset ::= STRING * LP nearphrases neardist_opt RP 287 phrase ::= STRING * star_opt 288 star_opt ::= * STAR 289 (27) star_opt ::= * 290 291 COLON reduce 3 colset ::= STRING 292 LP shift 10 293 STAR shift-reduce 26 star_opt ::= STAR 294 star_opt shift-reduce 25 phrase ::= STRING star_opt 295 {default} reduce 27 star_opt ::= 296 297State 12: 298 nearset ::= STRING * LP nearphrases neardist_opt RP 299 phrase ::= STRING * star_opt 300 star_opt ::= * STAR 301 (27) star_opt ::= * 302 303 LP shift 10 304 STAR shift-reduce 26 star_opt ::= STAR 305 star_opt shift-reduce 25 phrase ::= STRING star_opt 306 {default} reduce 27 star_opt ::= 307 308State 13: 309 nearset ::= CARET * phrase 310 phrase ::= * phrase PLUS STRING star_opt 311 phrase ::= * STRING star_opt 312 313 STRING shift 14 314 phrase shift 25 315 316State 14: 317 phrase ::= STRING * star_opt 318 star_opt ::= * STAR 319 (27) star_opt ::= * 320 321 STAR shift-reduce 26 star_opt ::= STAR 322 star_opt shift-reduce 25 phrase ::= STRING star_opt 323 {default} reduce 27 star_opt ::= 324 325State 15: 326 phrase ::= phrase PLUS STRING * star_opt 327 star_opt ::= * STAR 328 (27) star_opt ::= * 329 330 STAR shift-reduce 26 star_opt ::= STAR 331 star_opt shift-reduce 24 phrase ::= phrase PLUS STRING star_opt 332 {default} reduce 27 star_opt ::= 333 334State 16: 335 colset ::= LCP * colsetlist RCP 336 colsetlist ::= * colsetlist STRING 337 colsetlist ::= * STRING 338 339 STRING shift-reduce 6 colsetlist ::= STRING 340 colsetlist shift 22 341 342State 17: 343 colset ::= MINUS LCP * colsetlist RCP 344 colsetlist ::= * colsetlist STRING 345 colsetlist ::= * STRING 346 347 STRING shift-reduce 6 colsetlist ::= STRING 348 colsetlist shift 23 349 350State 18: 351 expr ::= expr * AND expr 352 expr ::= expr * OR expr 353 expr ::= expr * NOT expr 354 expr ::= LP expr * RP 355 356 OR shift 4 357 AND shift 5 358 NOT shift 3 359 RP shift-reduce 11 expr ::= LP expr RP 360 361State 19: 362 expr ::= expr * AND expr 363 expr ::= expr * OR expr 364 expr ::= expr * NOT expr 365 expr ::= colset COLON LP expr * RP 366 367 OR shift 4 368 AND shift 5 369 NOT shift 3 370 RP shift-reduce 10 expr ::= colset COLON LP expr RP 371 372State 20: 373 (0) input ::= expr * 374 expr ::= expr * AND expr 375 expr ::= expr * OR expr 376 expr ::= expr * NOT expr 377 378 $ reduce 0 input ::= expr 379 OR shift 4 380 AND shift 5 381 NOT shift 3 382 383State 21: 384 expr ::= expr * AND expr 385 expr ::= expr * OR expr 386 (8) expr ::= expr OR expr * 387 expr ::= expr * NOT expr 388 389 AND shift 5 390 NOT shift 3 391 {default} reduce 8 expr ::= expr OR expr 392 393State 22: 394 colset ::= LCP colsetlist * RCP 395 colsetlist ::= colsetlist * STRING 396 397 RCP shift-reduce 2 colset ::= LCP colsetlist RCP 398 STRING shift-reduce 5 colsetlist ::= colsetlist STRING 399 400State 23: 401 colset ::= MINUS LCP colsetlist * RCP 402 colsetlist ::= colsetlist * STRING 403 404 RCP shift-reduce 1 colset ::= MINUS LCP colsetlist RCP 405 STRING shift-reduce 5 colsetlist ::= colsetlist STRING 406 407State 24: 408 colset ::= MINUS * LCP colsetlist RCP 409 colset ::= MINUS * STRING 410 411 LCP shift 17 412 STRING shift-reduce 4 colset ::= MINUS STRING 413 414State 25: 415 (18) nearset ::= CARET phrase * 416 phrase ::= phrase * PLUS STRING star_opt 417 418 PLUS shift 32 419 {default} reduce 18 nearset ::= CARET phrase 420 421State 26: 422 (17) nearset ::= phrase * 423 phrase ::= phrase * PLUS STRING star_opt 424 425 PLUS shift 32 426 {default} reduce 17 nearset ::= phrase 427 428State 27: 429 cnearset ::= colset * COLON nearset 430 431 COLON shift 8 432 433State 28: 434 expr ::= colset * COLON LP expr RP 435 cnearset ::= colset * COLON nearset 436 437 COLON shift 7 438 439State 29: 440 expr ::= expr * AND expr 441 (7) expr ::= expr AND expr * 442 expr ::= expr * OR expr 443 expr ::= expr * NOT expr 444 445 NOT shift 3 446 {default} reduce 7 expr ::= expr AND expr 447 448State 30: 449 (20) nearphrases ::= phrase * 450 phrase ::= phrase * PLUS STRING star_opt 451 452 PLUS shift 32 453 {default} reduce 20 nearphrases ::= phrase 454 455State 31: 456 neardist_opt ::= COMMA * STRING 457 458 STRING shift-reduce 23 neardist_opt ::= COMMA STRING 459 460State 32: 461 phrase ::= phrase PLUS * STRING star_opt 462 463 STRING shift 15 464 465State 33: 466 (21) nearphrases ::= nearphrases phrase * 467 phrase ::= phrase * PLUS STRING star_opt 468 469 PLUS shift 32 470 {default} reduce 21 nearphrases ::= nearphrases phrase 471 472State 34: 473 nearset ::= STRING LP nearphrases neardist_opt * RP 474 475 RP shift-reduce 19 nearset ::= STRING LP nearphrases neardist_opt RP 476 477---------------------------------------------------- 478Symbols: 479The first-set of non-terminals is shown after the name. 480 481 0: $: 482 1: OR (precedence=1) 483 2: AND (precedence=2) 484 3: NOT (precedence=3) 485 4: TERM (precedence=4) 486 5: COLON (precedence=5) 487 6: MINUS 488 7: LCP 489 8: RCP 490 9: STRING 491 10: LP 492 11: RP 493 12: CARET 494 13: COMMA 495 14: PLUS 496 15: STAR 497 16: input: MINUS LCP STRING LP CARET 498 17: expr: MINUS LCP STRING LP CARET 499 18: cnearset: MINUS LCP STRING CARET 500 19: exprlist: MINUS LCP STRING CARET 501 20: colset: MINUS LCP STRING 502 21: colsetlist: STRING 503 22: nearset: STRING CARET 504 23: nearphrases: STRING 505 24: phrase: STRING 506 25: neardist_opt: <lambda> COMMA 507 26: star_opt: <lambda> STAR 508---------------------------------------------------- 509Syntax-only Symbols: 510The following symbols never carry semantic content. 511 512$ OR AND NOT TERM COLON MINUS LCP RCP LP RP CARET COMMA PLUS STAR input 513---------------------------------------------------- 514Rules: 515 0: input ::= expr. 516 1: colset ::= MINUS LCP colsetlist RCP. 517 2: colset ::= LCP colsetlist RCP. 518 3: colset ::= STRING. 519 4: colset ::= MINUS STRING. 520 5: colsetlist ::= colsetlist STRING. 521 6: colsetlist ::= STRING. 522 7: expr ::= expr AND expr. [AND precedence=2] 523 8: expr ::= expr OR expr. [OR precedence=1] 524 9: expr ::= expr NOT expr. [NOT precedence=3] 525 10: expr ::= colset COLON LP expr RP. [COLON precedence=5] 526 11: expr ::= LP expr RP. 527 12: expr ::= exprlist. 528 13: exprlist ::= cnearset. 529 14: exprlist ::= exprlist cnearset. 530 15: cnearset ::= nearset. 531 16: cnearset ::= colset COLON nearset. [COLON precedence=5] 532 17: nearset ::= phrase. 533 18: nearset ::= CARET phrase. 534 19: nearset ::= STRING LP nearphrases neardist_opt RP. 535 20: nearphrases ::= phrase. 536 21: nearphrases ::= nearphrases phrase. 537 22: neardist_opt ::=. 538 23: neardist_opt ::= COMMA STRING. 539 24: phrase ::= phrase PLUS STRING star_opt. 540 25: phrase ::= STRING star_opt. 541 26: star_opt ::= STAR. 542 27: star_opt ::=. 543