Terminals unused in grammar

   IMAGE
   IGNORE
   BADTOK
   APPLY
   BAG
   BODY
   COMP
   DECL
   EQUAL
   EXT
   GIVEN
   IDENT
   INLHS
   JUST
   LHS
   MEMBER
   NOTHING
   PRELHS
   REF
   SDEF
   SREF
   SELECT
   TEXT
   SEQ
   TUPLE
   CONS
   DATA
   ARM
   BINDING
   LETDEF
   PRED
   AXDEF
   DEFINE
   RENAME
   SHEAD
   PARA
   SEXPR
   SPRED
   SDECL
   LETEXPR
   LETPRED
   SNOT
   SAND
   SOR
   SIMPLIES
   SEQUIV
   SEXISTS
   SFORALL
   SEXISTS1
   MAX_TOKEN


Grammar

    0 $accept: text $end

    1 text: text section
    2     | %empty

    3 section: para
    4        | error

    5 para: box
    6     | display
    7     | dir

    8 $@1: %empty

    9 box: BAXDEF $@1 long.schema

   10 $@2: %empty

   11 box: BGENDEF $@2 g.formal.opt long.schema

   12 $@3: %empty

   13 box: BSCHEMA $@3 schema.head long.schema

   14 display: display.begin zed.text end

   15 zed.text: short.para
   16         | zed.text sep short.para

   17 display.begin: BZED
   18              | BSYNTAX

   19 end: EAXDEF
   20    | EGENDEF
   21    | ESCHEMA
   22    | EZED
   23    | ESYNTAX

   24 long.schema: decl.part WHERE axiom.part
   25            | decl.part end

   26 axiom.part: axioms end
   27           | error end

   28 axioms: pred
   29       | axioms sep pred

   30 sep: ';'
   31    | NL

   32 short.para: short.para.ok
   33           | error

   34 short.para.ok: '[' dname.list ']'
   35              | schema.lhs DEFEQ sexp
   36              | def.lhs EQEQ expr
   37              | schema.lhs DEFEQ
   38              | ident COCOEQ data.rhs
   39              | pred
   40              | sexp VDASH pred

   41 def.lhs: ident g.formal.opt
   42        | '(' op.name ')' g.formal.opt
   43        | PREGEN decor ident
   44        | ident INGEN decor ident

   45 schema.lhs: ident g.formal.opt
   46           | sname decor g.formal.opt

   47 schema.head: '{' future.sname '}' g.formal.opt
   48            | '{' future.sname gen.formals '}'

   49 future.sname: sname
   50             | WORD

   51 sname: SNAME
   52      | GREEK SNAME
   53      | GREEK WORD

   54 dir: XPREGEN symbols EDIR
   55    | XINGEN symbols EDIR
   56    | XPREREL symbols EDIR
   57    | XINREL symbols EDIR
   58    | XINOP symbols NUMBER EDIR
   59    | XPOSTOP symbols EDIR
   60    | XABBREV symbols EDIR
   61    | XTAME symbols EDIR
   62    | XPNAME symbol STRING EDIR
   63    | XTOKEN STRING NUMBER EDIR
   64    | XIGNORE symbols EDIR
   65    | XDEBUG STRING EDIR
   66    | XLINE NUMBER string.opt EDIR

   67 string.opt: STRING
   68           | %empty

   69 data.rhs: arm
   70         | data.rhs '|' arm

   71 arm: ident
   72    | vname LDATA expr RDATA

   73 schema: decl.seq pred.seq.opt

   74 sref: sname sref.tail

   75 sref.tail: decor '[' expr.list ']' rename.opt
   76          | decor rename.opt

   77 rename.opt: '[' rename.list ']'
   78           | %empty

   79 rename.list: rename
   80            | rename.list ',' rename

   81 rename: dname '/' dname

   82 decl.part: easy.decl
   83          | decl.part sep easy.decl

   84 decl: dname.list ':' expr
   85     | sref

   86 easy.decl: decl
   87          | WORD sref.tail

   88 sexp: logic

   89 pred: logic

   90 logic: FORALL schema '@' logic
   91      | EXISTS schema '@' logic
   92      | EXISTS1 schema '@' logic
   93      | LET let.defs '@' logic
   94      | logic1

   95 logic1: rel.chain
   96       | PREREL decor expr
   97       | bra.sref
   98       | '[' schema ']'
   99       | TRUTH
  100       | FALSITY
  101       | NOT logic1
  102       | PRE logic1
  103       | logic1 AND logic1
  104       | logic1 OR logic1
  105       | logic1 IMPLIES logic1
  106       | logic1 EQUIV logic1
  107       | logic1 PROJECT logic1
  108       | logic1 HIDE '(' dname.list ')'
  109       | logic1 FATSEMI logic1
  110       | logic1 PIPE logic1
  111       | '(' logic ')'
  112       | '(' logic
  113       | quant

  114 quant: FORALL
  115      | EXISTS
  116      | EXISTS1

  117 rel.chain: expr mark.expr rel.item
  118          | rel.chain rel.item

  119 rel.item: last.expr '=' expr mark.expr
  120         | last.expr IN expr mark.expr
  121         | last.expr relation expr mark.expr

  122 mark.expr: %empty

  123 last.expr: %empty

  124 expr0: quant.expr
  125      | expr

  126 quant.expr: LAMBDA schema '@' expr
  127           | MU schema expr.opt
  128           | LET let.defs '@' expr

  129 let.defs: let.def
  130         | let.defs ';' let.def

  131 let.def: vname EQEQ expr

  132 expr: IF pred THEN expr ELSE expr
  133     | expr0.5

  134 expr0.5: expr0.5 INGEN decor expr0.5
  135        | product
  136        | expr1
  137        | bad.exp.quant

  138 bad.exp.quant: LAMBDA
  139              | MU
  140              | LET

  141 expr0.5: ident INGEN decor expr0.5

  142 product: expr1 CROSS expr1
  143        | product CROSS expr1

  144 expr1: op.chain

  145 op.chain: expr1.5
  146         | expr1.5 inop decor op.chain

  147 inop: '-'
  148     | INOP

  149 expr1.5: POWER expr3
  150        | PREGEN decor expr3
  151        | '-' decor expr3
  152        | expr3 LIMG expr0 RIMG decor
  153        | expr2

  154 expr2: expr2 expr3
  155      | expr3

  156 expr3: ident g.actual.opt
  157      | '(' op.name ')' g.actual.opt
  158      | NUMBER
  159      | bra.sref
  160      | set
  161      | LANGLE binding.list RANGLE
  162      | '(' expr ',' expr.list ')'
  163      | LANGLE expr.list.opt RANGLE
  164      | LBAG expr.list.opt RBAG
  165      | theta
  166      | expr3 '.' selector
  167      | expr3 POSTOP decor
  168      | expr3 BSUP expr ESUP
  169      | expr3 '^' '{' expr '}'
  170      | '(' expr ')'
  171      | '(' quant.expr ')'

  172 selector: vname
  173         | theta

  174 binding.list: binding
  175             | binding.list ',' binding

  176 binding: dname BIND expr

  177 theta: THETA word decor rename.opt

  178 expr3: '(' expr mark.expr last.expr
  179      | '(' expr ',' expr.list

  180 set: LBRACE expr.list.opt RBRACE
  181    | LBRACE schema expr.opt RBRACE
  182    | LBRACE some.idents expr.list RBRACE
  183    | LBRACE set.decl more.decls pred.seq.opt expr.opt RBRACE
  184    | LBRACE sref RBRACE

  185 set.decl: some.idents dname.list ':' expr

  186 some.idents: ident ','
  187            | some.idents ident ','

  188 more.decls: ';' decl.seq
  189           | %empty

  190 bra.sref: '(' bra.sref ')'
  191         | '(' LET let.defs '@' bra.sref ')'
  192         | sref

  193 g.actual.opt: '[' ref.head ident ']'
  194             | '[' ref.head expr.list ']'
  195             | '[' ident ']'
  196             | '[' expr.list ']'
  197             | %empty

  198 g.formal.opt: gen.formals
  199             | %empty

  200 gen.formals: '[' ref.head ident ']'
  201            | '[' ident ']'

  202 ref.head: ident ','
  203         | ref.head ident ','

  204 decl.seq: decl
  205         | decl.seq ';' decl

  206 pred.seq.opt: '|' pred.seq
  207             | %empty

  208 pred.seq: pred
  209         | pred.seq ';' pred

  210 expr.list: expr
  211          | expr.list ',' expr

  212 expr.list.opt: expr.list
  213              | %empty

  214 expr.opt: '@' expr
  215         | %empty

  216 dname.list: dname
  217           | dname.list ',' dname

  218 vname: ident
  219      | '(' op.name ')'

  220 dname: ident
  221      | op.name

  222 ident: WORD decor

  223 op.name: DUMMY in.sym decor DUMMY
  224        | DUMMY relation DUMMY
  225        | PREGEN decor DUMMY
  226        | PREREL decor DUMMY
  227        | DUMMY post.sym decor
  228        | '-' decor
  229        | DUMMY LIMG DUMMY RIMG decor

  230 pre.sym: PREGEN
  231        | PREREL

  232 in.sym: INOP
  233       | INGEN
  234       | '-'

  235 post.sym: POSTOP

  236 relation: INREL decor
  237         | YINREL '{' ident '}'

  238 decor: DECOR
  239      | %empty

  240 word: WORD
  241     | sname

  242 symbol: word
  243       | pre.sym
  244       | in.sym
  245       | post.sym
  246       | INREL
  247       | LIMG RIMG

  248 symbols: symbol
  249        | symbols symbol


Terminals, with rules where they appear

$end (0) 0
'(' (40) 42 108 111 112 157 162 170 171 178 179 190 191 219
')' (41) 42 108 111 157 162 170 171 190 191 219
',' (44) 80 162 175 179 186 187 202 203 211 217
'-' (45) 147 151 228 234
'.' (46) 166
'/' (47) 81
':' (58) 84 185
';' (59) 30 130 188 205 209
'=' (61) 119
'@' (64) 90 91 92 93 126 128 191 214
'[' (91) 34 75 77 98 193 194 195 196 200 201
']' (93) 34 75 77 98 193 194 195 196 200 201
'^' (94) 169
'{' (123) 47 48 169 237
'|' (124) 70 206
'}' (125) 47 48 169 237
error (256) 4 27 33
AND (258) 103
BAXDEF (259) 9
BGENDEF (260) 11
BSCHEMA (261) 13
BSUP (262) 168
BSYNTAX (263) 18
BZED (264) 17
COCOEQ (265) 38
CROSS (266) 142 143
DECOR (267) 238
DEFEQ (268) 35 37
DUMMY (269) 223 224 225 226 227 229
EAXDEF (270) 19
EGENDEF (271) 20
EQEQ (272) 36 131
EQUIV (273) 106
ESCHEMA (274) 21
ESUP (275) 168
ESYNTAX (276) 23
EXISTS (277) 91 115
EXISTS1 (278) 92 116
EZED (279) 22
FALSITY (280) 100
FATSEMI (281) 109
FORALL (282) 90 114
GREEK (283) 52 53
HIDE (284) 108
IMPLIES (285) 105
IN (286) 120
INGEN (287) 44 134 141 233
INREL (288) 236 246
LAMBDA (289) 126 138
LBAG (290) 164
LDATA (291) 72
LET (292) 93 128 140 191
LIMG (293) 152 229 247
MU (294) 127 139
NL (295) 31
NOT (296) 101
NUMBER (297) 58 63 66 158
OR (298) 104
PIPE (299) 110
POWER (300) 149
PRE (301) 102
PROJECT (302) 107
RBAG (303) 164
RDATA (304) 72
RIMG (305) 152 229 247
THETA (306) 177
TRUTH (307) 99
UMINUS (308)
VDASH (309) 40
WHERE (310) 24
WORD (311) 50 53 87 222 240
XINGEN (312) 55
XINOP (313) 58
XINREL (314) 57
XPOSTOP (315) 59
XPREGEN (316) 54
XPREREL (317) 56
XABBREV (318) 60
XTAME (319) 61
XPNAME (320) 62
SNAME (321) 51 52
PREGEN (322) 43 150 225 230
PREREL (323) 96 226 231
POSTOP (324) 167 235
IMAGE (325)
STRING (326) 62 63 65 67
LBRACE (327) 180 181 182 183 184
RBRACE (328) 180 181 182 183 184
YINREL (329) 237
EDIR (330) 54 55 56 57 58 59 60 61 62 63 64 65 66
IF (331) 132
THEN (332) 132
ELSE (333) 132
LANGLE (334) 161 163
BIND (335) 176
RANGLE (336) 161 163
XTOKEN (337) 63
XIGNORE (338) 64
IGNORE (339)
XDEBUG (340) 65
XLINE (341) 66
BADTOK (342)
APPLY (343)
BAG (344)
BODY (345)
COMP (346)
DECL (347)
EQUAL (348)
EXT (349)
GIVEN (350)
IDENT (351)
INLHS (352)
INOP (353) 148 232
JUST (354)
LHS (355)
MEMBER (356)
NOTHING (357)
PRELHS (358)
REF (359)
SDEF (360)
SREF (361)
SELECT (362)
TEXT (363)
SEQ (364)
TUPLE (365)
CONS (366)
DATA (367)
ARM (368)
BINDING (369)
LETDEF (370)
PRED (371)
AXDEF (372)
DEFINE (373)
RENAME (374)
SHEAD (375)
PARA (376)
SEXPR (377)
SPRED (378)
SDECL (379)
LETEXPR (380)
LETPRED (381)
SNOT (382)
SAND (383)
SOR (384)
SIMPLIES (385)
SEQUIV (386)
SEXISTS (387)
SFORALL (388)
SEXISTS1 (389)
ERROR (390)
SET (391)
MAX_TOKEN (392)


Nonterminals, with rules where they appear

$accept (154)
    on left: 0
text (155)
    on left: 1 2, on right: 0 1
section (156)
    on left: 3 4, on right: 1
para (157)
    on left: 5 6 7, on right: 3
box (158)
    on left: 9 11 13, on right: 5
$@1 (159)
    on left: 8, on right: 9
$@2 (160)
    on left: 10, on right: 11
$@3 (161)
    on left: 12, on right: 13
display (162)
    on left: 14, on right: 6
zed.text (163)
    on left: 15 16, on right: 14 16
display.begin (164)
    on left: 17 18, on right: 14
end (165)
    on left: 19 20 21 22 23, on right: 14 25 26 27
long.schema (166)
    on left: 24 25, on right: 9 11 13
axiom.part (167)
    on left: 26 27, on right: 24
axioms (168)
    on left: 28 29, on right: 26 29
sep (169)
    on left: 30 31, on right: 16 29 83
short.para (170)
    on left: 32 33, on right: 15 16
short.para.ok (171)
    on left: 34 35 36 37 38 39 40, on right: 32
def.lhs (172)
    on left: 41 42 43 44, on right: 36
schema.lhs (173)
    on left: 45 46, on right: 35 37
schema.head (174)
    on left: 47 48, on right: 13
future.sname (175)
    on left: 49 50, on right: 47 48
sname (176)
    on left: 51 52 53, on right: 46 49 74 241
dir (177)
    on left: 54 55 56 57 58 59 60 61 62 63 64 65 66, on right: 7
string.opt (178)
    on left: 67 68, on right: 66
data.rhs (179)
    on left: 69 70, on right: 38 70
arm (180)
    on left: 71 72, on right: 69 70
schema (181)
    on left: 73, on right: 90 91 92 98 126 127 181
sref (182)
    on left: 74, on right: 85 184 192
sref.tail (183)
    on left: 75 76, on right: 74 87
rename.opt (184)
    on left: 77 78, on right: 75 76 177
rename.list (185)
    on left: 79 80, on right: 77 80
rename (186)
    on left: 81, on right: 79 80
decl.part (187)
    on left: 82 83, on right: 24 25 83
decl (188)
    on left: 84 85, on right: 86 204 205
easy.decl (189)
    on left: 86 87, on right: 82 83
sexp (190)
    on left: 88, on right: 35 40
pred (191)
    on left: 89, on right: 28 29 39 40 132 208 209
logic (192)
    on left: 90 91 92 93 94, on right: 88 89 90 91 92 93 111 112
logic1 (193)
    on left: 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
    110 111 112 113, on right: 94 101 102 103 104 105 106 107 108 109
    110
quant (194)
    on left: 114 115 116, on right: 113
rel.chain (195)
    on left: 117 118, on right: 95 118
rel.item (196)
    on left: 119 120 121, on right: 117 118
mark.expr (197)
    on left: 122, on right: 117 119 120 121 178
last.expr (198)
    on left: 123, on right: 119 120 121 178
expr0 (199)
    on left: 124 125, on right: 152
quant.expr (200)
    on left: 126 127 128, on right: 124 171
let.defs (201)
    on left: 129 130, on right: 93 128 130 191
let.def (202)
    on left: 131, on right: 129 130
expr (203)
    on left: 132 133, on right: 36 72 84 96 117 119 120 121 125 126
    128 131 132 162 168 169 170 176 178 179 185 210 211 214
expr0.5 (204)
    on left: 134 135 136 137 141, on right: 133 134 141
bad.exp.quant (205)
    on left: 138 139 140, on right: 137
product (206)
    on left: 142 143, on right: 135 143
expr1 (207)
    on left: 144, on right: 136 142 143
op.chain (208)
    on left: 145 146, on right: 144 146
inop (209)
    on left: 147 148, on right: 146
expr1.5 (210)
    on left: 149 150 151 152 153, on right: 145 146
expr2 (211)
    on left: 154 155, on right: 153 154
expr3 (212)
    on left: 156 157 158 159 160 161 162 163 164 165 166 167 168 169
    170 171 178 179, on right: 149 150 151 152 154 155 166 167 168
    169
selector (213)
    on left: 172 173, on right: 166
binding.list (214)
    on left: 174 175, on right: 161 175
binding (215)
    on left: 176, on right: 174 175
theta (216)
    on left: 177, on right: 165 173
set (217)
    on left: 180 181 182 183 184, on right: 160
set.decl (218)
    on left: 185, on right: 183
some.idents (219)
    on left: 186 187, on right: 182 185 187
more.decls (220)
    on left: 188 189, on right: 183
bra.sref (221)
    on left: 190 191 192, on right: 97 159 190 191
g.actual.opt (222)
    on left: 193 194 195 196 197, on right: 156 157
g.formal.opt (223)
    on left: 198 199, on right: 11 41 42 45 46 47
gen.formals (224)
    on left: 200 201, on right: 48 198
ref.head (225)
    on left: 202 203, on right: 193 194 200 203
decl.seq (226)
    on left: 204 205, on right: 73 188 205
pred.seq.opt (227)
    on left: 206 207, on right: 73 183
pred.seq (228)
    on left: 208 209, on right: 206 209
expr.list (229)
    on left: 210 211, on right: 75 162 179 182 194 196 211 212
expr.list.opt (230)
    on left: 212 213, on right: 163 164 180
expr.opt (231)
    on left: 214 215, on right: 127 181 183
dname.list (232)
    on left: 216 217, on right: 34 84 108 185 217
vname (233)
    on left: 218 219, on right: 72 131 172
dname (234)
    on left: 220 221, on right: 81 176 216 217
ident (235)
    on left: 222, on right: 38 41 43 44 45 71 141 156 186 187 193 195
    200 201 202 203 218 220 237
op.name (236)
    on left: 223 224 225 226 227 228 229, on right: 42 157 219 221
pre.sym (237)
    on left: 230 231, on right: 243
in.sym (238)
    on left: 232 233 234, on right: 223 244
post.sym (239)
    on left: 235, on right: 227 245
relation (240)
    on left: 236 237, on right: 121 224
decor (241)
    on left: 238 239, on right: 43 44 46 75 76 96 134 141 146 150 151
    152 167 177 222 223 225 226 227 228 229 236
word (242)
    on left: 240 241, on right: 177 242
symbol (243)
    on left: 242 243 244 245 246 247, on right: 62 248 249
symbols (244)
    on left: 248 249, on right: 54 55 56 57 58 59 60 61 64 249


State 0

    0 $accept: . text $end

    $default  reduce using rule 2 (text)

    text  go to state 1


State 1

    0 $accept: text . $end
    1 text: text . section

    $end     shift, and go to state 2
    error    shift, and go to state 3
    BAXDEF   shift, and go to state 4
    BGENDEF  shift, and go to state 5
    BSCHEMA  shift, and go to state 6
    BSYNTAX  shift, and go to state 7
    BZED     shift, and go to state 8
    XINGEN   shift, and go to state 9
    XINOP    shift, and go to state 10
    XINREL   shift, and go to state 11
    XPOSTOP  shift, and go to state 12
    XPREGEN  shift, and go to state 13
    XPREREL  shift, and go to state 14
    XABBREV  shift, and go to state 15
    XTAME    shift, and go to state 16
    XPNAME   shift, and go to state 17
    XTOKEN   shift, and go to state 18
    XIGNORE  shift, and go to state 19
    XDEBUG   shift, and go to state 20
    XLINE    shift, and go to state 21

    section        go to state 22
    para           go to state 23
    box            go to state 24
    display        go to state 25
    display.begin  go to state 26
    dir            go to state 27


State 2

    0 $accept: text $end .

    $default  accept


State 3

    4 section: error .

    $default  reduce using rule 4 (section)


State 4

    9 box: BAXDEF . $@1 long.schema

    $default  reduce using rule 8 ($@1)

    $@1  go to state 28


State 5

   11 box: BGENDEF . $@2 g.formal.opt long.schema

    $default  reduce using rule 10 ($@2)

    $@2  go to state 29


State 6

   13 box: BSCHEMA . $@3 schema.head long.schema

    $default  reduce using rule 12 ($@3)

    $@3  go to state 30


State 7

   18 display.begin: BSYNTAX .

    $default  reduce using rule 18 (display.begin)


State 8

   17 display.begin: BZED .

    $default  reduce using rule 17 (display.begin)


State 9

   55 dir: XINGEN . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 48


State 10

   58 dir: XINOP . symbols NUMBER EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 49


State 11

   57 dir: XINREL . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 50


State 12

   59 dir: XPOSTOP . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 51


State 13

   54 dir: XPREGEN . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 52


State 14

   56 dir: XPREREL . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 53


State 15

   60 dir: XABBREV . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 54


State 16

   61 dir: XTAME . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 55


State 17

   62 dir: XPNAME . symbol STRING EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 56


State 18

   63 dir: XTOKEN . STRING NUMBER EDIR

    STRING  shift, and go to state 57


State 19

   64 dir: XIGNORE . symbols EDIR

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 47
    symbols   go to state 58


State 20

   65 dir: XDEBUG . STRING EDIR

    STRING  shift, and go to state 59


State 21

   66 dir: XLINE . NUMBER string.opt EDIR

    NUMBER  shift, and go to state 60


State 22

    1 text: text section .

    $default  reduce using rule 1 (text)


State 23

    3 section: para .

    $default  reduce using rule 3 (section)


State 24

    5 para: box .

    $default  reduce using rule 5 (para)


State 25

    6 para: display .

    $default  reduce using rule 6 (para)


State 26

   14 display: display.begin . zed.text end

    error    shift, and go to state 61
    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 77
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 83
    '['      shift, and go to state 84

    zed.text       go to state 85
    short.para     go to state 86
    short.para.ok  go to state 87
    def.lhs        go to state 88
    schema.lhs     go to state 89
    sname          go to state 90
    sref           go to state 91
    sexp           go to state 92
    pred           go to state 93
    logic          go to state 94
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 110


State 27

    7 para: dir .

    $default  reduce using rule 7 (para)


State 28

    9 box: BAXDEF $@1 . long.schema

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 112
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    long.schema  go to state 116
    sname        go to state 117
    sref         go to state 118
    decl.part    go to state 119
    decl         go to state 120
    easy.decl    go to state 121
    dname.list   go to state 122
    dname        go to state 123
    ident        go to state 124
    op.name      go to state 125


State 29

   11 box: BGENDEF $@2 . g.formal.opt long.schema

    '['  shift, and go to state 126

    $default  reduce using rule 199 (g.formal.opt)

    g.formal.opt  go to state 127
    gen.formals   go to state 128


State 30

   13 box: BSCHEMA $@3 . schema.head long.schema

    '{'  shift, and go to state 129

    schema.head  go to state 130


State 31

   52 sname: GREEK . SNAME
   53      | GREEK . WORD

    WORD   shift, and go to state 131
    SNAME  shift, and go to state 132


State 32

  233 in.sym: INGEN .

    $default  reduce using rule 233 (in.sym)


State 33

  246 symbol: INREL .

    $default  reduce using rule 246 (symbol)


State 34

  247 symbol: LIMG . RIMG

    RIMG  shift, and go to state 133


State 35

  240 word: WORD .

    $default  reduce using rule 240 (word)


State 36

   51 sname: SNAME .

    $default  reduce using rule 51 (sname)


State 37

  230 pre.sym: PREGEN .

    $default  reduce using rule 230 (pre.sym)


State 38

  231 pre.sym: PREREL .

    $default  reduce using rule 231 (pre.sym)


State 39

  235 post.sym: POSTOP .

    $default  reduce using rule 235 (post.sym)


State 40

  232 in.sym: INOP .

    $default  reduce using rule 232 (in.sym)


State 41

  234 in.sym: '-' .

    $default  reduce using rule 234 (in.sym)


State 42

  241 word: sname .

    $default  reduce using rule 241 (word)


State 43

  243 symbol: pre.sym .

    $default  reduce using rule 243 (symbol)


State 44

  244 symbol: in.sym .

    $default  reduce using rule 244 (symbol)


State 45

  245 symbol: post.sym .

    $default  reduce using rule 245 (symbol)


State 46

  242 symbol: word .

    $default  reduce using rule 242 (symbol)


State 47

  248 symbols: symbol .

    $default  reduce using rule 248 (symbols)


State 48

   55 dir: XINGEN symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 134
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 49

   58 dir: XINOP symbols . NUMBER EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    NUMBER  shift, and go to state 136
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 50

   57 dir: XINREL symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 137
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 51

   59 dir: XPOSTOP symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 138
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 52

   54 dir: XPREGEN symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 139
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 53

   56 dir: XPREREL symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 140
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 54

   60 dir: XABBREV symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 141
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 55

   61 dir: XTAME symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 142
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 56

   62 dir: XPNAME symbol . STRING EDIR

    STRING  shift, and go to state 143


State 57

   63 dir: XTOKEN STRING . NUMBER EDIR

    NUMBER  shift, and go to state 144


State 58

   64 dir: XIGNORE symbols . EDIR
  249 symbols: symbols . symbol

    GREEK   shift, and go to state 31
    INGEN   shift, and go to state 32
    INREL   shift, and go to state 33
    LIMG    shift, and go to state 34
    WORD    shift, and go to state 35
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 37
    PREREL  shift, and go to state 38
    POSTOP  shift, and go to state 39
    EDIR    shift, and go to state 145
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    sname     go to state 42
    pre.sym   go to state 43
    in.sym    go to state 44
    post.sym  go to state 45
    word      go to state 46
    symbol    go to state 135


State 59

   65 dir: XDEBUG STRING . EDIR

    EDIR  shift, and go to state 146


State 60

   66 dir: XLINE NUMBER . string.opt EDIR

    STRING  shift, and go to state 147

    $default  reduce using rule 68 (string.opt)

    string.opt  go to state 148


State 61

   33 short.para: error .

    $default  reduce using rule 33 (short.para)


State 62

   91 logic: EXISTS . schema '@' logic
  115 quant: EXISTS .

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    $default  reduce using rule 115 (quant)

    sname       go to state 117
    schema      go to state 149
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 63

   92 logic: EXISTS1 . schema '@' logic
  116 quant: EXISTS1 .

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    $default  reduce using rule 116 (quant)

    sname       go to state 117
    schema      go to state 152
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 64

  100 logic1: FALSITY .

    $default  reduce using rule 100 (logic1)


State 65

   90 logic: FORALL . schema '@' logic
  114 quant: FORALL .

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    $default  reduce using rule 114 (quant)

    sname       go to state 117
    schema      go to state 153
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 66

  138 bad.exp.quant: LAMBDA .

    $default  reduce using rule 138 (bad.exp.quant)


State 67

  164 expr3: LBAG . expr.list.opt RBAG

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    $default  reduce using rule 213 (expr.list.opt)

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 159
    expr.list.opt  go to state 160
    ident          go to state 161


State 68

   93 logic: LET . let.defs '@' logic
  140 bad.exp.quant: LET .

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    $default  reduce using rule 140 (bad.exp.quant)

    let.defs  go to state 163
    let.def   go to state 164
    vname     go to state 165
    ident     go to state 166


State 69

  139 bad.exp.quant: MU .

    $default  reduce using rule 139 (bad.exp.quant)


State 70

  101 logic1: NOT . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 172
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 71

  158 expr3: NUMBER .

    $default  reduce using rule 158 (expr3)


State 72

  149 expr1.5: POWER . expr3

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 173
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 73

  102 logic1: PRE . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 175
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 74

  177 theta: THETA . word decor rename.opt

    GREEK  shift, and go to state 31
    WORD   shift, and go to state 35
    SNAME  shift, and go to state 36

    sname  go to state 42
    word   go to state 176


State 75

   99 logic1: TRUTH .

    $default  reduce using rule 99 (logic1)


State 76

  222 ident: WORD . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 178


State 77

   43 def.lhs: PREGEN . decor ident
  150 expr1.5: PREGEN . decor expr3

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 179


State 78

   96 logic1: PREREL . decor expr

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 180


State 79

  180 set: LBRACE . expr.list.opt RBRACE
  181    | LBRACE . schema expr.opt RBRACE
  182    | LBRACE . some.idents expr.list RBRACE
  183    | LBRACE . set.decl more.decls pred.seq.opt expr.opt RBRACE
  184    | LBRACE . sref RBRACE

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    $default  reduce using rule 213 (expr.list.opt)

    sname          go to state 117
    schema         go to state 183
    sref           go to state 184
    decl           go to state 150
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    set.decl       go to state 185
    some.idents    go to state 186
    bra.sref       go to state 158
    decl.seq       go to state 151
    expr.list      go to state 159
    expr.list.opt  go to state 187
    dname.list     go to state 122
    dname          go to state 123
    ident          go to state 188
    op.name        go to state 125


State 80

  132 expr: IF . pred THEN expr ELSE expr

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    pred           go to state 189
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 81

  161 expr3: LANGLE . binding.list RANGLE
  163      | LANGLE . expr.list.opt RANGLE

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    $default  reduce using rule 213 (expr.list.opt)

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    binding.list   go to state 191
    binding        go to state 192
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 159
    expr.list.opt  go to state 193
    dname          go to state 194
    ident          go to state 195
    op.name        go to state 125


State 82

  151 expr1.5: '-' . decor expr3

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 196


State 83

   42 def.lhs: '(' . op.name ')' g.formal.opt
  111 logic1: '(' . logic ')'
  112       | '(' . logic
  157 expr3: '(' . op.name ')' g.actual.opt
  162      | '(' . expr ',' expr.list ')'
  170      | '(' . expr ')'
  171      | '(' . quant.expr ')'
  178      | '(' . expr mark.expr last.expr
  179      | '(' . expr ',' expr.list
  190 bra.sref: '(' . bra.sref ')'
  191         | '(' . LET let.defs '@' bra.sref ')'

    DUMMY    shift, and go to state 111
    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 197
    LBAG     shift, and go to state 67
    LET      shift, and go to state 198
    MU       shift, and go to state 199
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 181
    PREREL   shift, and go to state 200
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 182
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 201
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    quant.expr     go to state 202
    expr           go to state 203
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 204
    ident          go to state 161
    op.name        go to state 205


State 84

   34 short.para.ok: '[' . dname.list ']'
   98 logic1: '[' . schema ']'

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    sname       go to state 117
    schema      go to state 206
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 207
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 85

   14 display: display.begin zed.text . end
   16 zed.text: zed.text . sep short.para

    EAXDEF   shift, and go to state 208
    EGENDEF  shift, and go to state 209
    ESCHEMA  shift, and go to state 210
    ESYNTAX  shift, and go to state 211
    EZED     shift, and go to state 212
    NL       shift, and go to state 213
    ';'      shift, and go to state 214

    end  go to state 215
    sep  go to state 216


State 86

   15 zed.text: short.para .

    $default  reduce using rule 15 (zed.text)


State 87

   32 short.para: short.para.ok .

    $default  reduce using rule 32 (short.para)


State 88

   36 short.para.ok: def.lhs . EQEQ expr

    EQEQ  shift, and go to state 217


State 89

   35 short.para.ok: schema.lhs . DEFEQ sexp
   37              | schema.lhs . DEFEQ

    DEFEQ  shift, and go to state 218


State 90

   46 schema.lhs: sname . decor g.formal.opt
   74 sref: sname . sref.tail

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    sref.tail  go to state 219
    decor      go to state 220


State 91

  192 bra.sref: sref .

    $default  reduce using rule 192 (bra.sref)


State 92

   40 short.para.ok: sexp . VDASH pred

    VDASH  shift, and go to state 221


State 93

   39 short.para.ok: pred .

    $default  reduce using rule 39 (short.para.ok)


State 94

   88 sexp: logic .
   89 pred: logic .

    VDASH     reduce using rule 88 (sexp)
    $default  reduce using rule 89 (pred)


State 95

   94 logic: logic1 .
  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    AND      shift, and go to state 222
    EQUIV    shift, and go to state 223
    FATSEMI  shift, and go to state 224
    HIDE     shift, and go to state 225
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227
    PIPE     shift, and go to state 228
    PROJECT  shift, and go to state 229

    $default  reduce using rule 94 (logic)


State 96

  113 logic1: quant .

    $default  reduce using rule 113 (logic1)


State 97

   95 logic1: rel.chain .
  118 rel.chain: rel.chain . rel.item

    IN        reduce using rule 123 (last.expr)
    INREL     reduce using rule 123 (last.expr)
    YINREL    reduce using rule 123 (last.expr)
    '='       reduce using rule 123 (last.expr)
    $default  reduce using rule 95 (logic1)

    rel.item   go to state 230
    last.expr  go to state 231


State 98

  117 rel.chain: expr . mark.expr rel.item

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 232


State 99

  133 expr: expr0.5 .
  134 expr0.5: expr0.5 . INGEN decor expr0.5

    INGEN  shift, and go to state 233

    $default  reduce using rule 133 (expr)


State 100

  137 expr0.5: bad.exp.quant .

    $default  reduce using rule 137 (expr0.5)


State 101

  135 expr0.5: product .
  143 product: product . CROSS expr1

    CROSS  shift, and go to state 234

    $default  reduce using rule 135 (expr0.5)


State 102

  136 expr0.5: expr1 .
  142 product: expr1 . CROSS expr1

    CROSS  shift, and go to state 235

    $default  reduce using rule 136 (expr0.5)


State 103

  144 expr1: op.chain .

    $default  reduce using rule 144 (expr1)


State 104

  145 op.chain: expr1.5 .
  146         | expr1.5 . inop decor op.chain

    INOP  shift, and go to state 236
    '-'   shift, and go to state 237

    $default  reduce using rule 145 (op.chain)

    inop  go to state 238


State 105

  153 expr1.5: expr2 .
  154 expr2: expr2 . expr3

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    $default  reduce using rule 153 (expr1.5)

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 239
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 106

  152 expr1.5: expr3 . LIMG expr0 RIMG decor
  155 expr2: expr3 .
  166 expr3: expr3 . '.' selector
  167      | expr3 . POSTOP decor
  168      | expr3 . BSUP expr ESUP
  169      | expr3 . '^' '{' expr '}'

    BSUP    shift, and go to state 240
    LIMG    shift, and go to state 241
    POSTOP  shift, and go to state 242
    '^'     shift, and go to state 243
    '.'     shift, and go to state 244

    $default  reduce using rule 155 (expr2)


State 107

  165 expr3: theta .

    $default  reduce using rule 165 (expr3)


State 108

  160 expr3: set .

    $default  reduce using rule 160 (expr3)


State 109

   97 logic1: bra.sref .
  159 expr3: bra.sref .

    BSUP      reduce using rule 159 (expr3)
    CROSS     reduce using rule 159 (expr3)
    GREEK     reduce using rule 159 (expr3)
    IN        reduce using rule 159 (expr3)
    INGEN     reduce using rule 159 (expr3)
    INREL     reduce using rule 159 (expr3)
    LBAG      reduce using rule 159 (expr3)
    LIMG      reduce using rule 159 (expr3)
    NUMBER    reduce using rule 159 (expr3)
    THETA     reduce using rule 159 (expr3)
    WORD      reduce using rule 159 (expr3)
    SNAME     reduce using rule 159 (expr3)
    POSTOP    reduce using rule 159 (expr3)
    LBRACE    reduce using rule 159 (expr3)
    YINREL    reduce using rule 159 (expr3)
    LANGLE    reduce using rule 159 (expr3)
    INOP      reduce using rule 159 (expr3)
    '='       reduce using rule 159 (expr3)
    '-'       reduce using rule 159 (expr3)
    '('       reduce using rule 159 (expr3)
    '^'       reduce using rule 159 (expr3)
    '.'       reduce using rule 159 (expr3)
    $default  reduce using rule 97 (logic1)


State 110

   38 short.para.ok: ident . COCOEQ data.rhs
   41 def.lhs: ident . g.formal.opt
   44        | ident . INGEN decor ident
   45 schema.lhs: ident . g.formal.opt
  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt

    COCOEQ  shift, and go to state 245
    INGEN   shift, and go to state 246
    '['     shift, and go to state 247

    DEFEQ     reduce using rule 199 (g.formal.opt)
    EQEQ      reduce using rule 199 (g.formal.opt)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248
    g.formal.opt  go to state 249
    gen.formals   go to state 128


State 111

  223 op.name: DUMMY . in.sym decor DUMMY
  224        | DUMMY . relation DUMMY
  227        | DUMMY . post.sym decor
  229        | DUMMY . LIMG DUMMY RIMG decor

    INGEN   shift, and go to state 32
    INREL   shift, and go to state 250
    LIMG    shift, and go to state 251
    POSTOP  shift, and go to state 39
    YINREL  shift, and go to state 252
    INOP    shift, and go to state 40
    '-'     shift, and go to state 41

    in.sym    go to state 253
    post.sym  go to state 254
    relation  go to state 255


State 112

   87 easy.decl: WORD . sref.tail
  222 ident: WORD . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    sref.tail  go to state 256
    decor      go to state 257


State 113

  225 op.name: PREGEN . decor DUMMY

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 258


State 114

  226 op.name: PREREL . decor DUMMY

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 259


State 115

  228 op.name: '-' . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 260


State 116

    9 box: BAXDEF $@1 long.schema .

    $default  reduce using rule 9 (box)


State 117

   74 sref: sname . sref.tail

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    sref.tail  go to state 219
    decor      go to state 261


State 118

   85 decl: sref .

    $default  reduce using rule 85 (decl)


State 119

   24 long.schema: decl.part . WHERE axiom.part
   25            | decl.part . end
   83 decl.part: decl.part . sep easy.decl

    EAXDEF   shift, and go to state 208
    EGENDEF  shift, and go to state 209
    ESCHEMA  shift, and go to state 210
    ESYNTAX  shift, and go to state 211
    EZED     shift, and go to state 212
    NL       shift, and go to state 213
    WHERE    shift, and go to state 262
    ';'      shift, and go to state 214

    end  go to state 263
    sep  go to state 264


State 120

   86 easy.decl: decl .

    $default  reduce using rule 86 (easy.decl)


State 121

   82 decl.part: easy.decl .

    $default  reduce using rule 82 (decl.part)


State 122

   84 decl: dname.list . ':' expr
  217 dname.list: dname.list . ',' dname

    ','  shift, and go to state 265
    ':'  shift, and go to state 266


State 123

  216 dname.list: dname .

    $default  reduce using rule 216 (dname.list)


State 124

  220 dname: ident .

    $default  reduce using rule 220 (dname)


State 125

  221 dname: op.name .

    $default  reduce using rule 221 (dname)


State 126

  200 gen.formals: '[' . ref.head ident ']'
  201            | '[' . ident ']'

    WORD  shift, and go to state 76

    ref.head  go to state 267
    ident     go to state 268


State 127

   11 box: BGENDEF $@2 g.formal.opt . long.schema

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 112
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    long.schema  go to state 269
    sname        go to state 117
    sref         go to state 118
    decl.part    go to state 119
    decl         go to state 120
    easy.decl    go to state 121
    dname.list   go to state 122
    dname        go to state 123
    ident        go to state 124
    op.name      go to state 125


State 128

  198 g.formal.opt: gen.formals .

    $default  reduce using rule 198 (g.formal.opt)


State 129

   47 schema.head: '{' . future.sname '}' g.formal.opt
   48            | '{' . future.sname gen.formals '}'

    GREEK  shift, and go to state 31
    WORD   shift, and go to state 270
    SNAME  shift, and go to state 36

    future.sname  go to state 271
    sname         go to state 272


State 130

   13 box: BSCHEMA $@3 schema.head . long.schema

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 112
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    long.schema  go to state 273
    sname        go to state 117
    sref         go to state 118
    decl.part    go to state 119
    decl         go to state 120
    easy.decl    go to state 121
    dname.list   go to state 122
    dname        go to state 123
    ident        go to state 124
    op.name      go to state 125


State 131

   53 sname: GREEK WORD .

    $default  reduce using rule 53 (sname)


State 132

   52 sname: GREEK SNAME .

    $default  reduce using rule 52 (sname)


State 133

  247 symbol: LIMG RIMG .

    $default  reduce using rule 247 (symbol)


State 134

   55 dir: XINGEN symbols EDIR .

    $default  reduce using rule 55 (dir)


State 135

  249 symbols: symbols symbol .

    $default  reduce using rule 249 (symbols)


State 136

   58 dir: XINOP symbols NUMBER . EDIR

    EDIR  shift, and go to state 274


State 137

   57 dir: XINREL symbols EDIR .

    $default  reduce using rule 57 (dir)


State 138

   59 dir: XPOSTOP symbols EDIR .

    $default  reduce using rule 59 (dir)


State 139

   54 dir: XPREGEN symbols EDIR .

    $default  reduce using rule 54 (dir)


State 140

   56 dir: XPREREL symbols EDIR .

    $default  reduce using rule 56 (dir)


State 141

   60 dir: XABBREV symbols EDIR .

    $default  reduce using rule 60 (dir)


State 142

   61 dir: XTAME symbols EDIR .

    $default  reduce using rule 61 (dir)


State 143

   62 dir: XPNAME symbol STRING . EDIR

    EDIR  shift, and go to state 275


State 144

   63 dir: XTOKEN STRING NUMBER . EDIR

    EDIR  shift, and go to state 276


State 145

   64 dir: XIGNORE symbols EDIR .

    $default  reduce using rule 64 (dir)


State 146

   65 dir: XDEBUG STRING EDIR .

    $default  reduce using rule 65 (dir)


State 147

   67 string.opt: STRING .

    $default  reduce using rule 67 (string.opt)


State 148

   66 dir: XLINE NUMBER string.opt . EDIR

    EDIR  shift, and go to state 277


State 149

   91 logic: EXISTS schema . '@' logic

    '@'  shift, and go to state 278


State 150

  204 decl.seq: decl .

    $default  reduce using rule 204 (decl.seq)


State 151

   73 schema: decl.seq . pred.seq.opt
  205 decl.seq: decl.seq . ';' decl

    ';'  shift, and go to state 279
    '|'  shift, and go to state 280

    $default  reduce using rule 207 (pred.seq.opt)

    pred.seq.opt  go to state 281


State 152

   92 logic: EXISTS1 schema . '@' logic

    '@'  shift, and go to state 282


State 153

   90 logic: FORALL schema . '@' logic

    '@'  shift, and go to state 283


State 154

  140 bad.exp.quant: LET .

    $default  reduce using rule 140 (bad.exp.quant)


State 155

  150 expr1.5: PREGEN . decor expr3

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 284


State 156

  157 expr3: '(' . op.name ')' g.actual.opt
  162      | '(' . expr ',' expr.list ')'
  170      | '(' . expr ')'
  171      | '(' . quant.expr ')'
  178      | '(' . expr mark.expr last.expr
  179      | '(' . expr ',' expr.list
  190 bra.sref: '(' . bra.sref ')'
  191         | '(' . LET let.defs '@' bra.sref ')'

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 197
    LBAG    shift, and go to state 67
    LET     shift, and go to state 285
    MU      shift, and go to state 199
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    quant.expr     go to state 202
    expr           go to state 286
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 287
    ident          go to state 161
    op.name        go to state 288


State 157

  210 expr.list: expr .

    $default  reduce using rule 210 (expr.list)


State 158

  159 expr3: bra.sref .

    $default  reduce using rule 159 (expr3)


State 159

  211 expr.list: expr.list . ',' expr
  212 expr.list.opt: expr.list .

    ','  shift, and go to state 289

    $default  reduce using rule 212 (expr.list.opt)


State 160

  164 expr3: LBAG expr.list.opt . RBAG

    RBAG  shift, and go to state 290


State 161

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt

    INGEN  shift, and go to state 291
    '['    shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 162

  219 vname: '(' . op.name ')'

    DUMMY   shift, and go to state 111
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    op.name  go to state 293


State 163

   93 logic: LET let.defs . '@' logic
  130 let.defs: let.defs . ';' let.def

    ';'  shift, and go to state 294
    '@'  shift, and go to state 295


State 164

  129 let.defs: let.def .

    $default  reduce using rule 129 (let.defs)


State 165

  131 let.def: vname . EQEQ expr

    EQEQ  shift, and go to state 296


State 166

  218 vname: ident .

    $default  reduce using rule 218 (vname)


State 167

  115 quant: EXISTS .

    $default  reduce using rule 115 (quant)


State 168

  116 quant: EXISTS1 .

    $default  reduce using rule 116 (quant)


State 169

  114 quant: FORALL .

    $default  reduce using rule 114 (quant)


State 170

  111 logic1: '(' . logic ')'
  112       | '(' . logic
  157 expr3: '(' . op.name ')' g.actual.opt
  162      | '(' . expr ',' expr.list ')'
  170      | '(' . expr ')'
  171      | '(' . quant.expr ')'
  178      | '(' . expr mark.expr last.expr
  179      | '(' . expr ',' expr.list
  190 bra.sref: '(' . bra.sref ')'
  191         | '(' . LET let.defs '@' bra.sref ')'

    DUMMY    shift, and go to state 111
    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 197
    LBAG     shift, and go to state 67
    LET      shift, and go to state 198
    MU       shift, and go to state 199
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 181
    PREREL   shift, and go to state 200
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 182
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 201
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    quant.expr     go to state 202
    expr           go to state 203
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 204
    ident          go to state 161
    op.name        go to state 288


State 171

   98 logic1: '[' . schema ']'

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    sname       go to state 117
    schema      go to state 206
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 172

  101 logic1: NOT logic1 .
  103       | logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    $default  reduce using rule 101 (logic1)


State 173

  149 expr1.5: POWER expr3 .
  166 expr3: expr3 . '.' selector
  167      | expr3 . POSTOP decor
  168      | expr3 . BSUP expr ESUP
  169      | expr3 . '^' '{' expr '}'

    BSUP    shift, and go to state 240
    POSTOP  shift, and go to state 242
    '^'     shift, and go to state 243
    '.'     shift, and go to state 244

    $default  reduce using rule 149 (expr1.5)


State 174

  156 expr3: ident . g.actual.opt

    '['  shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 175

  102 logic1: PRE logic1 .
  103       | logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    $default  reduce using rule 102 (logic1)


State 176

  177 theta: THETA word . decor rename.opt

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 297


State 177

  238 decor: DECOR .

    $default  reduce using rule 238 (decor)


State 178

  222 ident: WORD decor .

    $default  reduce using rule 222 (ident)


State 179

   43 def.lhs: PREGEN decor . ident
  150 expr1.5: PREGEN decor . expr3

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 298
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 299


State 180

   96 logic1: PREREL decor . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 300
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 181

  150 expr1.5: PREGEN . decor expr3
  225 op.name: PREGEN . decor DUMMY

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 301


State 182

  151 expr1.5: '-' . decor expr3
  228 op.name: '-' . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 302


State 183

  181 set: LBRACE schema . expr.opt RBRACE

    '@'  shift, and go to state 303

    $default  reduce using rule 215 (expr.opt)

    expr.opt  go to state 304


State 184

   85 decl: sref .
  184 set: LBRACE sref . RBRACE
  192 bra.sref: sref .

    RBRACE  shift, and go to state 305

    ';'       reduce using rule 85 (decl)
    '|'       reduce using rule 85 (decl)
    '@'       reduce using rule 85 (decl)
    $default  reduce using rule 192 (bra.sref)


State 185

  183 set: LBRACE set.decl . more.decls pred.seq.opt expr.opt RBRACE

    ';'  shift, and go to state 306

    $default  reduce using rule 189 (more.decls)

    more.decls  go to state 307


State 186

  182 set: LBRACE some.idents . expr.list RBRACE
  185 set.decl: some.idents . dname.list ':' expr
  187 some.idents: some.idents . ident ','

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 308
    dname.list     go to state 309
    dname          go to state 123
    ident          go to state 310
    op.name        go to state 125


State 187

  180 set: LBRACE expr.list.opt . RBRACE

    RBRACE  shift, and go to state 311


State 188

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  186 some.idents: ident . ','
  220 dname: ident .

    INGEN  shift, and go to state 291
    ','    shift, and go to state 312
    '['    shift, and go to state 292

    ':'       reduce using rule 220 (dname)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 189

  132 expr: IF pred . THEN expr ELSE expr

    THEN  shift, and go to state 313


State 190

   89 pred: logic .

    $default  reduce using rule 89 (pred)


State 191

  161 expr3: LANGLE binding.list . RANGLE
  175 binding.list: binding.list . ',' binding

    RANGLE  shift, and go to state 314
    ','     shift, and go to state 315


State 192

  174 binding.list: binding .

    $default  reduce using rule 174 (binding.list)


State 193

  163 expr3: LANGLE expr.list.opt . RANGLE

    RANGLE  shift, and go to state 316


State 194

  176 binding: dname . BIND expr

    BIND  shift, and go to state 317


State 195

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  220 dname: ident .

    INGEN  shift, and go to state 291
    '['    shift, and go to state 292

    BIND      reduce using rule 220 (dname)
    '/'       reduce using rule 220 (dname)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 196

  151 expr1.5: '-' decor . expr3

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 318
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 197

  126 quant.expr: LAMBDA . schema '@' expr
  138 bad.exp.quant: LAMBDA .

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    $default  reduce using rule 138 (bad.exp.quant)

    sname       go to state 117
    schema      go to state 319
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 198

   93 logic: LET . let.defs '@' logic
  128 quant.expr: LET . let.defs '@' expr
  140 bad.exp.quant: LET .
  191 bra.sref: '(' LET . let.defs '@' bra.sref ')'

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    $default  reduce using rule 140 (bad.exp.quant)

    let.defs  go to state 320
    let.def   go to state 164
    vname     go to state 165
    ident     go to state 166


State 199

  127 quant.expr: MU . schema expr.opt
  139 bad.exp.quant: MU .

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    $default  reduce using rule 139 (bad.exp.quant)

    sname       go to state 117
    schema      go to state 321
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 151
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 200

   96 logic1: PREREL . decor expr
  226 op.name: PREREL . decor DUMMY

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 322


State 201

  111 logic1: '(' logic . ')'
  112       | '(' logic .

    ')'  shift, and go to state 323

    $default  reduce using rule 112 (logic1)


State 202

  171 expr3: '(' quant.expr . ')'

    ')'  shift, and go to state 324


State 203

  117 rel.chain: expr . mark.expr rel.item
  162 expr3: '(' expr . ',' expr.list ')'
  170      | '(' expr . ')'
  178      | '(' expr . mark.expr last.expr
  179      | '(' expr . ',' expr.list

    ','  shift, and go to state 325
    ')'  shift, and go to state 326

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 327


State 204

   97 logic1: bra.sref .
  159 expr3: bra.sref .
  190 bra.sref: '(' bra.sref . ')'

    ')'  shift, and go to state 328

    AND       reduce using rule 97 (logic1)
    EAXDEF    reduce using rule 97 (logic1)
    EGENDEF   reduce using rule 97 (logic1)
    EQUIV     reduce using rule 97 (logic1)
    ESCHEMA   reduce using rule 97 (logic1)
    ESYNTAX   reduce using rule 97 (logic1)
    EZED      reduce using rule 97 (logic1)
    FATSEMI   reduce using rule 97 (logic1)
    HIDE      reduce using rule 97 (logic1)
    IMPLIES   reduce using rule 97 (logic1)
    NL        reduce using rule 97 (logic1)
    OR        reduce using rule 97 (logic1)
    PIPE      reduce using rule 97 (logic1)
    PROJECT   reduce using rule 97 (logic1)
    RIMG      reduce using rule 97 (logic1)
    VDASH     reduce using rule 97 (logic1)
    RBRACE    reduce using rule 97 (logic1)
    THEN      reduce using rule 97 (logic1)
    ']'       reduce using rule 97 (logic1)
    ';'       reduce using rule 97 (logic1)
    '@'       reduce using rule 97 (logic1)
    $default  reduce using rule 159 (expr3)


State 205

   42 def.lhs: '(' op.name . ')' g.formal.opt
  157 expr3: '(' op.name . ')' g.actual.opt

    ')'  shift, and go to state 329


State 206

   98 logic1: '[' schema . ']'

    ']'  shift, and go to state 330


State 207

   34 short.para.ok: '[' dname.list . ']'
   84 decl: dname.list . ':' expr
  217 dname.list: dname.list . ',' dname

    ','  shift, and go to state 265
    ']'  shift, and go to state 331
    ':'  shift, and go to state 266


State 208

   19 end: EAXDEF .

    $default  reduce using rule 19 (end)


State 209

   20 end: EGENDEF .

    $default  reduce using rule 20 (end)


State 210

   21 end: ESCHEMA .

    $default  reduce using rule 21 (end)


State 211

   23 end: ESYNTAX .

    $default  reduce using rule 23 (end)


State 212

   22 end: EZED .

    $default  reduce using rule 22 (end)


State 213

   31 sep: NL .

    $default  reduce using rule 31 (sep)


State 214

   30 sep: ';' .

    $default  reduce using rule 30 (sep)


State 215

   14 display: display.begin zed.text end .

    $default  reduce using rule 14 (display)


State 216

   16 zed.text: zed.text sep . short.para

    error    shift, and go to state 61
    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 77
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 83
    '['      shift, and go to state 84

    short.para     go to state 332
    short.para.ok  go to state 87
    def.lhs        go to state 88
    schema.lhs     go to state 89
    sname          go to state 90
    sref           go to state 91
    sexp           go to state 92
    pred           go to state 93
    logic          go to state 94
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 110


State 217

   36 short.para.ok: def.lhs EQEQ . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 333
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 218

   35 short.para.ok: schema.lhs DEFEQ . sexp
   37              | schema.lhs DEFEQ .

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    $default  reduce using rule 37 (short.para.ok)

    sname          go to state 117
    sref           go to state 91
    sexp           go to state 334
    logic          go to state 335
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 219

   74 sref: sname sref.tail .

    $default  reduce using rule 74 (sref)


State 220

   46 schema.lhs: sname decor . g.formal.opt
   75 sref.tail: decor . '[' expr.list ']' rename.opt
   76          | decor . rename.opt

    '['  shift, and go to state 336

    DEFEQ     reduce using rule 199 (g.formal.opt)
    $default  reduce using rule 78 (rename.opt)

    rename.opt    go to state 337
    g.formal.opt  go to state 338
    gen.formals   go to state 128


State 221

   40 short.para.ok: sexp VDASH . pred

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    pred           go to state 339
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 222

  103 logic1: logic1 AND . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 340
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 223

  106 logic1: logic1 EQUIV . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 341
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 224

  109 logic1: logic1 FATSEMI . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 342
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 225

  108 logic1: logic1 HIDE . '(' dname.list ')'

    '('  shift, and go to state 343


State 226

  105 logic1: logic1 IMPLIES . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 344
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 227

  104 logic1: logic1 OR . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 345
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 228

  110 logic1: logic1 PIPE . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 346
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 229

  107 logic1: logic1 PROJECT . logic1

    EXISTS   shift, and go to state 167
    EXISTS1  shift, and go to state 168
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 169
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 154
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic1         go to state 347
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 230

  118 rel.chain: rel.chain rel.item .

    $default  reduce using rule 118 (rel.chain)


State 231

  119 rel.item: last.expr . '=' expr mark.expr
  120         | last.expr . IN expr mark.expr
  121         | last.expr . relation expr mark.expr

    IN      shift, and go to state 348
    INREL   shift, and go to state 250
    YINREL  shift, and go to state 252
    '='     shift, and go to state 349

    relation  go to state 350


State 232

  117 rel.chain: expr mark.expr . rel.item

    $default  reduce using rule 123 (last.expr)

    rel.item   go to state 351
    last.expr  go to state 231


State 233

  134 expr0.5: expr0.5 INGEN . decor expr0.5

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 352


State 234

  143 product: product CROSS . expr1

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr1     go to state 353
    op.chain  go to state 103
    expr1.5   go to state 104
    expr2     go to state 105
    expr3     go to state 106
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 235

  142 product: expr1 CROSS . expr1

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr1     go to state 354
    op.chain  go to state 103
    expr1.5   go to state 104
    expr2     go to state 105
    expr3     go to state 106
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 236

  148 inop: INOP .

    $default  reduce using rule 148 (inop)


State 237

  147 inop: '-' .

    $default  reduce using rule 147 (inop)


State 238

  146 op.chain: expr1.5 inop . decor op.chain

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 355


State 239

  154 expr2: expr2 expr3 .
  166 expr3: expr3 . '.' selector
  167      | expr3 . POSTOP decor
  168      | expr3 . BSUP expr ESUP
  169      | expr3 . '^' '{' expr '}'

    BSUP    shift, and go to state 240
    POSTOP  shift, and go to state 242
    '^'     shift, and go to state 243
    '.'     shift, and go to state 244

    $default  reduce using rule 154 (expr2)


State 240

  168 expr3: expr3 BSUP . expr ESUP

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 356
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 241

  152 expr1.5: expr3 LIMG . expr0 RIMG decor

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 197
    LBAG    shift, and go to state 67
    LET     shift, and go to state 357
    MU      shift, and go to state 199
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr0          go to state 358
    quant.expr     go to state 359
    expr           go to state 360
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 242

  167 expr3: expr3 POSTOP . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 361


State 243

  169 expr3: expr3 '^' . '{' expr '}'

    '{'  shift, and go to state 362


State 244

  166 expr3: expr3 '.' . selector

    THETA  shift, and go to state 74
    WORD   shift, and go to state 76
    '('    shift, and go to state 162

    selector  go to state 363
    theta     go to state 364
    vname     go to state 365
    ident     go to state 166


State 245

   38 short.para.ok: ident COCOEQ . data.rhs

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    data.rhs  go to state 366
    arm       go to state 367
    vname     go to state 368
    ident     go to state 369


State 246

   44 def.lhs: ident INGEN . decor ident
  141 expr0.5: ident INGEN . decor expr0.5

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 370


State 247

  193 g.actual.opt: '[' . ref.head ident ']'
  194             | '[' . ref.head expr.list ']'
  195             | '[' . ident ']'
  196             | '[' . expr.list ']'
  200 gen.formals: '[' . ref.head ident ']'
  201            | '[' . ident ']'

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ref.head       go to state 371
    expr.list      go to state 372
    ident          go to state 373


State 248

  156 expr3: ident g.actual.opt .

    $default  reduce using rule 156 (expr3)


State 249

   41 def.lhs: ident g.formal.opt .
   45 schema.lhs: ident g.formal.opt .

    DEFEQ     reduce using rule 45 (schema.lhs)
    $default  reduce using rule 41 (def.lhs)


State 250

  236 relation: INREL . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 374


State 251

  229 op.name: DUMMY LIMG . DUMMY RIMG decor

    DUMMY  shift, and go to state 375


State 252

  237 relation: YINREL . '{' ident '}'

    '{'  shift, and go to state 376


State 253

  223 op.name: DUMMY in.sym . decor DUMMY

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 377


State 254

  227 op.name: DUMMY post.sym . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 378


State 255

  224 op.name: DUMMY relation . DUMMY

    DUMMY  shift, and go to state 379


State 256

   87 easy.decl: WORD sref.tail .

    $default  reduce using rule 87 (easy.decl)


State 257

   75 sref.tail: decor . '[' expr.list ']' rename.opt
   76          | decor . rename.opt
  222 ident: WORD decor .

    '['  shift, and go to state 380

    ','       reduce using rule 222 (ident)
    ':'       reduce using rule 222 (ident)
    $default  reduce using rule 78 (rename.opt)

    rename.opt  go to state 337


State 258

  225 op.name: PREGEN decor . DUMMY

    DUMMY  shift, and go to state 381


State 259

  226 op.name: PREREL decor . DUMMY

    DUMMY  shift, and go to state 382


State 260

  228 op.name: '-' decor .

    $default  reduce using rule 228 (op.name)


State 261

   75 sref.tail: decor . '[' expr.list ']' rename.opt
   76          | decor . rename.opt

    '['  shift, and go to state 380

    $default  reduce using rule 78 (rename.opt)

    rename.opt  go to state 337


State 262

   24 long.schema: decl.part WHERE . axiom.part

    error    shift, and go to state 383
    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    axiom.part     go to state 384
    axioms         go to state 385
    sname          go to state 117
    sref           go to state 91
    pred           go to state 386
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 263

   25 long.schema: decl.part end .

    $default  reduce using rule 25 (long.schema)


State 264

   83 decl.part: decl.part sep . easy.decl

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 112
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    sname       go to state 117
    sref        go to state 118
    decl        go to state 120
    easy.decl   go to state 387
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 265

  217 dname.list: dname.list ',' . dname

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    dname    go to state 388
    ident    go to state 124
    op.name  go to state 125


State 266

   84 decl: dname.list ':' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 389
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 267

  200 gen.formals: '[' ref.head . ident ']'
  203 ref.head: ref.head . ident ','

    WORD  shift, and go to state 76

    ident  go to state 390


State 268

  201 gen.formals: '[' ident . ']'
  202 ref.head: ident . ','

    ','  shift, and go to state 391
    ']'  shift, and go to state 392


State 269

   11 box: BGENDEF $@2 g.formal.opt long.schema .

    $default  reduce using rule 11 (box)


State 270

   50 future.sname: WORD .

    $default  reduce using rule 50 (future.sname)


State 271

   47 schema.head: '{' future.sname . '}' g.formal.opt
   48            | '{' future.sname . gen.formals '}'

    '['  shift, and go to state 126
    '}'  shift, and go to state 393

    gen.formals  go to state 394


State 272

   49 future.sname: sname .

    $default  reduce using rule 49 (future.sname)


State 273

   13 box: BSCHEMA $@3 schema.head long.schema .

    $default  reduce using rule 13 (box)


State 274

   58 dir: XINOP symbols NUMBER EDIR .

    $default  reduce using rule 58 (dir)


State 275

   62 dir: XPNAME symbol STRING EDIR .

    $default  reduce using rule 62 (dir)


State 276

   63 dir: XTOKEN STRING NUMBER EDIR .

    $default  reduce using rule 63 (dir)


State 277

   66 dir: XLINE NUMBER string.opt EDIR .

    $default  reduce using rule 66 (dir)


State 278

   91 logic: EXISTS schema '@' . logic

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 395
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 279

  205 decl.seq: decl.seq ';' . decl

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    sname       go to state 117
    sref        go to state 118
    decl        go to state 396
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 280

  206 pred.seq.opt: '|' . pred.seq

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    pred           go to state 397
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    pred.seq       go to state 398
    ident          go to state 161


State 281

   73 schema: decl.seq pred.seq.opt .

    $default  reduce using rule 73 (schema)


State 282

   92 logic: EXISTS1 schema '@' . logic

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 399
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 283

   90 logic: FORALL schema '@' . logic

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 400
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 284

  150 expr1.5: PREGEN decor . expr3

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 298
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 285

  128 quant.expr: LET . let.defs '@' expr
  140 bad.exp.quant: LET .
  191 bra.sref: '(' LET . let.defs '@' bra.sref ')'

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    $default  reduce using rule 140 (bad.exp.quant)

    let.defs  go to state 401
    let.def   go to state 164
    vname     go to state 165
    ident     go to state 166


State 286

  162 expr3: '(' expr . ',' expr.list ')'
  170      | '(' expr . ')'
  178      | '(' expr . mark.expr last.expr
  179      | '(' expr . ',' expr.list

    ','  shift, and go to state 325
    ')'  shift, and go to state 326

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 402


State 287

  159 expr3: bra.sref .
  190 bra.sref: '(' bra.sref . ')'

    ')'  shift, and go to state 328

    $default  reduce using rule 159 (expr3)


State 288

  157 expr3: '(' op.name . ')' g.actual.opt

    ')'  shift, and go to state 403


State 289

  211 expr.list: expr.list ',' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 404
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 290

  164 expr3: LBAG expr.list.opt RBAG .

    $default  reduce using rule 164 (expr3)


State 291

  141 expr0.5: ident INGEN . decor expr0.5

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 405


State 292

  193 g.actual.opt: '[' . ref.head ident ']'
  194             | '[' . ref.head expr.list ']'
  195             | '[' . ident ']'
  196             | '[' . expr.list ']'

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ref.head       go to state 406
    expr.list      go to state 372
    ident          go to state 407


State 293

  219 vname: '(' op.name . ')'

    ')'  shift, and go to state 408


State 294

  130 let.defs: let.defs ';' . let.def

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    let.def  go to state 409
    vname    go to state 165
    ident    go to state 166


State 295

   93 logic: LET let.defs '@' . logic

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 410
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 296

  131 let.def: vname EQEQ . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 411
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 297

  177 theta: THETA word decor . rename.opt

    '['  shift, and go to state 412

    $default  reduce using rule 78 (rename.opt)

    rename.opt  go to state 413


State 298

  150 expr1.5: PREGEN decor expr3 .
  166 expr3: expr3 . '.' selector
  167      | expr3 . POSTOP decor
  168      | expr3 . BSUP expr ESUP
  169      | expr3 . '^' '{' expr '}'

    BSUP    shift, and go to state 240
    POSTOP  shift, and go to state 242
    '^'     shift, and go to state 243
    '.'     shift, and go to state 244

    $default  reduce using rule 150 (expr1.5)


State 299

   43 def.lhs: PREGEN decor ident .
  156 expr3: ident . g.actual.opt

    '['  shift, and go to state 292

    EQEQ      reduce using rule 43 (def.lhs)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 300

   96 logic1: PREREL decor expr .

    $default  reduce using rule 96 (logic1)


State 301

  150 expr1.5: PREGEN decor . expr3
  225 op.name: PREGEN decor . DUMMY

    DUMMY   shift, and go to state 381
    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 298
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 302

  151 expr1.5: '-' decor . expr3
  228 op.name: '-' decor .

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '('     shift, and go to state 156

    $default  reduce using rule 228 (op.name)

    sname     go to state 117
    sref      go to state 91
    expr3     go to state 318
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 303

  214 expr.opt: '@' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 414
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 304

  181 set: LBRACE schema expr.opt . RBRACE

    RBRACE  shift, and go to state 415


State 305

  184 set: LBRACE sref RBRACE .

    $default  reduce using rule 184 (set)


State 306

  188 more.decls: ';' . decl.seq

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    sname       go to state 117
    sref        go to state 118
    decl        go to state 150
    decl.seq    go to state 416
    dname.list  go to state 122
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 307

  183 set: LBRACE set.decl more.decls . pred.seq.opt expr.opt RBRACE

    '|'  shift, and go to state 280

    $default  reduce using rule 207 (pred.seq.opt)

    pred.seq.opt  go to state 417


State 308

  182 set: LBRACE some.idents expr.list . RBRACE
  211 expr.list: expr.list . ',' expr

    RBRACE  shift, and go to state 418
    ','     shift, and go to state 289


State 309

  185 set.decl: some.idents dname.list . ':' expr
  217 dname.list: dname.list . ',' dname

    ','  shift, and go to state 265
    ':'  shift, and go to state 419


State 310

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  187 some.idents: some.idents ident . ','
  220 dname: ident .

    INGEN  shift, and go to state 291
    ','    shift, and go to state 420
    '['    shift, and go to state 292

    ':'       reduce using rule 220 (dname)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 311

  180 set: LBRACE expr.list.opt RBRACE .

    $default  reduce using rule 180 (set)


State 312

  186 some.idents: ident ',' .

    $default  reduce using rule 186 (some.idents)


State 313

  132 expr: IF pred THEN . expr ELSE expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 421
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 314

  161 expr3: LANGLE binding.list RANGLE .

    $default  reduce using rule 161 (expr3)


State 315

  175 binding.list: binding.list ',' . binding

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    binding  go to state 422
    dname    go to state 194
    ident    go to state 124
    op.name  go to state 125


State 316

  163 expr3: LANGLE expr.list.opt RANGLE .

    $default  reduce using rule 163 (expr3)


State 317

  176 binding: dname BIND . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 423
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 318

  151 expr1.5: '-' decor expr3 .
  166 expr3: expr3 . '.' selector
  167      | expr3 . POSTOP decor
  168      | expr3 . BSUP expr ESUP
  169      | expr3 . '^' '{' expr '}'

    BSUP    shift, and go to state 240
    POSTOP  shift, and go to state 242
    '^'     shift, and go to state 243
    '.'     shift, and go to state 244

    $default  reduce using rule 151 (expr1.5)


State 319

  126 quant.expr: LAMBDA schema . '@' expr

    '@'  shift, and go to state 424


State 320

   93 logic: LET let.defs . '@' logic
  128 quant.expr: LET let.defs . '@' expr
  130 let.defs: let.defs . ';' let.def
  191 bra.sref: '(' LET let.defs . '@' bra.sref ')'

    ';'  shift, and go to state 294
    '@'  shift, and go to state 425


State 321

  127 quant.expr: MU schema . expr.opt

    '@'  shift, and go to state 303

    $default  reduce using rule 215 (expr.opt)

    expr.opt  go to state 426


State 322

   96 logic1: PREREL decor . expr
  226 op.name: PREREL decor . DUMMY

    DUMMY   shift, and go to state 382
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 300
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 323

  111 logic1: '(' logic ')' .

    $default  reduce using rule 111 (logic1)


State 324

  171 expr3: '(' quant.expr ')' .

    $default  reduce using rule 171 (expr3)


State 325

  162 expr3: '(' expr ',' . expr.list ')'
  179      | '(' expr ',' . expr.list

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 427
    ident          go to state 161


State 326

  170 expr3: '(' expr ')' .

    $default  reduce using rule 170 (expr3)


State 327

  117 rel.chain: expr mark.expr . rel.item
  178 expr3: '(' expr mark.expr . last.expr

    $default  reduce using rule 123 (last.expr)

    rel.item   go to state 351
    last.expr  go to state 428


State 328

  190 bra.sref: '(' bra.sref ')' .

    $default  reduce using rule 190 (bra.sref)


State 329

   42 def.lhs: '(' op.name ')' . g.formal.opt
  157 expr3: '(' op.name ')' . g.actual.opt

    '['  shift, and go to state 247

    EQEQ      reduce using rule 199 (g.formal.opt)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 429
    g.formal.opt  go to state 430
    gen.formals   go to state 128


State 330

   98 logic1: '[' schema ']' .

    $default  reduce using rule 98 (logic1)


State 331

   34 short.para.ok: '[' dname.list ']' .

    $default  reduce using rule 34 (short.para.ok)


State 332

   16 zed.text: zed.text sep short.para .

    $default  reduce using rule 16 (zed.text)


State 333

   36 short.para.ok: def.lhs EQEQ expr .

    $default  reduce using rule 36 (short.para.ok)


State 334

   35 short.para.ok: schema.lhs DEFEQ sexp .

    $default  reduce using rule 35 (short.para.ok)


State 335

   88 sexp: logic .

    $default  reduce using rule 88 (sexp)


State 336

   75 sref.tail: decor '[' . expr.list ']' rename.opt
   77 rename.opt: '[' . rename.list ']'
  200 gen.formals: '[' . ref.head ident ']'
  201            | '[' . ident ']'

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    rename.list    go to state 431
    rename         go to state 432
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ref.head       go to state 267
    expr.list      go to state 433
    dname          go to state 434
    ident          go to state 435
    op.name        go to state 125


State 337

   76 sref.tail: decor rename.opt .

    $default  reduce using rule 76 (sref.tail)


State 338

   46 schema.lhs: sname decor g.formal.opt .

    $default  reduce using rule 46 (schema.lhs)


State 339

   40 short.para.ok: sexp VDASH pred .

    $default  reduce using rule 40 (short.para.ok)


State 340

  103 logic1: logic1 . AND logic1
  103       | logic1 AND logic1 .
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    $default  reduce using rule 103 (logic1)


State 341

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  106       | logic1 EQUIV logic1 .
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    AND      shift, and go to state 222
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227

    $default  reduce using rule 106 (logic1)


State 342

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  109       | logic1 FATSEMI logic1 .
  110       | logic1 . PIPE logic1

    AND      shift, and go to state 222
    EQUIV    shift, and go to state 223
    HIDE     shift, and go to state 225
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227
    PROJECT  shift, and go to state 229

    $default  reduce using rule 109 (logic1)


State 343

  108 logic1: logic1 HIDE '(' . dname.list ')'

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    dname.list  go to state 436
    dname       go to state 123
    ident       go to state 124
    op.name     go to state 125


State 344

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  105       | logic1 IMPLIES logic1 .
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    AND      shift, and go to state 222
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227

    $default  reduce using rule 105 (logic1)


State 345

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  104       | logic1 OR logic1 .
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    AND  shift, and go to state 222

    $default  reduce using rule 104 (logic1)


State 346

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1
  110       | logic1 PIPE logic1 .

    AND      shift, and go to state 222
    EQUIV    shift, and go to state 223
    FATSEMI  shift, and go to state 224
    HIDE     shift, and go to state 225
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227
    PROJECT  shift, and go to state 229

    $default  reduce using rule 110 (logic1)


State 347

  103 logic1: logic1 . AND logic1
  104       | logic1 . OR logic1
  105       | logic1 . IMPLIES logic1
  106       | logic1 . EQUIV logic1
  107       | logic1 . PROJECT logic1
  107       | logic1 PROJECT logic1 .
  108       | logic1 . HIDE '(' dname.list ')'
  109       | logic1 . FATSEMI logic1
  110       | logic1 . PIPE logic1

    AND      shift, and go to state 222
    EQUIV    shift, and go to state 223
    IMPLIES  shift, and go to state 226
    OR       shift, and go to state 227

    $default  reduce using rule 107 (logic1)


State 348

  120 rel.item: last.expr IN . expr mark.expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 437
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 349

  119 rel.item: last.expr '=' . expr mark.expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 438
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 350

  121 rel.item: last.expr relation . expr mark.expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 439
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 351

  117 rel.chain: expr mark.expr rel.item .

    $default  reduce using rule 117 (rel.chain)


State 352

  134 expr0.5: expr0.5 INGEN decor . expr0.5

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr0.5        go to state 440
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 353

  143 product: product CROSS expr1 .

    $default  reduce using rule 143 (product)


State 354

  142 product: expr1 CROSS expr1 .

    $default  reduce using rule 142 (product)


State 355

  146 op.chain: expr1.5 inop decor . op.chain

    GREEK   shift, and go to state 31
    LBAG    shift, and go to state 67
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname     go to state 117
    sref      go to state 91
    op.chain  go to state 441
    expr1.5   go to state 104
    expr2     go to state 105
    expr3     go to state 106
    theta     go to state 107
    set       go to state 108
    bra.sref  go to state 158
    ident     go to state 174


State 356

  168 expr3: expr3 BSUP expr . ESUP

    ESUP  shift, and go to state 442


State 357

  128 quant.expr: LET . let.defs '@' expr
  140 bad.exp.quant: LET .

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    $default  reduce using rule 140 (bad.exp.quant)

    let.defs  go to state 443
    let.def   go to state 164
    vname     go to state 165
    ident     go to state 166


State 358

  152 expr1.5: expr3 LIMG expr0 . RIMG decor

    RIMG  shift, and go to state 444


State 359

  124 expr0: quant.expr .

    $default  reduce using rule 124 (expr0)


State 360

  125 expr0: expr .

    $default  reduce using rule 125 (expr0)


State 361

  167 expr3: expr3 POSTOP decor .

    $default  reduce using rule 167 (expr3)


State 362

  169 expr3: expr3 '^' '{' . expr '}'

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 445
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 363

  166 expr3: expr3 '.' selector .

    $default  reduce using rule 166 (expr3)


State 364

  173 selector: theta .

    $default  reduce using rule 173 (selector)


State 365

  172 selector: vname .

    $default  reduce using rule 172 (selector)


State 366

   38 short.para.ok: ident COCOEQ data.rhs .
   70 data.rhs: data.rhs . '|' arm

    '|'  shift, and go to state 446

    $default  reduce using rule 38 (short.para.ok)


State 367

   69 data.rhs: arm .

    $default  reduce using rule 69 (data.rhs)


State 368

   72 arm: vname . LDATA expr RDATA

    LDATA  shift, and go to state 447


State 369

   71 arm: ident .
  218 vname: ident .

    LDATA     reduce using rule 218 (vname)
    $default  reduce using rule 71 (arm)


State 370

   44 def.lhs: ident INGEN decor . ident
  141 expr0.5: ident INGEN decor . expr0.5

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr0.5        go to state 448
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 449


State 371

  193 g.actual.opt: '[' ref.head . ident ']'
  194             | '[' ref.head . expr.list ']'
  200 gen.formals: '[' ref.head . ident ']'
  203 ref.head: ref.head . ident ','

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 450
    ident          go to state 451


State 372

  196 g.actual.opt: '[' expr.list . ']'
  211 expr.list: expr.list . ',' expr

    ','  shift, and go to state 289
    ']'  shift, and go to state 452


State 373

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  195 g.actual.opt: '[' ident . ']'
  201 gen.formals: '[' ident . ']'
  202 ref.head: ident . ','

    INGEN  shift, and go to state 291
    ','    shift, and go to state 391
    ']'    shift, and go to state 453
    '['    shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 374

  236 relation: INREL decor .

    $default  reduce using rule 236 (relation)


State 375

  229 op.name: DUMMY LIMG DUMMY . RIMG decor

    RIMG  shift, and go to state 454


State 376

  237 relation: YINREL '{' . ident '}'

    WORD  shift, and go to state 76

    ident  go to state 455


State 377

  223 op.name: DUMMY in.sym decor . DUMMY

    DUMMY  shift, and go to state 456


State 378

  227 op.name: DUMMY post.sym decor .

    $default  reduce using rule 227 (op.name)


State 379

  224 op.name: DUMMY relation DUMMY .

    $default  reduce using rule 224 (op.name)


State 380

   75 sref.tail: decor '[' . expr.list ']' rename.opt
   77 rename.opt: '[' . rename.list ']'

    DUMMY   shift, and go to state 111
    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 181
    PREREL  shift, and go to state 114
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 182
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    rename.list    go to state 431
    rename         go to state 432
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 433
    dname          go to state 434
    ident          go to state 195
    op.name        go to state 125


State 381

  225 op.name: PREGEN decor DUMMY .

    $default  reduce using rule 225 (op.name)


State 382

  226 op.name: PREREL decor DUMMY .

    $default  reduce using rule 226 (op.name)


State 383

   27 axiom.part: error . end

    EAXDEF   shift, and go to state 208
    EGENDEF  shift, and go to state 209
    ESCHEMA  shift, and go to state 210
    ESYNTAX  shift, and go to state 211
    EZED     shift, and go to state 212

    end  go to state 457


State 384

   24 long.schema: decl.part WHERE axiom.part .

    $default  reduce using rule 24 (long.schema)


State 385

   26 axiom.part: axioms . end
   29 axioms: axioms . sep pred

    EAXDEF   shift, and go to state 208
    EGENDEF  shift, and go to state 209
    ESCHEMA  shift, and go to state 210
    ESYNTAX  shift, and go to state 211
    EZED     shift, and go to state 212
    NL       shift, and go to state 213
    ';'      shift, and go to state 214

    end  go to state 458
    sep  go to state 459


State 386

   28 axioms: pred .

    $default  reduce using rule 28 (axioms)


State 387

   83 decl.part: decl.part sep easy.decl .

    $default  reduce using rule 83 (decl.part)


State 388

  217 dname.list: dname.list ',' dname .

    $default  reduce using rule 217 (dname.list)


State 389

   84 decl: dname.list ':' expr .

    $default  reduce using rule 84 (decl)


State 390

  200 gen.formals: '[' ref.head ident . ']'
  203 ref.head: ref.head ident . ','

    ','  shift, and go to state 460
    ']'  shift, and go to state 461


State 391

  202 ref.head: ident ',' .

    $default  reduce using rule 202 (ref.head)


State 392

  201 gen.formals: '[' ident ']' .

    $default  reduce using rule 201 (gen.formals)


State 393

   47 schema.head: '{' future.sname '}' . g.formal.opt

    '['  shift, and go to state 126

    $default  reduce using rule 199 (g.formal.opt)

    g.formal.opt  go to state 462
    gen.formals   go to state 128


State 394

   48 schema.head: '{' future.sname gen.formals . '}'

    '}'  shift, and go to state 463


State 395

   91 logic: EXISTS schema '@' logic .

    $default  reduce using rule 91 (logic)


State 396

  205 decl.seq: decl.seq ';' decl .

    $default  reduce using rule 205 (decl.seq)


State 397

  208 pred.seq: pred .

    $default  reduce using rule 208 (pred.seq)


State 398

  206 pred.seq.opt: '|' pred.seq .
  209 pred.seq: pred.seq . ';' pred

    ';'  shift, and go to state 464

    $default  reduce using rule 206 (pred.seq.opt)


State 399

   92 logic: EXISTS1 schema '@' logic .

    $default  reduce using rule 92 (logic)


State 400

   90 logic: FORALL schema '@' logic .

    $default  reduce using rule 90 (logic)


State 401

  128 quant.expr: LET let.defs . '@' expr
  130 let.defs: let.defs . ';' let.def
  191 bra.sref: '(' LET let.defs . '@' bra.sref ')'

    ';'  shift, and go to state 294
    '@'  shift, and go to state 465


State 402

  178 expr3: '(' expr mark.expr . last.expr

    $default  reduce using rule 123 (last.expr)

    last.expr  go to state 466


State 403

  157 expr3: '(' op.name ')' . g.actual.opt

    '['  shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 429


State 404

  211 expr.list: expr.list ',' expr .

    $default  reduce using rule 211 (expr.list)


State 405

  141 expr0.5: ident INGEN decor . expr0.5

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr0.5        go to state 448
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 406

  193 g.actual.opt: '[' ref.head . ident ']'
  194             | '[' ref.head . expr.list ']'
  203 ref.head: ref.head . ident ','

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 157
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    expr.list      go to state 450
    ident          go to state 467


State 407

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  195 g.actual.opt: '[' ident . ']'
  202 ref.head: ident . ','

    INGEN  shift, and go to state 291
    ','    shift, and go to state 391
    ']'    shift, and go to state 468
    '['    shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 408

  219 vname: '(' op.name ')' .

    $default  reduce using rule 219 (vname)


State 409

  130 let.defs: let.defs ';' let.def .

    $default  reduce using rule 130 (let.defs)


State 410

   93 logic: LET let.defs '@' logic .

    $default  reduce using rule 93 (logic)


State 411

  131 let.def: vname EQEQ expr .

    $default  reduce using rule 131 (let.def)


State 412

   77 rename.opt: '[' . rename.list ']'

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    rename.list  go to state 431
    rename       go to state 432
    dname        go to state 434
    ident        go to state 124
    op.name      go to state 125


State 413

  177 theta: THETA word decor rename.opt .

    $default  reduce using rule 177 (theta)


State 414

  214 expr.opt: '@' expr .

    $default  reduce using rule 214 (expr.opt)


State 415

  181 set: LBRACE schema expr.opt RBRACE .

    $default  reduce using rule 181 (set)


State 416

  188 more.decls: ';' decl.seq .
  205 decl.seq: decl.seq . ';' decl

    ';'  shift, and go to state 279

    $default  reduce using rule 188 (more.decls)


State 417

  183 set: LBRACE set.decl more.decls pred.seq.opt . expr.opt RBRACE

    '@'  shift, and go to state 303

    $default  reduce using rule 215 (expr.opt)

    expr.opt  go to state 469


State 418

  182 set: LBRACE some.idents expr.list RBRACE .

    $default  reduce using rule 182 (set)


State 419

  185 set.decl: some.idents dname.list ':' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 470
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 420

  187 some.idents: some.idents ident ',' .

    $default  reduce using rule 187 (some.idents)


State 421

  132 expr: IF pred THEN expr . ELSE expr

    ELSE  shift, and go to state 471


State 422

  175 binding.list: binding.list ',' binding .

    $default  reduce using rule 175 (binding.list)


State 423

  176 binding: dname BIND expr .

    $default  reduce using rule 176 (binding)


State 424

  126 quant.expr: LAMBDA schema '@' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 472
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 425

   93 logic: LET let.defs '@' . logic
  128 quant.expr: LET let.defs '@' . expr
  191 bra.sref: '(' LET let.defs '@' . bra.sref ')'

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    logic          go to state 410
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 473
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 474
    ident          go to state 161


State 426

  127 quant.expr: MU schema expr.opt .

    $default  reduce using rule 127 (quant.expr)


State 427

  162 expr3: '(' expr ',' expr.list . ')'
  179      | '(' expr ',' expr.list .
  211 expr.list: expr.list . ',' expr

    ','  shift, and go to state 289
    ')'  shift, and go to state 475

    $default  reduce using rule 179 (expr3)


State 428

  119 rel.item: last.expr . '=' expr mark.expr
  120         | last.expr . IN expr mark.expr
  121         | last.expr . relation expr mark.expr
  178 expr3: '(' expr mark.expr last.expr .

    IN      shift, and go to state 348
    INREL   shift, and go to state 250
    YINREL  shift, and go to state 252
    '='     shift, and go to state 349

    $default  reduce using rule 178 (expr3)

    relation  go to state 350


State 429

  157 expr3: '(' op.name ')' g.actual.opt .

    $default  reduce using rule 157 (expr3)


State 430

   42 def.lhs: '(' op.name ')' g.formal.opt .

    $default  reduce using rule 42 (def.lhs)


State 431

   77 rename.opt: '[' rename.list . ']'
   80 rename.list: rename.list . ',' rename

    ','  shift, and go to state 476
    ']'  shift, and go to state 477


State 432

   79 rename.list: rename .

    $default  reduce using rule 79 (rename.list)


State 433

   75 sref.tail: decor '[' expr.list . ']' rename.opt
  211 expr.list: expr.list . ',' expr

    ','  shift, and go to state 289
    ']'  shift, and go to state 478


State 434

   81 rename: dname . '/' dname

    '/'  shift, and go to state 479


State 435

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  201 gen.formals: '[' ident . ']'
  202 ref.head: ident . ','
  220 dname: ident .

    INGEN  shift, and go to state 291
    ','    shift, and go to state 391
    ']'    shift, and go to state 392
    '['    shift, and go to state 292

    '/'       reduce using rule 220 (dname)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 436

  108 logic1: logic1 HIDE '(' dname.list . ')'
  217 dname.list: dname.list . ',' dname

    ','  shift, and go to state 265
    ')'  shift, and go to state 480


State 437

  120 rel.item: last.expr IN expr . mark.expr

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 481


State 438

  119 rel.item: last.expr '=' expr . mark.expr

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 482


State 439

  121 rel.item: last.expr relation expr . mark.expr

    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 483


State 440

  134 expr0.5: expr0.5 . INGEN decor expr0.5
  134        | expr0.5 INGEN decor expr0.5 .

    INGEN  shift, and go to state 233

    $default  reduce using rule 134 (expr0.5)


State 441

  146 op.chain: expr1.5 inop decor op.chain .

    $default  reduce using rule 146 (op.chain)


State 442

  168 expr3: expr3 BSUP expr ESUP .

    $default  reduce using rule 168 (expr3)


State 443

  128 quant.expr: LET let.defs . '@' expr
  130 let.defs: let.defs . ';' let.def

    ';'  shift, and go to state 294
    '@'  shift, and go to state 484


State 444

  152 expr1.5: expr3 LIMG expr0 RIMG . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 485


State 445

  169 expr3: expr3 '^' '{' expr . '}'

    '}'  shift, and go to state 486


State 446

   70 data.rhs: data.rhs '|' . arm

    WORD  shift, and go to state 76
    '('   shift, and go to state 162

    arm    go to state 487
    vname  go to state 368
    ident  go to state 369


State 447

   72 arm: vname LDATA . expr RDATA

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 488
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 448

  134 expr0.5: expr0.5 . INGEN decor expr0.5
  141        | ident INGEN decor expr0.5 .

    INGEN  shift, and go to state 233

    $default  reduce using rule 141 (expr0.5)


State 449

   44 def.lhs: ident INGEN decor ident .
  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt

    INGEN  shift, and go to state 291
    '['    shift, and go to state 292

    EQEQ      reduce using rule 44 (def.lhs)
    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 450

  194 g.actual.opt: '[' ref.head expr.list . ']'
  211 expr.list: expr.list . ',' expr

    ','  shift, and go to state 289
    ']'  shift, and go to state 489


State 451

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  193 g.actual.opt: '[' ref.head ident . ']'
  200 gen.formals: '[' ref.head ident . ']'
  203 ref.head: ref.head ident . ','

    INGEN  shift, and go to state 291
    ','    shift, and go to state 460
    ']'    shift, and go to state 490
    '['    shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 452

  196 g.actual.opt: '[' expr.list ']' .

    $default  reduce using rule 196 (g.actual.opt)


State 453

  195 g.actual.opt: '[' ident ']' .
  201 gen.formals: '[' ident ']' .

    DEFEQ     reduce using rule 201 (gen.formals)
    EQEQ      reduce using rule 201 (gen.formals)
    $default  reduce using rule 195 (g.actual.opt)


State 454

  229 op.name: DUMMY LIMG DUMMY RIMG . decor

    DECOR  shift, and go to state 177

    $default  reduce using rule 239 (decor)

    decor  go to state 491


State 455

  237 relation: YINREL '{' ident . '}'

    '}'  shift, and go to state 492


State 456

  223 op.name: DUMMY in.sym decor DUMMY .

    $default  reduce using rule 223 (op.name)


State 457

   27 axiom.part: error end .

    $default  reduce using rule 27 (axiom.part)


State 458

   26 axiom.part: axioms end .

    $default  reduce using rule 26 (axiom.part)


State 459

   29 axioms: axioms sep . pred

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    pred           go to state 493
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 460

  203 ref.head: ref.head ident ',' .

    $default  reduce using rule 203 (ref.head)


State 461

  200 gen.formals: '[' ref.head ident ']' .

    $default  reduce using rule 200 (gen.formals)


State 462

   47 schema.head: '{' future.sname '}' g.formal.opt .

    $default  reduce using rule 47 (schema.head)


State 463

   48 schema.head: '{' future.sname gen.formals '}' .

    $default  reduce using rule 48 (schema.head)


State 464

  209 pred.seq: pred.seq ';' . pred

    EXISTS   shift, and go to state 62
    EXISTS1  shift, and go to state 63
    FALSITY  shift, and go to state 64
    FORALL   shift, and go to state 65
    GREEK    shift, and go to state 31
    LAMBDA   shift, and go to state 66
    LBAG     shift, and go to state 67
    LET      shift, and go to state 68
    MU       shift, and go to state 69
    NOT      shift, and go to state 70
    NUMBER   shift, and go to state 71
    POWER    shift, and go to state 72
    PRE      shift, and go to state 73
    THETA    shift, and go to state 74
    TRUTH    shift, and go to state 75
    WORD     shift, and go to state 76
    SNAME    shift, and go to state 36
    PREGEN   shift, and go to state 155
    PREREL   shift, and go to state 78
    LBRACE   shift, and go to state 79
    IF       shift, and go to state 80
    LANGLE   shift, and go to state 81
    '-'      shift, and go to state 82
    '('      shift, and go to state 170
    '['      shift, and go to state 171

    sname          go to state 117
    sref           go to state 91
    pred           go to state 494
    logic          go to state 190
    logic1         go to state 95
    quant          go to state 96
    rel.chain      go to state 97
    expr           go to state 98
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 109
    ident          go to state 161


State 465

  128 quant.expr: LET let.defs '@' . expr
  191 bra.sref: '(' LET let.defs '@' . bra.sref ')'

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 495
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 496
    ident          go to state 161


State 466

  178 expr3: '(' expr mark.expr last.expr .

    $default  reduce using rule 178 (expr3)


State 467

  141 expr0.5: ident . INGEN decor expr0.5
  156 expr3: ident . g.actual.opt
  193 g.actual.opt: '[' ref.head ident . ']'
  203 ref.head: ref.head ident . ','

    INGEN  shift, and go to state 291
    ','    shift, and go to state 460
    ']'    shift, and go to state 497
    '['    shift, and go to state 292

    $default  reduce using rule 197 (g.actual.opt)

    g.actual.opt  go to state 248


State 468

  195 g.actual.opt: '[' ident ']' .

    $default  reduce using rule 195 (g.actual.opt)


State 469

  183 set: LBRACE set.decl more.decls pred.seq.opt expr.opt . RBRACE

    RBRACE  shift, and go to state 498


State 470

  185 set.decl: some.idents dname.list ':' expr .

    $default  reduce using rule 185 (set.decl)


State 471

  132 expr: IF pred THEN expr ELSE . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 499
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 472

  126 quant.expr: LAMBDA schema '@' expr .

    $default  reduce using rule 126 (quant.expr)


State 473

  117 rel.chain: expr . mark.expr rel.item
  128 quant.expr: LET let.defs '@' expr .

    ')'       reduce using rule 128 (quant.expr)
    $default  reduce using rule 122 (mark.expr)

    mark.expr  go to state 232


State 474

   97 logic1: bra.sref .
  159 expr3: bra.sref .
  191 bra.sref: '(' LET let.defs '@' bra.sref . ')'

    ')'  shift, and go to state 500

    AND       reduce using rule 97 (logic1)
    EAXDEF    reduce using rule 97 (logic1)
    EGENDEF   reduce using rule 97 (logic1)
    EQUIV     reduce using rule 97 (logic1)
    ESCHEMA   reduce using rule 97 (logic1)
    ESYNTAX   reduce using rule 97 (logic1)
    EZED      reduce using rule 97 (logic1)
    FATSEMI   reduce using rule 97 (logic1)
    HIDE      reduce using rule 97 (logic1)
    IMPLIES   reduce using rule 97 (logic1)
    NL        reduce using rule 97 (logic1)
    OR        reduce using rule 97 (logic1)
    PIPE      reduce using rule 97 (logic1)
    PROJECT   reduce using rule 97 (logic1)
    RIMG      reduce using rule 97 (logic1)
    VDASH     reduce using rule 97 (logic1)
    RBRACE    reduce using rule 97 (logic1)
    THEN      reduce using rule 97 (logic1)
    ']'       reduce using rule 97 (logic1)
    ';'       reduce using rule 97 (logic1)
    '@'       reduce using rule 97 (logic1)
    $default  reduce using rule 159 (expr3)


State 475

  162 expr3: '(' expr ',' expr.list ')' .

    $default  reduce using rule 162 (expr3)


State 476

   80 rename.list: rename.list ',' . rename

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    rename   go to state 501
    dname    go to state 434
    ident    go to state 124
    op.name  go to state 125


State 477

   77 rename.opt: '[' rename.list ']' .

    $default  reduce using rule 77 (rename.opt)


State 478

   75 sref.tail: decor '[' expr.list ']' . rename.opt

    '['  shift, and go to state 412

    $default  reduce using rule 78 (rename.opt)

    rename.opt  go to state 502


State 479

   81 rename: dname '/' . dname

    DUMMY   shift, and go to state 111
    WORD    shift, and go to state 76
    PREGEN  shift, and go to state 113
    PREREL  shift, and go to state 114
    '-'     shift, and go to state 115

    dname    go to state 503
    ident    go to state 124
    op.name  go to state 125


State 480

  108 logic1: logic1 HIDE '(' dname.list ')' .

    $default  reduce using rule 108 (logic1)


State 481

  120 rel.item: last.expr IN expr mark.expr .

    $default  reduce using rule 120 (rel.item)


State 482

  119 rel.item: last.expr '=' expr mark.expr .

    $default  reduce using rule 119 (rel.item)


State 483

  121 rel.item: last.expr relation expr mark.expr .

    $default  reduce using rule 121 (rel.item)


State 484

  128 quant.expr: LET let.defs '@' . expr

    GREEK   shift, and go to state 31
    LAMBDA  shift, and go to state 66
    LBAG    shift, and go to state 67
    LET     shift, and go to state 154
    MU      shift, and go to state 69
    NUMBER  shift, and go to state 71
    POWER   shift, and go to state 72
    THETA   shift, and go to state 74
    WORD    shift, and go to state 76
    SNAME   shift, and go to state 36
    PREGEN  shift, and go to state 155
    LBRACE  shift, and go to state 79
    IF      shift, and go to state 80
    LANGLE  shift, and go to state 81
    '-'     shift, and go to state 82
    '('     shift, and go to state 156

    sname          go to state 117
    sref           go to state 91
    expr           go to state 495
    expr0.5        go to state 99
    bad.exp.quant  go to state 100
    product        go to state 101
    expr1          go to state 102
    op.chain       go to state 103
    expr1.5        go to state 104
    expr2          go to state 105
    expr3          go to state 106
    theta          go to state 107
    set            go to state 108
    bra.sref       go to state 158
    ident          go to state 161


State 485

  152 expr1.5: expr3 LIMG expr0 RIMG decor .

    $default  reduce using rule 152 (expr1.5)


State 486

  169 expr3: expr3 '^' '{' expr '}' .

    $default  reduce using rule 169 (expr3)


State 487

   70 data.rhs: data.rhs '|' arm .

    $default  reduce using rule 70 (data.rhs)


State 488

   72 arm: vname LDATA expr . RDATA

    RDATA  shift, and go to state 504


State 489

  194 g.actual.opt: '[' ref.head expr.list ']' .

    $default  reduce using rule 194 (g.actual.opt)


State 490

  193 g.actual.opt: '[' ref.head ident ']' .
  200 gen.formals: '[' ref.head ident ']' .

    DEFEQ     reduce using rule 200 (gen.formals)
    EQEQ      reduce using rule 200 (gen.formals)
    $default  reduce using rule 193 (g.actual.opt)


State 491

  229 op.name: DUMMY LIMG DUMMY RIMG decor .

    $default  reduce using rule 229 (op.name)


State 492

  237 relation: YINREL '{' ident '}' .

    $default  reduce using rule 237 (relation)


State 493

   29 axioms: axioms sep pred .

    $default  reduce using rule 29 (axioms)


State 494

  209 pred.seq: pred.seq ';' pred .

    $default  reduce using rule 209 (pred.seq)


State 495

  128 quant.expr: LET let.defs '@' expr .

    $default  reduce using rule 128 (quant.expr)


State 496

  159 expr3: bra.sref .
  191 bra.sref: '(' LET let.defs '@' bra.sref . ')'

    ')'  shift, and go to state 500

    $default  reduce using rule 159 (expr3)


State 497

  193 g.actual.opt: '[' ref.head ident ']' .

    $default  reduce using rule 193 (g.actual.opt)


State 498

  183 set: LBRACE set.decl more.decls pred.seq.opt expr.opt RBRACE .

    $default  reduce using rule 183 (set)


State 499

  132 expr: IF pred THEN expr ELSE expr .

    $default  reduce using rule 132 (expr)


State 500

  191 bra.sref: '(' LET let.defs '@' bra.sref ')' .

    $default  reduce using rule 191 (bra.sref)


State 501

   80 rename.list: rename.list ',' rename .

    $default  reduce using rule 80 (rename.list)


State 502

   75 sref.tail: decor '[' expr.list ']' rename.opt .

    $default  reduce using rule 75 (sref.tail)


State 503

   81 rename: dname '/' dname .

    $default  reduce using rule 81 (rename)


State 504

   72 arm: vname LDATA expr RDATA .

    $default  reduce using rule 72 (arm)
