module twelfpar. accumulate twelf. first (dec _4332) lbrace. first (decs _4324) lbrace. first (mform _4247) truet. first (mform _4188) existst. first (mform _4129) forallt. first (mform _4070) forallst. first (thdecl _4016) (id _4024). first (pprove _3956) (iconst _3964). first (args _3901) (id _3909). first (args _3866) rparen. first (callpat _3815) (id _3823). first (callpats _3716) lparen. first (idlist _1772) (id _3632). first (marg _3405) lparen. first (marg _3405) (id _3538). first (order _3268) lbrace. first (order _3268) lbracket. first (order _3268) (id _3538). first (order _3268) lparen. first (orders _3346) (id _3538). first (orders _3346) lbracket. first (orders _3346) lbrace. first (orders _3311) lparen. first (termin _3260) (id _3538). first (termin _3260) lparen. first (termin _3260) lbracket. first (termin _3260) lbrace. first (mode _2811) minust. first (mode _2764) astrt. first (mode _2717) plust. first (mode _2605) (id _2613). first (bound _2563) (iconst _2572). first (bound _2531) astrt. first (intermpi _2124 _2125) lbrace. first (interm _2195) lbracket. first telparen lparen. first (term _2245) lparen. first (term _2187) lbracket. first (term _2029) lbrace. first (term _1763) (id _3632). first (term _1731) typet. first (decl _403) uset. first (decl _403) assertt. first (decl _403) establisht. first (decl _403) provet. first (decl _403) theoremt. first (decl _403) terminatest. first (decl _403) modet. first (decl _403) solvet. first (decl _403) queryt. first (nament _1088) namet. first (decl _403) namet. first (nontermpost _996) postfixt. first (decl _403) postfixt. first (nontermpre _904) prefixt. first (decl _403) prefixt. first (nonterminfr _809) infixt. first (decl _403) infixt. first (nonterminfl _714) infixt. first (decl _403) infixt. first (nonterminf _619) infixt. first (decl _403) infixt. first (decl _403) (id _443). first (sigdecl _311) (id _443). first (sigdecl _311) infixt. first (sigdecl _311) prefixt. first (sigdecl _311) postfixt. first (sigdecl _311) namet. first (sigdecl _311) queryt. first (sigdecl _311) solvet. first (sigdecl _311) modet. first (sigdecl _311) terminatest. first (sigdecl _311) theoremt. first (sigdecl _311) provet. first (sigdecl _311) establisht. first (sigdecl _311) assertt. first (sigdecl _311) uset. first (decls _272) (id _443). first (decls _272) infixt. first (decls _272) prefixt. first (decls _272) postfixt. first (decls _272) namet. first (decls _272) queryt. first (decls _272) solvet. first (decls _272) modet. first (decls _272) terminatest. first (decls _272) theoremt. first (decls _272) provet. first (decls _272) establisht. first (decls _272) assertt. first (decls _272) uset. first (defelf _263) (id _443). first (defelf _263) infixt. first (defelf _263) prefixt. first (defelf _263) postfixt. first (defelf _263) namet. first (defelf _263) queryt. first (defelf _263) solvet. first (defelf _263) modet. first (defelf _263) terminatest. first (defelf _263) theoremt. first (defelf _263) provet. first (defelf _263) establisht. first (defelf _263) assertt. first (defelf _263) uset. first X X :- terminal X. parse [sigdecl _53513,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _62745 :: nil), first (decls _53522) A, !, parse [A,sigdecl _53513,B|Alpha] Beta Result Str. parse [decl _53563,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _63226 :: nil), first (period) A, !, parse [A,decl _53563,B|Alpha] Beta Result Str. parse [id _53603,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64211 :: nil), first (colon) A, !, parse [A,id _53603,B|Alpha] Beta Result Str. parse [colon,id _53603,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64211 :: nil), first (term _53615) A, !, parse [A,colon,id _53603,B|Alpha] Beta Result Str. parse [id _53658,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64960 :: nil), first (colon) A, !, parse [A,id _53658,B|Alpha] Beta Result Str. parse [colon,id _53658,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64960 :: nil), first (term _53669) A, !, parse [A,colon,id _53658,B|Alpha] Beta Result Str. parse [term _53669,colon,id _53658,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64960 :: nil), first (eqlt) A, !, parse [A,term _53669,colon,id _53658,B|Alpha] Beta Result Str. parse [eqlt,term _53669,colon,id _53658,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _64960 :: nil), first (term _53681) A, !, parse [A,eqlt,term _53669,colon,id _53658,B|Alpha] Beta Result Str. parse [id _53724,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _65709 :: nil), first (eqlt) A, !, parse [A,id _53724,B|Alpha] Beta Result Str. parse [eqlt,id _53724,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _65709 :: nil), first (term _53736) A, !, parse [A,eqlt,id _53724,B|Alpha] Beta Result Str. parse [nonterminf _53779,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _66458 :: nil), first (id _53788) A, !, parse [A,nonterminf _53779,B|Alpha] Beta Result Str. parse [infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _67268 :: nil), first (nonet) A, !, parse [A,infixt,B|Alpha] Beta Result Str. parse [nonet,infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _67268 :: nil), first (iconst _53838) A, !, parse [A,nonet,infixt,B|Alpha] Beta Result Str. parse [nonterminfl _53874,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _68041 :: nil), first (id _53883) A, !, parse [A,nonterminfl _53874,B|Alpha] Beta Result Str. parse [infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _68851 :: nil), first (leftt) A, !, parse [A,infixt,B|Alpha] Beta Result Str. parse [leftt,infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _68851 :: nil), first (iconst _53933) A, !, parse [A,leftt,infixt,B|Alpha] Beta Result Str. parse [nonterminfr _53969,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _69624 :: nil), first (id _53978) A, !, parse [A,nonterminfr _53969,B|Alpha] Beta Result Str. parse [infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _70434 :: nil), first (rightt) A, !, parse [A,infixt,B|Alpha] Beta Result Str. parse [rightt,infixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _70434 :: nil), first (iconst _54028) A, !, parse [A,rightt,infixt,B|Alpha] Beta Result Str. parse [nontermpre _54064,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _71207 :: nil), first (id _54073) A, !, parse [A,nontermpre _54064,B|Alpha] Beta Result Str. parse [prefixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _72017 :: nil), first (iconst _54120) A, !, parse [A,prefixt,B|Alpha] Beta Result Str. parse [nontermpost _54156,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _72790 :: nil), first (id _54165) A, !, parse [A,nontermpost _54156,B|Alpha] Beta Result Str. parse [postfixt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _73600 :: nil), first (iconst _54212) A, !, parse [A,postfixt,B|Alpha] Beta Result Str. parse [nament _54248,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _74373 :: nil), first (id _54257) A, !, parse [A,nament _54248,B|Alpha] Beta Result Str. parse [namet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _75183 :: nil), first (id _54303) A, !, parse [A,namet,B|Alpha] Beta Result Str. parse [queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _75956 :: nil), first (bound _54342) A, !, parse [A,queryt,B|Alpha] Beta Result Str. parse [bound _54342,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _75956 :: nil), first (bound _54350) A, !, parse [A,bound _54342,queryt,B|Alpha] Beta Result Str. parse [bound _54350,bound _54342,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _75956 :: nil), first (term _54359) A, !, parse [A,bound _54350,bound _54342,queryt,B|Alpha] Beta Result Str. parse [queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), first (bound _54406) A, !, parse [A,queryt,B|Alpha] Beta Result Str. parse [bound _54406,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), first (bound _54414) A, !, parse [A,bound _54406,queryt,B|Alpha] Beta Result Str. parse [bound _54414,bound _54406,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), first (id _54422) A, !, parse [A,bound _54414,bound _54406,queryt,B|Alpha] Beta Result Str. parse [id _54422,bound _54414,bound _54406,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), first (colon) A, !, parse [A,id _54422,bound _54414,bound _54406,queryt,B|Alpha] Beta Result Str. parse [colon,id _54422,bound _54414,bound _54406,queryt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), first (term _54434) A, !, parse [A,colon,id _54422,bound _54414,bound _54406,queryt,B|Alpha] Beta Result Str. parse [solvet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _77454 :: nil), first (id _54481) A, !, parse [A,solvet,B|Alpha] Beta Result Str. parse [id _54481,solvet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _77454 :: nil), first (term _54490) A, !, parse [A,id _54481,solvet,B|Alpha] Beta Result Str. parse [modet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _78203 :: nil), first (mode _54536) A, !, parse [A,modet,B|Alpha] Beta Result Str. parse [modet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _78952 :: nil), first (id _54581) A, !, parse [A,modet,B|Alpha] Beta Result Str. parse [terminatest,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _79701 :: nil), first (termin _54633) A, !, parse [A,terminatest,B|Alpha] Beta Result Str. parse [theoremt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _80450 :: nil), first (thdecl _54678) A, !, parse [A,theoremt,B|Alpha] Beta Result Str. parse [provet,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _81199 :: nil), first (pprove _54723) A, !, parse [A,provet,B|Alpha] Beta Result Str. parse [establisht,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _81948 :: nil), first (pprove _54768) A, !, parse [A,establisht,B|Alpha] Beta Result Str. parse [assertt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _82697 :: nil), first (callpats _54813) A, !, parse [A,assertt,B|Alpha] Beta Result Str. parse [uset,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bofs :: sigdecl _83446 :: nil), first (id _54858) A, !, parse [A,uset,B|Alpha] Beta Result Str. parse [term _54966,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _101816 :: id _101665 :: rarrowt :: larrowt :: term _101455 :: intermpi _101069 _101070 :: interm _101021 :: telparen :: mode _100851 :: eqlt :: rbrace :: colon :: nil), first (rarrowt) A, !, parse [A,term _54966,B|Alpha] Beta Result Str. parse [rarrowt,term _54966,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _101816 :: id _101665 :: rarrowt :: larrowt :: term _101455 :: intermpi _101069 _101070 :: interm _101021 :: telparen :: mode _100851 :: eqlt :: rbrace :: colon :: nil), first (term _54978) A, !, parse [A,rarrowt,term _54966,B|Alpha] Beta Result Str. parse [term _55026,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _109349 :: id _109198 :: rarrowt :: larrowt :: term _108988 :: intermpi _108602 _108603 :: interm _108554 :: telparen :: mode _108384 :: eqlt :: rbrace :: colon :: nil), first (larrowt) A, !, parse [A,term _55026,B|Alpha] Beta Result Str. parse [larrowt,term _55026,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _109349 :: id _109198 :: rarrowt :: larrowt :: term _108988 :: intermpi _108602 _108603 :: interm _108554 :: telparen :: mode _108384 :: eqlt :: rbrace :: colon :: nil), first (term _55038) A, !, parse [A,larrowt,term _55026,B|Alpha] Beta Result Str. parse [term _55086,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _116882 :: id _116731 :: rarrowt :: larrowt :: term _116521 :: intermpi _116135 _116136 :: interm _116087 :: telparen :: mode _115917 :: eqlt :: rbrace :: colon :: nil), first (term _55095) A, !, parse [A,term _55086,B|Alpha] Beta Result Str. parse [term _55137,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _124415 :: id _124264 :: rarrowt :: larrowt :: term _124054 :: intermpi _123668 _123669 :: interm _123620 :: telparen :: mode _123450 :: eqlt :: rbrace :: colon :: nil), first (colon) A, !, parse [A,term _55137,B|Alpha] Beta Result Str. parse [colon,term _55137,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _124415 :: id _124264 :: rarrowt :: larrowt :: term _124054 :: intermpi _123668 _123669 :: interm _123620 :: telparen :: mode _123450 :: eqlt :: rbrace :: colon :: nil), first (term _55149) A, !, parse [A,colon,term _55137,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), first (id _55200) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), first (colon) A, !, parse [A,id _55200,lbrace,B|Alpha] Beta Result Str. parse [colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), first (term _55211) A, !, parse [A,colon,id _55200,lbrace,B|Alpha] Beta Result Str. parse [term _55211,colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), first (rbrace) A, !, parse [A,term _55211,colon,id _55200,lbrace,B|Alpha] Beta Result Str. parse [rbrace,term _55211,colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), first (term _55223) A, !, parse [A,rbrace,term _55211,colon,id _55200,lbrace,B|Alpha] Beta Result Str. parse [intermpi _55284 _55285,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _139481 :: id _139330 :: rarrowt :: larrowt :: term _139120 :: intermpi _138734 _138735 :: interm _138686 :: telparen :: mode _138516 :: eqlt :: rbrace :: colon :: nil), first (term _55294) A, !, parse [A,intermpi _55284 _55285,B|Alpha] Beta Result Str. parse [interm _55355,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _147014 :: id _146863 :: rarrowt :: larrowt :: term _146653 :: intermpi _146267 _146268 :: interm _146219 :: telparen :: mode _146049 :: eqlt :: rbrace :: colon :: nil), first (term _55364) A, !, parse [A,interm _55355,B|Alpha] Beta Result Str. parse [telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _154547 :: id _154396 :: rarrowt :: larrowt :: term _154186 :: intermpi _153800 _153801 :: interm _153752 :: telparen :: mode _153582 :: eqlt :: rbrace :: colon :: nil), first (term _55416) A, !, parse [A,telparen,B|Alpha] Beta Result Str. parse [term _55416,telparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _154547 :: id _154396 :: rarrowt :: larrowt :: term _154186 :: intermpi _153800 _153801 :: interm _153752 :: telparen :: mode _153582 :: eqlt :: rbrace :: colon :: nil), first (rparen) A, !, parse [A,term _55416,telparen,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _166575 :: id _166424 :: rarrowt :: larrowt :: term _166214 :: intermpi _165828 _165829 :: interm _165780 :: telparen :: mode _165610 :: eqlt :: rbrace :: colon :: nil), first (id _55478) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [id _55478,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _166575 :: id _166424 :: rarrowt :: larrowt :: term _166214 :: intermpi _165828 _165829 :: interm _165780 :: telparen :: mode _165610 :: eqlt :: rbrace :: colon :: nil), first (colon) A, !, parse [A,id _55478,lbracket,B|Alpha] Beta Result Str. parse [colon,id _55478,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _166575 :: id _166424 :: rarrowt :: larrowt :: term _166214 :: intermpi _165828 _165829 :: interm _165780 :: telparen :: mode _165610 :: eqlt :: rbrace :: colon :: nil), first (term _55489) A, !, parse [A,colon,id _55478,lbracket,B|Alpha] Beta Result Str. parse [term _55489,colon,id _55478,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _166575 :: id _166424 :: rarrowt :: larrowt :: term _166214 :: intermpi _165828 _165829 :: interm _165780 :: telparen :: mode _165610 :: eqlt :: rbrace :: colon :: nil), first (rbracket) A, !, parse [A,term _55489,colon,id _55478,lbracket,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _171004 :: id _170853 :: rarrowt :: larrowt :: term _170643 :: intermpi _170257 _170258 :: interm _170209 :: telparen :: mode _170039 :: eqlt :: rbrace :: colon :: nil), first (id _55532) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [id _55532,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _171004 :: id _170853 :: rarrowt :: larrowt :: term _170643 :: intermpi _170257 _170258 :: interm _170209 :: telparen :: mode _170039 :: eqlt :: rbrace :: colon :: nil), first (rbracket) A, !, parse [A,id _55532,lbracket,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _175442 :: id _175291 :: rarrowt :: larrowt :: term _175081 :: intermpi _174695 _174696 :: interm _174647 :: telparen :: mode _174477 :: eqlt :: rbrace :: colon :: nil), first (id _55200) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _175442 :: id _175291 :: rarrowt :: larrowt :: term _175081 :: intermpi _174695 _174696 :: interm _174647 :: telparen :: mode _174477 :: eqlt :: rbrace :: colon :: nil), first (colon) A, !, parse [A,id _55200,lbrace,B|Alpha] Beta Result Str. parse [colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _175442 :: id _175291 :: rarrowt :: larrowt :: term _175081 :: intermpi _174695 _174696 :: interm _174647 :: telparen :: mode _174477 :: eqlt :: rbrace :: colon :: nil), first (term _55211) A, !, parse [A,colon,id _55200,lbrace,B|Alpha] Beta Result Str. parse [term _55211,colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _175442 :: id _175291 :: rarrowt :: larrowt :: term _175081 :: intermpi _174695 _174696 :: interm _174647 :: telparen :: mode _174477 :: eqlt :: rbrace :: colon :: nil), first (rbrace) A, !, parse [A,term _55211,colon,id _55200,lbrace,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _179873 :: id _179722 :: rarrowt :: larrowt :: term _179512 :: intermpi _179126 _179127 :: interm _179078 :: telparen :: mode _178908 :: eqlt :: rbrace :: colon :: nil), first (id _55645) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [id _55645,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _179873 :: id _179722 :: rarrowt :: larrowt :: term _179512 :: intermpi _179126 _179127 :: interm _179078 :: telparen :: mode _178908 :: eqlt :: rbrace :: colon :: nil), first (rbrace) A, !, parse [A,id _55645,lbrace,B|Alpha] Beta Result Str. parse [id _55773,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _184337 :: mode _184307 :: nil), first (mode _55782) A, !, parse [A,id _55773,B|Alpha] Beta Result Str. parse [mode _55828,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _184961 :: mode _184931 :: nil), first (mode _55837) A, !, parse [A,mode _55828,B|Alpha] Beta Result Str. parse [plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _185585 :: mode _185555 :: nil), first (id _55889) A, !, parse [A,plust,B|Alpha] Beta Result Str. parse [astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _186209 :: mode _186179 :: nil), first (id _55936) A, !, parse [A,astrt,B|Alpha] Beta Result Str. parse [minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _186833 :: mode _186803 :: nil), first (id _55983) A, !, parse [A,minust,B|Alpha] Beta Result Str. parse [astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _187457 :: mode _187427 :: nil), first (lbrace) A, !, parse [A,astrt,B|Alpha] Beta Result Str. parse [lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _187457 :: mode _187427 :: nil), first (id _56032) A, !, parse [A,lbrace,astrt,B|Alpha] Beta Result Str. parse [id _56032,lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _187457 :: mode _187427 :: nil), first (rbrace) A, !, parse [A,id _56032,lbrace,astrt,B|Alpha] Beta Result Str. parse [plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188081 :: mode _188051 :: nil), first (lbrace) A, !, parse [A,plust,B|Alpha] Beta Result Str. parse [lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188081 :: mode _188051 :: nil), first (id _56085) A, !, parse [A,lbrace,plust,B|Alpha] Beta Result Str. parse [id _56085,lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188081 :: mode _188051 :: nil), first (rbrace) A, !, parse [A,id _56085,lbrace,plust,B|Alpha] Beta Result Str. parse [minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188705 :: mode _188675 :: nil), first (lbrace) A, !, parse [A,minust,B|Alpha] Beta Result Str. parse [lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188705 :: mode _188675 :: nil), first (id _56138) A, !, parse [A,lbrace,minust,B|Alpha] Beta Result Str. parse [id _56138,lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _188705 :: mode _188675 :: nil), first (rbrace) A, !, parse [A,id _56138,lbrace,minust,B|Alpha] Beta Result Str. parse [plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), first (lbrace) A, !, parse [A,plust,B|Alpha] Beta Result Str. parse [lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), first (id _56191) A, !, parse [A,lbrace,plust,B|Alpha] Beta Result Str. parse [id _56191,lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), first (colon) A, !, parse [A,id _56191,lbrace,plust,B|Alpha] Beta Result Str. parse [colon,id _56191,lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), first (term _56202) A, !, parse [A,colon,id _56191,lbrace,plust,B|Alpha] Beta Result Str. parse [term _56202,colon,id _56191,lbrace,plust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), first (rbrace) A, !, parse [A,term _56202,colon,id _56191,lbrace,plust,B|Alpha] Beta Result Str. parse [minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), first (lbrace) A, !, parse [A,minust,B|Alpha] Beta Result Str. parse [lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), first (id _56255) A, !, parse [A,lbrace,minust,B|Alpha] Beta Result Str. parse [id _56255,lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), first (colon) A, !, parse [A,id _56255,lbrace,minust,B|Alpha] Beta Result Str. parse [colon,id _56255,lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), first (term _56266) A, !, parse [A,colon,id _56255,lbrace,minust,B|Alpha] Beta Result Str. parse [term _56266,colon,id _56255,lbrace,minust,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), first (rbrace) A, !, parse [A,term _56266,colon,id _56255,lbrace,minust,B|Alpha] Beta Result Str. parse [astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), first (lbrace) A, !, parse [A,astrt,B|Alpha] Beta Result Str. parse [lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), first (id _56319) A, !, parse [A,lbrace,astrt,B|Alpha] Beta Result Str. parse [id _56319,lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), first (colon) A, !, parse [A,id _56319,lbrace,astrt,B|Alpha] Beta Result Str. parse [colon,id _56319,lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), first (term _56330) A, !, parse [A,colon,id _56319,lbrace,astrt,B|Alpha] Beta Result Str. parse [term _56330,colon,id _56319,lbrace,astrt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), first (rbrace) A, !, parse [A,term _56330,colon,id _56319,lbrace,astrt,B|Alpha] Beta Result Str. parse [mode _56377,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: modet :: id _191201 :: mode _191171 :: nil), first (term _56386) A, !, parse [A,mode _56377,B|Alpha] Beta Result Str. parse [order _56428,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: nil), first (callpats _56437) A, !, parse [A,order _56428,B|Alpha] Beta Result Str. parse [order _56514,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: order _192656 :: lbracket :: lbrace :: nil), first (orders _56523) A, !, parse [A,order _56514,B|Alpha] Beta Result Str. parse [lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _194232 :: lbracket :: lbrace :: iconst _194336 :: nil), first (orders _56604) A, !, parse [A,lbracket,B|Alpha] Beta Result Str. parse [orders _56604,lbracket,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _194232 :: lbracket :: lbrace :: iconst _194336 :: nil), first (rbracket) A, !, parse [A,orders _56604,lbracket,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _195103 :: lbracket :: lbrace :: iconst _195207 :: nil), first (orders _56652) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [orders _56652,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _195103 :: lbracket :: lbrace :: iconst _195207 :: nil), first (rbrace) A, !, parse [A,orders _56652,lbrace,B|Alpha] Beta Result Str. parse [lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _197063 :: lbracket :: lbrace :: iconst _197167 :: nil), first (idlist _56746) A, !, parse [A,lparen,B|Alpha] Beta Result Str. parse [idlist _56746,lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: terminatest :: order _197063 :: lbracket :: lbrace :: iconst _197167 :: nil), first (rparen) A, !, parse [A,idlist _56746,lparen,B|Alpha] Beta Result Str. parse [idlist _56834,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: bound _208581 :: id _208430 :: rarrowt :: larrowt :: term _208220 :: intermpi _207834 _207835 :: interm _207786 :: telparen :: mode _207616 :: eqlt :: rbrace :: colon :: lparen :: nil), first (id _56843) A, !, parse [A,idlist _56834,B|Alpha] Beta Result Str. parse [lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: assertt :: callpat _214034 :: order _214004 :: nil), first (callpat _56887) A, !, parse [A,lparen,B|Alpha] Beta Result Str. parse [callpat _56887,lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: assertt :: callpat _214034 :: order _214004 :: nil), first (callpats _56896) A, !, parse [A,callpat _56887,lparen,B|Alpha] Beta Result Str. parse [lparen,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: assertt :: callpat _215251 :: order _215221 :: nil), first (callpat _56941) A, !, parse [A,lparen,B|Alpha] Beta Result Str. parse [id _56983,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: lparen :: nil), first (args _56992) A, !, parse [A,id _56983,B|Alpha] Beta Result Str. parse [id _57069,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: id _218752 :: nil), first (args _57078) A, !, parse [A,id _57069,B|Alpha] Beta Result Str. parse [iconst _57124,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: provet :: establisht :: nil), first (order _57132) A, !, parse [A,iconst _57124,B|Alpha] Beta Result Str. parse [order _57132,iconst _57124,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: provet :: establisht :: nil), first (callpats _57141) A, !, parse [A,order _57132,iconst _57124,B|Alpha] Beta Result Str. parse [id _57184,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: theoremt :: nil), first (colon) A, !, parse [A,id _57184,B|Alpha] Beta Result Str. parse [colon,id _57184,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: theoremt :: nil), first (mform _57196) A, !, parse [A,colon,id _57184,B|Alpha] Beta Result Str. parse [forallst,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _221133 :: existst :: forallt :: forallst :: nil), first (decs _57241) A, !, parse [A,forallst,B|Alpha] Beta Result Str. parse [decs _57241,forallst,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _221133 :: existst :: forallt :: forallst :: nil), first (mform _57250) A, !, parse [A,decs _57241,forallst,B|Alpha] Beta Result Str. parse [forallt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _222214 :: existst :: forallt :: forallst :: nil), first (decs _57300) A, !, parse [A,forallt,B|Alpha] Beta Result Str. parse [decs _57300,forallt,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _222214 :: existst :: forallt :: forallst :: nil), first (mform _57309) A, !, parse [A,decs _57300,forallt,B|Alpha] Beta Result Str. parse [existst,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _223295 :: existst :: forallt :: forallst :: nil), first (decs _57359) A, !, parse [A,existst,B|Alpha] Beta Result Str. parse [decs _57359,existst,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: colon :: decs _223295 :: existst :: forallt :: forallst :: nil), first (mform _57368) A, !, parse [A,decs _57359,existst,B|Alpha] Beta Result Str. parse [dec _57492,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _225961 :: nil), first (decs _57501) A, !, parse [A,dec _57492,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _226710 :: nil), first (id _57545) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [id _57545,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _226710 :: nil), first (colon) A, !, parse [A,id _57545,lbrace,B|Alpha] Beta Result Str. parse [colon,id _57545,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _226710 :: nil), first (term _57556) A, !, parse [A,colon,id _57545,lbrace,B|Alpha] Beta Result Str. parse [term _57556,colon,id _57545,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _226710 :: nil), first (rbrace) A, !, parse [A,term _57556,colon,id _57545,lbrace,B|Alpha] Beta Result Str. parse [lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _227672 :: nil), first (id _57606) A, !, parse [A,lbrace,B|Alpha] Beta Result Str. parse [id _57606,lbrace,B|Alpha] [A|Beta] Result "shift" :- memb B (bols :: forallst :: forallt :: existst :: dec _227672 :: nil), first (rbrace) A, !, parse [A,id _57606,lbrace,B|Alpha] Beta Result Str. parse [bofs] [A|B] R "shift" :- first (defelf _414787) A, parse [A,bofs] B R Str. startparse START [bols] [A|B] R "shift" :- first (START) A, parse [A,bols] B R Str,!. parse [Sx,bofs] [eofs] Sx "accept" :- start_symbol Sx. parse [Sx,bols] [eols] Sx "accept" :- !. parse [decls _53432,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_53423 = _53432), parse [defelf _53423,B|Alpha] [A|Beta] Result Str. parse [sigdecl _53471,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _62325 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_53462 = _53471 :: nil), parse [decls _53462,B|Alpha] [A|Beta] Result Str. parse [decls _53522,sigdecl _53513,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _62745 :: nil), memb Sym (eols :: eofs :: nil), first Sym A, !, (_53462 = _53513 :: _53522), parse [decls _53462,B|Alpha] [A|Beta] Result Str. parse [period,decl _53563,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _63226 :: nil), memb Sym (eols :: eofs :: decls _63849 :: nil), first Sym A, !, (_53555 = _53563), parse [sigdecl _53555,B|Alpha] [A|Beta] Result Str. parse [term _53615,colon,id _53603,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _64211 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53595 = defterm _53603 _53615 noterm), parse [decl _53595,B|Alpha] [A|Beta] Result Str. parse [term _53681,eqlt,term _53669,colon,id _53658,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _64960 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53595 = defterm _53658 _53669 _53681), parse [decl _53595,B|Alpha] [A|Beta] Result Str. parse [term _53736,eqlt,id _53724,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _65709 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53595 = defterm _53724 _53736 noterm), parse [decl _53595,B|Alpha] [A|Beta] Result Str. parse [id _53788,nonterminf _53779,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _66458 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53595 = fixify infn _53779 _53788), parse [decl _53595,B|Alpha] [A|Beta] Result Str. parse [iconst _53838,nonet,infixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _67268 :: nil), memb Sym (eols :: id _67685 :: nil), first Sym A, !, (_53823 = _53838), parse [nonterminf _53823,B|Alpha] [A|Beta] Result Str. parse [id _53883,nonterminfl _53874,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _68041 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53866 = fixify infl _53874 _53883), parse [decl _53866,B|Alpha] [A|Beta] Result Str. parse [iconst _53933,leftt,infixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _68851 :: nil), memb Sym (eols :: id _69268 :: nil), first Sym A, !, (_53918 = _53933), parse [nonterminfl _53918,B|Alpha] [A|Beta] Result Str. parse [id _53978,nonterminfr _53969,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _69624 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_53961 = fixify infr _53969 _53978), parse [decl _53961,B|Alpha] [A|Beta] Result Str. parse [iconst _54028,rightt,infixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _70434 :: nil), memb Sym (eols :: id _70851 :: nil), first Sym A, !, (_54013 = _54028), parse [nonterminfr _54013,B|Alpha] [A|Beta] Result Str. parse [id _54073,nontermpre _54064,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _71207 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54056 = fixify pref _54064 _54073), parse [decl _54056,B|Alpha] [A|Beta] Result Str. parse [iconst _54120,prefixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _72017 :: nil), memb Sym (eols :: id _72434 :: nil), first Sym A, !, (_54108 = _54120), parse [nontermpre _54108,B|Alpha] [A|Beta] Result Str. parse [id _54165,nontermpost _54156,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _72790 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54148 = fixify postf _54156 _54165), parse [decl _54148,B|Alpha] [A|Beta] Result Str. parse [iconst _54212,postfixt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _73600 :: nil), memb Sym (eols :: id _74017 :: nil), first Sym A, !, (_54200 = _54212), parse [nontermpost _54200,B|Alpha] [A|Beta] Result Str. parse [id _54257,nament _54248,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _74373 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54240 = defname _54248 _54257), parse [decl _54240,B|Alpha] [A|Beta] Result Str. parse [id _54303,namet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _75183 :: nil), memb Sym (eols :: id _75600 :: nil), first Sym A, !, (_54291 = _54303), parse [nament _54291,B|Alpha] [A|Beta] Result Str. parse [term _54359,bound _54350,bound _54342,queryt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _75956 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defquery _54342 _54350 "" _54359), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [term _54434,colon,id _54422,bound _54414,bound _54406,queryt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _76705 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defquery _54406 _54414 _54422 _54434), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [term _54490,id _54481,solvet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _77454 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defsolve _54481 _54490), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [mode _54536,modet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _78203 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defmode _54536), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [id _54581,modet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _78952 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defmode (decmode _54581 nil)), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [termin _54633,terminatest,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _79701 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defterminate _54633), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [thdecl _54678,theoremt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _80450 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = deftheorem _54678), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [pprove _54723,provet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _81199 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defprove _54723), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [pprove _54768,establisht,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _81948 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defestablish _54768), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [callpats _54813,assertt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _82697 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defassert _54813), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [id _54858,uset,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bofs :: sigdecl _83446 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_54331 = defuse _54858), parse [decl _54331,B|Alpha] [A|Beta] Result Str. parse [typet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _86750 :: id _86599 :: rarrowt :: larrowt :: term _86389 :: intermpi _86003 _86004 :: interm _85955 :: telparen :: mode _85785 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _90599 :: term _90569 :: rbrace :: nil), first Sym A, !, (_54891 = typeterm), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [idlist _54932,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _94283 :: id _94132 :: rarrowt :: larrowt :: term _93922 :: intermpi _93536 _93537 :: interm _93488 :: telparen :: mode _93318 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _98132 :: term _98102 :: rbrace :: nil), first Sym A, !, (termify _54932 _54891), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _54978,rarrowt,term _54966,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _101816 :: id _101665 :: rarrowt :: larrowt :: term _101455 :: intermpi _101069 _101070 :: interm _101021 :: telparen :: mode _100851 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _105665 :: term _105635 :: rbrace :: nil), first Sym A, !, (_54891 = (imp @ _54966 @ _54978)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55038,larrowt,term _55026,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _109349 :: id _109198 :: rarrowt :: larrowt :: term _108988 :: intermpi _108602 _108603 :: interm _108554 :: telparen :: mode _108384 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _113198 :: term _113168 :: rbrace :: nil), first Sym A, !, (_54891 = (imp @ _55038 @ _55026)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55095,term _55086,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _116882 :: id _116731 :: rarrowt :: larrowt :: term _116521 :: intermpi _116135 _116136 :: interm _116087 :: telparen :: mode _115917 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _120731 :: term _120701 :: rbrace :: nil), first Sym A, !, (_54891 = (_55086 @ _55095)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55149,colon,term _55137,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _124415 :: id _124264 :: rarrowt :: larrowt :: term _124054 :: intermpi _123668 _123669 :: interm _123620 :: telparen :: mode _123450 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _128264 :: term _128234 :: rbrace :: nil), first Sym A, !, (_54891 = (asc @ _55137 @ _55149)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55223,rbrace,term _55211,colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _131948 :: id _131797 :: rarrowt :: larrowt :: term _131587 :: intermpi _131201 _131202 :: interm _131153 :: telparen :: mode _130983 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _135797 :: term _135767 :: rbrace :: nil), first Sym A, !, (formlam _55200 _55223 _55236 , _54891 = (forall _55200 _55211 @ _55236)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55294,intermpi _55284 _55285,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _139481 :: id _139330 :: rarrowt :: larrowt :: term _139120 :: intermpi _138734 _138735 :: interm _138686 :: telparen :: mode _138516 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _143330 :: term _143300 :: rbrace :: nil), first Sym A, !, (formlam _55284 _55294 _55307 , _54891 = (forall _55284 _55285 @ _55307)), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [term _55364,interm _55355,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _147014 :: id _146863 :: rarrowt :: larrowt :: term _146653 :: intermpi _146267 _146268 :: interm _146219 :: telparen :: mode _146049 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _150863 :: term _150833 :: rbrace :: nil), first Sym A, !, (formlam _55355 _55364 _55377 , _54891 = _55377), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [rparen,term _55416,telparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _154547 :: id _154396 :: rarrowt :: larrowt :: term _154186 :: intermpi _153800 _153801 :: interm _153752 :: telparen :: mode _153582 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rparen :: rbracket :: period :: mode _158396 :: term _158366 :: rbrace :: nil), first Sym A, !, (_54891 = _55416), parse [term _54891,B|Alpha] [A|Beta] Result Str. parse [lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _162136 :: id _161985 :: rarrowt :: larrowt :: term _161775 :: intermpi _161389 _161390 :: interm _161341 :: telparen :: mode _161171 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: term _163619 :: nil), first Sym A, !, (true), parse [telparen,B|Alpha] [A|Beta] Result Str. parse [rbracket,term _55489,colon,id _55478,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _166575 :: id _166424 :: rarrowt :: larrowt :: term _166214 :: intermpi _165828 _165829 :: interm _165780 :: telparen :: mode _165610 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: term _168056 :: nil), first Sym A, !, (_55467 = _55478), parse [interm _55467,B|Alpha] [A|Beta] Result Str. parse [rbracket,id _55532,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _171004 :: id _170853 :: rarrowt :: larrowt :: term _170643 :: intermpi _170257 _170258 :: interm _170209 :: telparen :: mode _170039 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: term _172485 :: nil), first Sym A, !, (_55467 = _55532), parse [interm _55467,B|Alpha] [A|Beta] Result Str. parse [rbrace,term _55211,colon,id _55200,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _175442 :: id _175291 :: rarrowt :: larrowt :: term _175081 :: intermpi _174695 _174696 :: interm _174647 :: telparen :: mode _174477 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: term _176924 :: nil), first Sym A, !, (_55564 = _55200 , _55565 = _55211), parse [intermpi _55564 _55565,B|Alpha] [A|Beta] Result Str. parse [rbrace,id _55645,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _179873 :: id _179722 :: rarrowt :: larrowt :: term _179512 :: intermpi _179126 _179127 :: interm _179078 :: telparen :: mode _178908 :: eqlt :: rbrace :: colon :: nil), memb Sym (eols :: term _181355 :: nil), first Sym A, !, (_55564 = _55645 , _55565 = noterm), parse [intermpi _55564 _55565,B|Alpha] [A|Beta] Result Str. parse [astrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: queryt :: bound _181689 :: nil), memb Sym (eols :: bound _182381 :: term _182695 :: id _182356 :: nil), first Sym A, !, (_55691 = starbound), parse [bound _55691,B|Alpha] [A|Beta] Result Str. parse [iconst _55732,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: queryt :: bound _183053 :: nil), memb Sym (eols :: bound _183745 :: term _184059 :: id _183720 :: nil), first Sym A, !, (_55691 = ibound _55732), parse [bound _55691,B|Alpha] [A|Beta] Result Str. parse [mode _55782,id _55773,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _184337 :: mode _184307 :: nil), memb Sym (eols :: period :: mode _184711 :: term _184681 :: nil), first Sym A, !, (_55765 = decmode _55773 (_55782 :: nil)), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [mode _55837,mode _55828,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _184961 :: mode _184931 :: nil), memb Sym (eols :: period :: mode _185335 :: term _185305 :: nil), first Sym A, !, (_55765 = modelist (_55828 :: _55837 :: nil)), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [id _55889,plust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _185585 :: mode _185555 :: nil), memb Sym (eols :: period :: mode _185959 :: term _185929 :: nil), first Sym A, !, (_55765 = modearg inmode _55889 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [id _55936,astrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _186209 :: mode _186179 :: nil), memb Sym (eols :: period :: mode _186583 :: term _186553 :: nil), first Sym A, !, (_55765 = modearg bothmode _55936 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [id _55983,minust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _186833 :: mode _186803 :: nil), memb Sym (eols :: period :: mode _187207 :: term _187177 :: nil), first Sym A, !, (_55765 = modearg outmode _55983 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,id _56032,lbrace,astrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _187457 :: mode _187427 :: nil), memb Sym (eols :: period :: mode _187831 :: term _187801 :: nil), first Sym A, !, (_55765 = modearg bothmode _56032 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,id _56085,lbrace,plust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _188081 :: mode _188051 :: nil), memb Sym (eols :: period :: mode _188455 :: term _188425 :: nil), first Sym A, !, (_55765 = modearg inmode _56085 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,id _56138,lbrace,minust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _188705 :: mode _188675 :: nil), memb Sym (eols :: period :: mode _189079 :: term _189049 :: nil), first Sym A, !, (_55765 = modearg outmode _56138 noterm), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,term _56202,colon,id _56191,lbrace,plust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _189329 :: mode _189299 :: nil), memb Sym (eols :: period :: mode _189703 :: term _189673 :: nil), first Sym A, !, (_55765 = modearg inmode _56085 _56202), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,term _56266,colon,id _56255,lbrace,minust,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _189953 :: mode _189923 :: nil), memb Sym (eols :: period :: mode _190327 :: term _190297 :: nil), first Sym A, !, (_55765 = modearg outmode _56138 _56266), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [rbrace,term _56330,colon,id _56319,lbrace,astrt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _190577 :: mode _190547 :: nil), memb Sym (eols :: period :: mode _190951 :: term _190921 :: nil), first Sym A, !, (_55765 = modearg bothmode _56348 _56330), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [term _56386,mode _56377,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: modet :: id _191201 :: mode _191171 :: nil), memb Sym (eols :: period :: mode _191575 :: term _191545 :: nil), first Sym A, !, (_55765 = decfmode _56386 _56377), parse [mode _55765,B|Alpha] [A|Beta] Result Str. parse [callpats _56437,order _56428,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_56420 = dectermin _56428 _56437), parse [termin _56420,B|Alpha] [A|Beta] Result Str. parse [lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: order _192147 :: lbracket :: lbrace :: nil), memb Sym (eols :: rbracket :: rbrace :: nil), first Sym A, !, (_56471 = nil), parse [orders _56471,B|Alpha] [A|Beta] Result Str. parse [orders _56523,order _56514,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: order _192656 :: lbracket :: lbrace :: nil), memb Sym (eols :: rbracket :: rbrace :: nil), first Sym A, !, (_56471 = _56535 :: _56523), parse [orders _56471,B|Alpha] [A|Beta] Result Str. parse [marg _56565,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: order _193361 :: lbracket :: lbrace :: iconst _193465 :: nil), memb Sym (eols :: orders _193737 :: callpats _193707 :: nil), first Sym A, !, (_56556 = _56565), parse [order _56556,B|Alpha] [A|Beta] Result Str. parse [rbracket,orders _56604,lbracket,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: order _194232 :: lbracket :: lbrace :: iconst _194336 :: nil), memb Sym (eols :: orders _194608 :: callpats _194578 :: nil), first Sym A, !, (_56556 = listorder _56604), parse [order _56556,B|Alpha] [A|Beta] Result Str. parse [rbrace,orders _56652,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: order _195103 :: lbracket :: lbrace :: iconst _195207 :: nil), memb Sym (eols :: orders _195479 :: callpats _195449 :: nil), first Sym A, !, (_56556 = listorder _56652), parse [order _56556,B|Alpha] [A|Beta] Result Str. parse [id _56698,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: order _196035 :: lbracket :: lbrace :: iconst _196139 :: nil), memb Sym (eols :: orders _196502 :: callpats _196472 :: nil), first Sym A, !, (_56689 = makearg (_56698 :: nil)), parse [marg _56689,B|Alpha] [A|Beta] Result Str. parse [rparen,idlist _56746,lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: terminatest :: order _197063 :: lbracket :: lbrace :: iconst _197167 :: nil), memb Sym (eols :: orders _197530 :: callpats _197500 :: nil), first Sym A, !, (_56689 = makearg _56746), parse [marg _56689,B|Alpha] [A|Beta] Result Str. parse [id _56792,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _200524 :: id _200373 :: rarrowt :: larrowt :: term _200163 :: intermpi _199777 _199778 :: interm _199729 :: telparen :: mode _199559 :: eqlt :: rbrace :: colon :: lparen :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rbracket :: period :: mode _204594 :: term _204564 :: rbrace :: rparen :: id _205546 :: nil), first Sym A, !, (_56783 = _56792 :: nil), parse [idlist _56783,B|Alpha] [A|Beta] Result Str. parse [id _56843,idlist _56834,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: bound _208581 :: id _208430 :: rarrowt :: larrowt :: term _208220 :: intermpi _207834 _207835 :: interm _207786 :: telparen :: mode _207616 :: eqlt :: rbrace :: colon :: lparen :: nil), memb Sym (eols :: eqlt :: rarrowt :: larrowt :: colon :: rbracket :: period :: mode _212651 :: term _212621 :: rbrace :: rparen :: id _213603 :: nil), first Sym A, !, (append _56834 (_56843 :: nil) _56783), parse [idlist _56783,B|Alpha] [A|Beta] Result Str. parse [callpats _56896,callpat _56887,lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: assertt :: callpat _214034 :: order _214004 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_56876 = _56887 :: _56896), parse [callpats _56876,B|Alpha] [A|Beta] Result Str. parse [callpat _56941,lparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: assertt :: callpat _215251 :: order _215221 :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_56876 = _56941 :: nil), parse [callpats _56876,B|Alpha] [A|Beta] Result Str. parse [args _56992,id _56983,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: lparen :: nil), memb Sym (eols :: callpats _217317 :: period :: nil), first Sym A, !, (_56975 = makecallpat _56983 _56992), parse [callpat _56975,B|Alpha] [A|Beta] Result Str. parse [rparen,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: id _217485 :: nil), memb Sym (eols :: callpats _218579 :: period :: nil), first Sym A, !, (_57026 = nil), parse [args _57026,B|Alpha] [A|Beta] Result Str. parse [args _57078,id _57069,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: id _218752 :: nil), memb Sym (eols :: callpats _219846 :: period :: nil), first Sym A, !, (_57026 = strarg _57069 :: _57078), parse [args _57026,B|Alpha] [A|Beta] Result Str. parse [callpats _57141,order _57132,iconst _57124,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: provet :: establisht :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57116 = provedec _57124 _57132 _57141), parse [pprove _57116,B|Alpha] [A|Beta] Result Str. parse [mform _57196,colon,id _57184,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: theoremt :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57176 = declth _57184 _57196), parse [thdecl _57176,B|Alpha] [A|Beta] Result Str. parse [mform _57250,decs _57241,forallst,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: colon :: decs _221133 :: existst :: forallt :: forallst :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57230 = mf forallstar _57241 :: _57250), parse [mform _57230,B|Alpha] [A|Beta] Result Str. parse [mform _57309,decs _57300,forallt,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: colon :: decs _222214 :: existst :: forallt :: forallst :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57230 = mf forallq _57300 :: _57309), parse [mform _57230,B|Alpha] [A|Beta] Result Str. parse [mform _57368,decs _57359,existst,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: colon :: decs _223295 :: existst :: forallt :: forallst :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57230 = mf exists _57359 :: _57368), parse [mform _57230,B|Alpha] [A|Beta] Result Str. parse [truet,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: colon :: decs _224376 :: existst :: forallt :: forallst :: nil), memb Sym (eols :: period :: nil), first Sym A, !, (_57230 = mf trueform nil :: nil), parse [mform _57230,B|Alpha] [A|Beta] Result Str. parse [B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: forallst :: forallt :: existst :: dec _225273 :: nil), memb Sym (eols :: mform _225652 :: nil), first Sym A, !, (_57453 = nil), parse [decs _57453,B|Alpha] [A|Beta] Result Str. parse [decs _57501,dec _57492,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: forallst :: forallt :: existst :: dec _225961 :: nil), memb Sym (eols :: mform _226340 :: nil), first Sym A, !, (_57453 = _57492 :: _57501), parse [decs _57453,B|Alpha] [A|Beta] Result Str. parse [rbrace,term _57556,colon,id _57545,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: forallst :: forallt :: existst :: dec _226710 :: nil), memb Sym (eols :: decs _227336 :: mform _227276 :: nil), first Sym A, !, (_57534 = declare _57545 _57556), parse [dec _57534,B|Alpha] [A|Beta] Result Str. parse [rbrace,id _57606,lbrace,B|Alpha] [A|Beta] Result "reduce" :- memb B (bols :: forallst :: forallt :: existst :: dec _227672 :: nil), memb Sym (eols :: decs _228298 :: mform _228238 :: nil), first Sym A, !, (_57534 = declare _57606 noterm), parse [dec _57534,B|Alpha] [A|Beta] Result Str. parse V I R "error" :- !, finderrline V I,print "Remaining Input = ", print_tokens 10 I, !, fail.