TSPC 48_a_paulfellows

48_a_paulfellows
The keyboard took that and went “oh I don't know how to deal with that, I'll start again” and sent 0xFF, but this time we knew it was the first one, and it's still like that today, because we never could get to the bottom of why it didn't work.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N keyboard;{keyboard}))
                      (ILYR (ILYR (VBD;__ took;{take})
                                  (NP-OB1 (D;_nphd_ that;{that})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (ILYR (ILYR (VBD;_Tr_ went;{go})
                                                     (PULQ <ldquo>)
                                                     (utterance-OB1 (IP-MAT (REACT oh)
                                                                            (NP-SBJ (PRO I;{I}))
                                                                            (DOP do;{do})
                                                                            (NEG;_clitic_ n<apos>t;{not})
                                                                            (VB;__ know;{know})
                                                                            (CP-QUE-OB1 (IP-INF (ADVP-NIM (WADV how;{how}))
                                                                                                (TO to;{to})
                                                                                                (VB;__ deal;{deal})
                                                                                                (PP-CLR (P-ROLE with;{with})
                                                                                                        (NP (D;_nphd_ that;{that})))))
                                                                            (PUNC ,)
                                                                            (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                                                                                         (MD;_cat_Vi_ <apos>ll;{will})
                                                                                         (IP-INF-CAT (VB;__ start;{start})
                                                                                                     (ADVP-NIM (ADV again;{again})))))))
                                                     (PURQ <rdquo>))
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (VBD;__ sent;{send})
                                                            (NP-OB1 (NPR 0xFF;{0xFF})))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (NP-NIM (D this;{this})
                                                 (N time;{time}))
                                         (NP-SBJ (PRO we;{we}))
                                         (VBD;_Tf_ knew;{know})
                                         (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO it;{it}))
                                                             (BED;_Ln_ was;{be})
                                                             (NP-PRD (D the;{the})
                                                                     (ADJP (ADJ first;{first}))
                                                                     (N one;{one})))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO it;{it}))
                                                (BEP;_Ipr_ <apos>s;{be[like]})
                                                (ADVP-NIM (ADV still;{still}))
                                                (PP-CLR (P-ROLE like;{like})
                                                        (NP (D;_nphd_ that;{that})))
                                                (NP-NIM (N today;{today}))
                                                (PUNC ,)
                                                (PP-SCON (P-CONN because;{because})
                                                         (IP-ADV (NP-SBJ (PRO we;{we}))
                                                                 (ADVP-NIM (ADV never;{never}))
                                                                 (MD;_cat_Vi_ could;{can})
                                                                 (IP-INF-CAT (VB;__ get;{get})
                                                                             (PP-CLR (P-ROLE to;{to})
                                                                                     (NP (D the;{the})
                                                                                         (N bottom;{bottom})
                                                                                         (PP (P-ROLE of;{of})
                                                                                             (CP-QUE (IP-SUB (ADVP-NIM (WADV why;{why}))
                                                                                                             (NP-SBJ (PRO it;{it}))
                                                                                                             (DOD did;{do})
                                                                                                             (NEG;_clitic_ n<apos>t;{not})
                                                                                                             (VB;__ work;{work})))))))))))))))
          (PUNC .))
  (ID 48_a_paulfellows))

arc(r_0048_0003__took,r_0048_0001__The_r_0048_0002__keyboard,arg0).
arc(r_0048_0003__took,r_0048_0004__that,arg1).
arc(r_0048_0005__and,r_0048_0003__took,conj1).
arc(r_0048_0005__and,r_0048_0024__and,conj2).
arc(r_0048_0006__went,r_0048_0001__The_r_0048_0002__keyboard,arg0).
arc(r_0048_0006__went,z_0048_5004__utterance,arg1).
arc(r_0048_0010__do_r_0048_0012__know,r_0048_0009__I,arg0).
arc(r_0048_0010__do_r_0048_0012__know,r_0048_0015__deal,arg1).
arc(r_0048_0010__do_r_0048_0012__know,r_0048_0020___apos_ll,prn).
arc(r_0048_0011__n_apos_t,r_0048_0010__do_r_0048_0012__know,keep_scope).
arc(r_0048_0015__deal,r_0048_0009__I,arg0).
arc(r_0048_0015__deal,r_0048_0013__how,nim).
arc(r_0048_0015__deal,r_0048_0017__that,r_0048_0016__with__clr).
arc(r_0048_0020___apos_ll,r_0048_0021__start,scope).
arc(r_0048_0021__start,r_0048_0009__I,arg0).
arc(r_0048_0021__start,r_0048_0022__again,nim).
arc(r_0048_0024__and,r_0048_0006__went,conj1).
arc(r_0048_0024__and,r_0048_0025__sent,conj2).
arc(r_0048_0025__sent,r_0048_0001__The_r_0048_0002__keyboard,arg0).
arc(r_0048_0025__sent,r_0048_0026__0xFF,arg1).
arc(r_0048_0028__but,r_0048_0005__and,conj1).
arc(r_0048_0028__but,r_0048_0039__and,conj2).
arc(r_0048_0032__knew,r_0048_0029__this_r_0048_0030__time,nim).
arc(r_0048_0032__knew,r_0048_0031__we,arg0).
arc(r_0048_0032__knew,r_0048_0034__was,arg1).
arc(r_0048_0034__was,r_0048_0033__it,arg0).
arc(r_0048_0034__was,r_0048_0035__the_r_0048_0037__one,prd).
arc(r_0048_0035__the_r_0048_0037__one,r_0048_0036__first,attrib).
arc(r_0048_0039__and,r_0048_0032__knew,conj1).
arc(r_0048_0039__and,r_0048_0047__because,conj2).
arc(r_0048_0041___apos_s_r_0048_0043__like,r_0048_0040__it,arg0).
arc(r_0048_0041___apos_s_r_0048_0043__like,r_0048_0042__still,nim).
arc(r_0048_0041___apos_s_r_0048_0043__like,r_0048_0044__that,arg1).
arc(r_0048_0041___apos_s_r_0048_0043__like,r_0048_0045__today,nim).
arc(r_0048_0047__because,r_0048_0041___apos_s_r_0048_0043__like,scope).
arc(r_0048_0047__because,r_0048_0050__could,restriction).
arc(r_0048_0050__could,r_0048_0049__never,nim).
arc(r_0048_0050__could,r_0048_0051__get,scope).
arc(r_0048_0051__get,r_0048_0031__we,arg0).
arc(r_0048_0051__get,r_0048_0053__the_r_0048_0054__bottom,r_0048_0052__to__clr).
arc(r_0048_0053__the_r_0048_0054__bottom,r_0048_0059__n_apos_t,r_0048_0055__of).
arc(r_0048_0058__did_r_0048_0060__work,r_0048_0056__why,nim).
arc(r_0048_0058__did_r_0048_0060__work,r_0048_0057__it,arg0).
arc(r_0048_0059__n_apos_t,r_0048_0058__did_r_0048_0060__work,keep_scope).
arc(z_0048_5004__utterance,r_0048_0011__n_apos_t,part1).

fof(formula,axiom,
    ? [R_0048_0001__THE_R_0048_0002__KEYBOARD,R_0048_0004__THAT,R_0048_0003__TOOK,Z_0048_5004__UTTERANCE,R_0048_0006__WENT,R_0048_0026__0XFF,R_0048_0025__SENT,R_0048_0024__AND,R_0048_0005__AND,R_0048_0029__THIS_R_0048_0030__TIME,R_0048_0031__WE,R_0048_0033__IT,R_0048_0036__FIRST,R_0048_0035__THE_R_0048_0037__ONE,R_0048_0034__WAS,R_0048_0032__KNEW,R_0048_0040__IT,R_0048_0042__STILL,R_0048_0044__THAT,R_0048_0045__TODAY,R_0048_0041___APOS_S_R_0048_0043__LIKE,R_0048_0049__NEVER,R_0048_0053__THE_R_0048_0054__BOTTOM,R_0048_0050__COULD_R_0048_0051__GET,R_0048_0047__BECAUSE,R_0048_0039__AND,R_0048_0028__BUT] :
      ( r_0048_0001__The_r_0048_0002__keyboard(R_0048_0001__THE_R_0048_0002__KEYBOARD)
      & r_0048_0004__that(R_0048_0004__THAT)
      & r_0048_0026__0xFF(R_0048_0026__0XFF)
      & r_0048_0029__this_r_0048_0030__time(R_0048_0029__THIS_R_0048_0030__TIME)
      & r_0048_0031__we(R_0048_0031__WE)
      & r_0048_0033__it(R_0048_0033__IT)
      & r_0048_0036__first(R_0048_0036__FIRST)
      & r_0048_0040__it(R_0048_0040__IT)
      & r_0048_0042__still(R_0048_0042__STILL)
      & r_0048_0044__that(R_0048_0044__THAT)
      & r_0048_0045__today(R_0048_0045__TODAY)
      & r_0048_0049__never(R_0048_0049__NEVER)
      & r_0048_0028__but(R_0048_0028__BUT)
      & has_conj2(R_0048_0028__BUT,R_0048_0039__AND)
      & r_0048_0039__and(R_0048_0039__AND)
      & has_conj2(R_0048_0039__AND,R_0048_0047__BECAUSE)
      & r_0048_0047__because(R_0048_0047__BECAUSE)
      & has_conj1(R_0048_0047__BECAUSE,R_0048_0050__COULD_R_0048_0051__GET)
      & r_0048_0050__could_r_0048_0051__get(R_0048_0050__COULD_R_0048_0051__GET)
      & has_r_0048_0052__to__clr(R_0048_0050__COULD_R_0048_0051__GET,R_0048_0053__THE_R_0048_0054__BOTTOM)
      & r_0048_0053__the_r_0048_0054__bottom(R_0048_0053__THE_R_0048_0054__BOTTOM)
      & has_r_0048_0055__of(R_0048_0053__THE_R_0048_0054__BOTTOM,R_0048_0059__N_APOS_T)
      & ~ ? [R_0048_0056__WHY,R_0048_0057__IT,R_0048_0058__DID_R_0048_0060__WORK] :
            ( r_0048_0056__why(R_0048_0056__WHY)
            & r_0048_0057__it(R_0048_0057__IT)
            & r_0048_0058__did_r_0048_0060__work(R_0048_0058__DID_R_0048_0060__WORK)
            & has_arg0(R_0048_0058__DID_R_0048_0060__WORK,R_0048_0057__IT)
            & has_nim(R_0048_0058__DID_R_0048_0060__WORK,R_0048_0056__WHY) )
      & has_arg0(R_0048_0050__COULD_R_0048_0051__GET,R_0048_0031__WE)
      & has_nim(R_0048_0050__COULD_R_0048_0051__GET,R_0048_0049__NEVER)
      & has_conj2(R_0048_0047__BECAUSE,R_0048_0041___APOS_S_R_0048_0043__LIKE)
      & r_0048_0041___apos_s_r_0048_0043__like(R_0048_0041___APOS_S_R_0048_0043__LIKE)
      & has_nim(R_0048_0041___APOS_S_R_0048_0043__LIKE,R_0048_0045__TODAY)
      & has_arg1(R_0048_0041___APOS_S_R_0048_0043__LIKE,R_0048_0044__THAT)
      & has_nim(R_0048_0041___APOS_S_R_0048_0043__LIKE,R_0048_0042__STILL)
      & has_arg0(R_0048_0041___APOS_S_R_0048_0043__LIKE,R_0048_0040__IT)
      & has_conj1(R_0048_0039__AND,R_0048_0032__KNEW)
      & r_0048_0032__knew(R_0048_0032__KNEW)
      & has_arg1(R_0048_0032__KNEW,R_0048_0034__WAS)
      & r_0048_0034__was(R_0048_0034__WAS)
      & has_prd(R_0048_0034__WAS,R_0048_0035__THE_R_0048_0037__ONE)
      & r_0048_0035__the_r_0048_0037__one(R_0048_0035__THE_R_0048_0037__ONE)
      & has_attrib(R_0048_0035__THE_R_0048_0037__ONE,R_0048_0036__FIRST)
      & has_arg0(R_0048_0034__WAS,R_0048_0033__IT)
      & has_arg0(R_0048_0032__KNEW,R_0048_0031__WE)
      & has_nim(R_0048_0032__KNEW,R_0048_0029__THIS_R_0048_0030__TIME)
      & has_conj1(R_0048_0028__BUT,R_0048_0005__AND)
      & r_0048_0005__and(R_0048_0005__AND)
      & has_conj2(R_0048_0005__AND,R_0048_0024__AND)
      & r_0048_0024__and(R_0048_0024__AND)
      & has_conj2(R_0048_0024__AND,R_0048_0025__SENT)
      & r_0048_0025__sent(R_0048_0025__SENT)
      & has_arg1(R_0048_0025__SENT,R_0048_0026__0XFF)
      & has_arg0(R_0048_0025__SENT,R_0048_0001__THE_R_0048_0002__KEYBOARD)
      & has_conj1(R_0048_0024__AND,R_0048_0006__WENT)
      & r_0048_0006__went(R_0048_0006__WENT)
      & has_arg1(R_0048_0006__WENT,Z_0048_5004__UTTERANCE)
      & z_0048_5004__utterance(Z_0048_5004__UTTERANCE)
      & has_part1(Z_0048_5004__UTTERANCE,R_0048_0011__N_APOS_T)
      & ~ ? [R_0048_0009__I,R_0048_0013__HOW,R_0048_0017__THAT,R_0048_0015__DEAL,R_0048_0022__AGAIN,R_0048_0020___APOS_LL_R_0048_0021__START,R_0048_0010__DO_R_0048_0012__KNOW] :
            ( r_0048_0009__I(R_0048_0009__I)
            & r_0048_0013__how(R_0048_0013__HOW)
            & r_0048_0017__that(R_0048_0017__THAT)
            & r_0048_0022__again(R_0048_0022__AGAIN)
            & r_0048_0010__do_r_0048_0012__know(R_0048_0010__DO_R_0048_0012__KNOW)
            & has_prn(R_0048_0010__DO_R_0048_0012__KNOW,R_0048_0020___APOS_LL_R_0048_0021__START)
            & r_0048_0020___apos_ll_r_0048_0021__start(R_0048_0020___APOS_LL_R_0048_0021__START)
            & has_nim(R_0048_0020___APOS_LL_R_0048_0021__START,R_0048_0022__AGAIN)
            & has_arg0(R_0048_0020___APOS_LL_R_0048_0021__START,R_0048_0009__I)
            & has_arg1(R_0048_0010__DO_R_0048_0012__KNOW,R_0048_0015__DEAL)
            & r_0048_0015__deal(R_0048_0015__DEAL)
            & has_r_0048_0016__with__clr(R_0048_0015__DEAL,R_0048_0017__THAT)
            & has_nim(R_0048_0015__DEAL,R_0048_0013__HOW)
            & has_arg0(R_0048_0015__DEAL,R_0048_0009__I)
            & has_arg0(R_0048_0010__DO_R_0048_0012__KNOW,R_0048_0009__I) )
      & has_arg0(R_0048_0006__WENT,R_0048_0001__THE_R_0048_0002__KEYBOARD)
      & has_conj1(R_0048_0005__AND,R_0048_0003__TOOK)
      & r_0048_0003__took(R_0048_0003__TOOK)
      & has_arg1(R_0048_0003__TOOK,R_0048_0004__THAT)
      & has_arg0(R_0048_0003__TOOK,R_0048_0001__THE_R_0048_0002__KEYBOARD) ) ).