TSPC 36_a_paulfellows

36_a_paulfellows
I think this is actually my computer, I can tell it's mine because it's got red stickies on some of the function keys, to change the names of what those buttons did, because the keyboard was designed for ARX and had some weird buttons on it that nobody ever knew what they were supposed to do, so we stuck some labels on, I think it was Tipex on this one to make it more appropriate.

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;__ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D;_nphd_ this;{this}))
                              (BEP;_Ln_ is;{be})
                              (ADVP-NIM (ADV actually;{actually}))
                              (NP-PRD (NP-GEN (PRO;_genm_ my;{my}))
                                      (N computer;{computer}))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (PRO I;{I}))
                       (MD;_cat_Vi_ can;{can})
                       (IP-INF-CAT (VB;__ tell;{tell})
                                   (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO it;{it}))
                                                       (BEP;_Ln_ <apos>s;{be})
                                                       (NP-PRD (NP-GEN (PRO;_ppge_ mine;{mine}))))))
                       (PP-SCON (P-CONN because;{because})
                                (IP-ADV (NP-SBJ (PRO it;{it}))
                                        (HVP;_cat_Ve_ <apos>s;{have})
                                        (IP-PPL-CAT (VVN;__ got;{get})
                                                    (NP-OB1 (ADJP (ADJ red;{red}))
                                                            (NS stickies;{stickies})
                                                            (PP (P-ROLE on;{on})
                                                                (NP (D;_nphd_ some;{some})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (D the;{the})
                                                                            (N function;{function})
                                                                            (NS keys;{key}))))))
                                                    (PUNC ,)
                                                    (PP-SCON (IP-INF (TO to;{to})
                                                                     (VB;__ change;{change})
                                                                     (NP-OB1 (D the;{the})
                                                                             (NS names;{name})
                                                                             (PP (P-ROLE of;{of})
                                                                                 (NP (IP-REL (NP-OB1 (RPRO what;{what}))
                                                                                             (NP-SBJ (D those;{those})
                                                                                                     (NS buttons;{button}))
                                                                                             (DOD;_Tn_ did;{do}))))))))
                                        (PUNC ,)
                                        (PP-SCON (P-CONN because;{because})
                                                 (IP-ADV (NP-SBJ;{KEYBOARD} (D the;{the})
                                                                            (N keyboard;{keyboard}))
                                                         (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                 (VVN;__ designed;{design})
                                                                                 (PP-NIM (P-ROLE for;{for})
                                                                                         (NP (NPR ARX;{ARX})))))
                                                               (CONJP (CONJ and;{and})
                                                                      (ILYR (HVD;_Tn_ had;{have})
                                                                            (NP-OB1;{BUTTONS} (D some;{some})
                                                                                              (ADJP (ADJ weird;{weird}))
                                                                                              (NS buttons;{button})
                                                                                              (PP (P-ROLE on;{on})
                                                                                                  (NP;{KEYBOARD} (PRO it;{it})))
                                                                                              (IP-REL (C that;{that})
                                                                                                      (NP-DSC *T*)
                                                                                                      (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                                                                                                      (ADVP (ADV ever;{ever}))
                                                                                                      (VBD;__ knew;{know})
                                                                                                      (CP-QUE-OB1 (IP-SUB (NP-167 (WPRO what;{what}))
                                                                                                                          (NP-SBJ;{BUTTONS} (PRO they;{they}))
                                                                                                                          (BED;_cat_VePASS_ were;{be})
                                                                                                                          (IP-PPL-CAT (NP-LGS *)
                                                                                                                                      (VVN;_Cn.t_ supposed;{suppose})
                                                                                                                                      (IP-INF-PRD (NP-OB1 *ICH*-167)
                                                                                                                                                  (TO to;{to})
                                                                                                                                                  (DO;_Tn_ do;{do})))))
                                                                                                      (PUNC ,)
                                                                                                      (PRN (IP-MAT (ILYR (ILYR (ADVP (ADV so;{so}))
                                                                                                                               (NP-SBJ (PRO we;{we}))
                                                                                                                               (VBD;__ stuck;{stick})
                                                                                                                               (NP-OB1;{LABEL} (D some;{some})
                                                                                                                                               (NS labels;{label}))
                                                                                                                               (PP-NIM (P-ROLE on;{on})))
                                                                                                                         (PUNC ,)
                                                                                                                         (CONJP (ILYR (NP-SBJ (PRO I;{I}))
                                                                                                                                      (VBP;__ think;{think})
                                                                                                                                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{LABEL} (PRO it;{it}))
                                                                                                                                                          (BED;_Ln_ was;{be})
                                                                                                                                                          (NP-PRD (N Tipex;{tipex}))
                                                                                                                                                          (PP-NIM (P-ROLE on;{on})
                                                                                                                                                                  (NP (D this;{this})
                                                                                                                                                                      (NUM one;{one})))
                                                                                                                                                          (PP-SCON (IP-INF (TO to;{to})
                                                                                                                                                                           (VB;__ make;{make})
                                                                                                                                                                           (NP-OB1;{LABEL} (PRO it;{it}))
                                                                                                                                                                           (ADJP-PRD (ADVP (ADVR more;{more}))
                                                                                                                                                                                     (ADJ appropriate;{appropriate}))))))))))))))))))))))
          (PUNC .))
  (ID 36_a_paulfellows))

arc(r_0036_0002__think,r_0036_0001__I,arg0).
arc(r_0036_0002__think,r_0036_0004__is,arg1).
arc(r_0036_0002__think,r_0036_0015__because,prn).
arc(r_0036_0004__is,r_0036_0003__this,arg0).
arc(r_0036_0004__is,r_0036_0005__actually,nim).
arc(r_0036_0004__is,r_0036_0007__computer,prd).
arc(r_0036_0007__computer,r_0036_0001__I,gen).
arc(r_0036_0010__can,r_0036_0011__tell,scope).
arc(r_0036_0011__tell,r_0036_0001__I,arg0).
arc(r_0036_0011__tell,r_0036_0013___apos_s,arg1).
arc(r_0036_0013___apos_s,r_0036_0012__it,arg0).
arc(r_0036_0013___apos_s,z_0036_5072,prd).
arc(r_0036_0015__because,r_0036_0010__can,scope).
arc(r_0036_0015__because,r_0036_0038__because,restriction).
arc(r_0036_0017___apos_s,z_0036_5059,scope).
arc(r_0036_0018__got,r_0036_0016__it,arg0).
arc(r_0036_0018__got,r_0036_0020__stickies,arg1).
arc(r_0036_0020__stickies,r_0036_0019__red,attrib).
arc(r_0036_0020__stickies,r_0036_0022__some,r_0036_0021__on).
arc(r_0036_0022__some,r_0036_0024__the_r_0036_0025__function_r_0036_0026__keys,r_0036_0023__of).
arc(r_0036_0029__change,r_0036_0020__stickies,arg0).
arc(r_0036_0029__change,r_0036_0030__the_r_0036_0031__names,arg1).
arc(r_0036_0030__the_r_0036_0031__names,r_0036_0033__what,r_0036_0032__of).
arc(r_0036_0036__did,r_0036_0033__what,arg1).
arc(r_0036_0036__did,r_0036_0034__those_r_0036_0035__buttons,arg0).
arc(r_0036_0038__because,r_0036_0017___apos_s,scope).
arc(r_0036_0038__because,r_0036_0045__and,restriction).
arc(r_0036_0041__was,r_0036_0042__designed,scope).
arc(r_0036_0042__designed,r_0036_0039__the_r_0036_0040__keyboard,arg1).
arc(r_0036_0042__designed,r_0036_0044__ARX,r_0036_0043__for__nim).
arc(r_0036_0042__designed,z_0036_5012___star_,arg0).
arc(r_0036_0045__and,r_0036_0041__was,conj1).
arc(r_0036_0045__and,r_0036_0046__had,conj2).
arc(r_0036_0046__had,r_0036_0039__the_r_0036_0040__keyboard,arg0).
arc(r_0036_0046__had,r_0036_0047__some_r_0036_0049__buttons,arg1).
arc(r_0036_0047__some_r_0036_0049__buttons,r_0036_0039__the_r_0036_0040__keyboard,r_0036_0050__on).
arc(r_0036_0047__some_r_0036_0049__buttons,r_0036_0048__weird,attrib).
arc(r_0036_0053__nobody__quant,r_0036_0055__knew,scope).
arc(r_0036_0053__nobody__quant,z_0036_5020,restriction).
arc(r_0036_0055__knew,r_0036_0054__ever,qual).
arc(r_0036_0055__knew,r_0036_0058__were,arg1).
arc(r_0036_0055__knew,z_0036_5020,arg0).
arc(r_0036_0055__knew,z_0036_5033,prn).
arc(r_0036_0058__were,r_0036_0059__supposed,scope).
arc(r_0036_0059__supposed,r_0036_0047__some_r_0036_0049__buttons,arg1).
arc(r_0036_0059__supposed,r_0036_0061__do,prd).
arc(r_0036_0059__supposed,z_0036_5029___star_,arg0).
arc(r_0036_0061__do,r_0036_0056__what,arg1).
arc(r_0036_0061__do,z_0036_5027,arg0).
arc(r_0036_0065__stuck,r_0036_0063__so,qual).
arc(r_0036_0065__stuck,r_0036_0064__we,arg0).
arc(r_0036_0065__stuck,r_0036_0066__some_r_0036_0067__labels,arg1).
arc(r_0036_0071__think,r_0036_0001__I,arg0).
arc(r_0036_0071__think,z_0036_5040,arg1).
arc(r_0036_0073__was,r_0036_0066__some_r_0036_0067__labels,arg0).
arc(r_0036_0073__was,r_0036_0074__Tipex,prd).
arc(r_0036_0073__was,r_0036_0076__this_r_0036_0077__one,r_0036_0075__on__nim).
arc(r_0036_0079__make,r_0036_0066__some_r_0036_0067__labels,arg0).
arc(r_0036_0079__make,r_0036_0066__some_r_0036_0067__labels,arg1).
arc(r_0036_0079__make,r_0036_0082__appropriate,prd).
arc(r_0036_0082__appropriate,r_0036_0081__more,qual).
arc(z_0036_5033,r_0036_0065__stuck,conj1).
arc(z_0036_5033,r_0036_0071__think,conj2).
arc(z_0036_5040,r_0036_0073__was,scope).
arc(z_0036_5040,r_0036_0079__make,restriction).
arc(z_0036_5059,r_0036_0018__got,scope).
arc(z_0036_5059,r_0036_0029__change,restriction).
arc(z_0036_5072,r_0036_0001__I,gen).

fof(formula,axiom,
    ? [R_0036_0001__I,R_0036_0003__THIS,R_0036_0005__ACTUALLY,R_0036_0007__COMPUTER,R_0036_0004__IS,R_0036_0012__IT,Z_0036_5072,R_0036_0013___APOS_S,R_0036_0010__CAN_R_0036_0011__TELL,R_0036_0016__IT,R_0036_0019__RED,R_0036_0024__THE_R_0036_0025__FUNCTION_R_0036_0026__KEYS,R_0036_0022__SOME,R_0036_0020__STICKIES,R_0036_0018__GOT,R_0036_0033__WHAT,R_0036_0030__THE_R_0036_0031__NAMES,R_0036_0029__CHANGE,Z_0036_5059,R_0036_0017___APOS_S,R_0036_0039__THE_R_0036_0040__KEYBOARD,R_0036_0044__ARX,Z_0036_5012___STAR_,R_0036_0041__WAS_R_0036_0042__DESIGNED,R_0036_0048__WEIRD,R_0036_0047__SOME_R_0036_0049__BUTTONS,R_0036_0046__HAD,R_0036_0045__AND,R_0036_0038__BECAUSE,R_0036_0015__BECAUSE,R_0036_0002__THINK,R_0036_0034__THOSE_R_0036_0035__BUTTONS,R_0036_0036__DID] :
      ( r_0036_0001__I(R_0036_0001__I)
      & r_0036_0003__this(R_0036_0003__THIS)
      & r_0036_0005__actually(R_0036_0005__ACTUALLY)
      & r_0036_0012__it(R_0036_0012__IT)
      & r_0036_0016__it(R_0036_0016__IT)
      & r_0036_0019__red(R_0036_0019__RED)
      & r_0036_0024__the_r_0036_0025__function_r_0036_0026__keys(R_0036_0024__THE_R_0036_0025__FUNCTION_R_0036_0026__KEYS)
      & r_0036_0033__what(R_0036_0033__WHAT)
      & r_0036_0034__those_r_0036_0035__buttons(R_0036_0034__THOSE_R_0036_0035__BUTTONS)
      & r_0036_0039__the_r_0036_0040__keyboard(R_0036_0039__THE_R_0036_0040__KEYBOARD)
      & r_0036_0044__ARX(R_0036_0044__ARX)
      & r_0036_0048__weird(R_0036_0048__WEIRD)
      & z_0036_5012___star_(Z_0036_5012___STAR_)
      & ! [Z_0036_5020] :
          ( z_0036_5020(Z_0036_5020)
         => ? [R_0036_0054__EVER,R_0036_0056__WHAT,Z_0036_5027,R_0036_0061__DO,Z_0036_5029___STAR_,R_0036_0058__WERE_R_0036_0059__SUPPOSED,R_0036_0063__SO,R_0036_0064__WE,R_0036_0066__SOME_R_0036_0067__LABELS,R_0036_0065__STUCK,R_0036_0074__TIPEX,R_0036_0076__THIS_R_0036_0077__ONE,R_0036_0073__WAS,R_0036_0081__MORE,R_0036_0082__APPROPRIATE,R_0036_0079__MAKE,Z_0036_5040,R_0036_0071__THINK,Z_0036_5033,R_0036_0055__KNEW] :
              ( r_0036_0054__ever(R_0036_0054__EVER)
              & r_0036_0056__what(R_0036_0056__WHAT)
              & r_0036_0063__so(R_0036_0063__SO)
              & r_0036_0064__we(R_0036_0064__WE)
              & r_0036_0066__some_r_0036_0067__labels(R_0036_0066__SOME_R_0036_0067__LABELS)
              & r_0036_0074__Tipex(R_0036_0074__TIPEX)
              & r_0036_0076__this_r_0036_0077__one(R_0036_0076__THIS_R_0036_0077__ONE)
              & r_0036_0081__more(R_0036_0081__MORE)
              & z_0036_5027(Z_0036_5027)
              & z_0036_5029___star_(Z_0036_5029___STAR_)
              & r_0036_0055__knew(R_0036_0055__KNEW)
              & has_prn(R_0036_0055__KNEW,Z_0036_5033)
              & z_0036_5033(Z_0036_5033)
              & has_conj2(Z_0036_5033,R_0036_0071__THINK)
              & r_0036_0071__think(R_0036_0071__THINK)
              & has_arg1(R_0036_0071__THINK,Z_0036_5040)
              & z_0036_5040(Z_0036_5040)
              & has_conj1(Z_0036_5040,R_0036_0079__MAKE)
              & r_0036_0079__make(R_0036_0079__MAKE)
              & has_prd(R_0036_0079__MAKE,R_0036_0082__APPROPRIATE)
              & r_0036_0082__appropriate(R_0036_0082__APPROPRIATE)
              & has_qual(R_0036_0082__APPROPRIATE,R_0036_0081__MORE)
              & has_arg1(R_0036_0079__MAKE,R_0036_0066__SOME_R_0036_0067__LABELS)
              & has_arg0(R_0036_0079__MAKE,R_0036_0066__SOME_R_0036_0067__LABELS)
              & has_conj2(Z_0036_5040,R_0036_0073__WAS)
              & r_0036_0073__was(R_0036_0073__WAS)
              & has_r_0036_0075__on__nim(R_0036_0073__WAS,R_0036_0076__THIS_R_0036_0077__ONE)
              & has_prd(R_0036_0073__WAS,R_0036_0074__TIPEX)
              & has_arg0(R_0036_0073__WAS,R_0036_0066__SOME_R_0036_0067__LABELS)
              & has_arg0(R_0036_0071__THINK,R_0036_0001__I)
              & has_conj1(Z_0036_5033,R_0036_0065__STUCK)
              & r_0036_0065__stuck(R_0036_0065__STUCK)
              & has_arg1(R_0036_0065__STUCK,R_0036_0066__SOME_R_0036_0067__LABELS)
              & has_arg0(R_0036_0065__STUCK,R_0036_0064__WE)
              & has_qual(R_0036_0065__STUCK,R_0036_0063__SO)
              & has_arg0(R_0036_0055__KNEW,Z_0036_5020)
              & has_arg1(R_0036_0055__KNEW,R_0036_0058__WERE_R_0036_0059__SUPPOSED)
              & r_0036_0058__were_r_0036_0059__supposed(R_0036_0058__WERE_R_0036_0059__SUPPOSED)
              & has_arg0(R_0036_0058__WERE_R_0036_0059__SUPPOSED,Z_0036_5029___STAR_)
              & has_prd(R_0036_0058__WERE_R_0036_0059__SUPPOSED,R_0036_0061__DO)
              & r_0036_0061__do(R_0036_0061__DO)
              & has_arg0(R_0036_0061__DO,Z_0036_5027)
              & has_arg1(R_0036_0061__DO,R_0036_0056__WHAT)
              & has_arg1(R_0036_0058__WERE_R_0036_0059__SUPPOSED,R_0036_0047__SOME_R_0036_0049__BUTTONS)
              & has_qual(R_0036_0055__KNEW,R_0036_0054__EVER) ) )
      & r_0036_0036__did(R_0036_0036__DID)
      & has_arg0(R_0036_0036__DID,R_0036_0034__THOSE_R_0036_0035__BUTTONS)
      & has_arg1(R_0036_0036__DID,R_0036_0033__WHAT)
      & r_0036_0002__think(R_0036_0002__THINK)
      & has_prn(R_0036_0002__THINK,R_0036_0015__BECAUSE)
      & r_0036_0015__because(R_0036_0015__BECAUSE)
      & has_conj1(R_0036_0015__BECAUSE,R_0036_0038__BECAUSE)
      & r_0036_0038__because(R_0036_0038__BECAUSE)
      & has_conj1(R_0036_0038__BECAUSE,R_0036_0045__AND)
      & r_0036_0045__and(R_0036_0045__AND)
      & has_conj2(R_0036_0045__AND,R_0036_0046__HAD)
      & r_0036_0046__had(R_0036_0046__HAD)
      & has_arg1(R_0036_0046__HAD,R_0036_0047__SOME_R_0036_0049__BUTTONS)
      & r_0036_0047__some_r_0036_0049__buttons(R_0036_0047__SOME_R_0036_0049__BUTTONS)
      & has_attrib(R_0036_0047__SOME_R_0036_0049__BUTTONS,R_0036_0048__WEIRD)
      & has_r_0036_0050__on(R_0036_0047__SOME_R_0036_0049__BUTTONS,R_0036_0039__THE_R_0036_0040__KEYBOARD)
      & has_arg0(R_0036_0046__HAD,R_0036_0039__THE_R_0036_0040__KEYBOARD)
      & has_conj1(R_0036_0045__AND,R_0036_0041__WAS_R_0036_0042__DESIGNED)
      & r_0036_0041__was_r_0036_0042__designed(R_0036_0041__WAS_R_0036_0042__DESIGNED)
      & has_arg0(R_0036_0041__WAS_R_0036_0042__DESIGNED,Z_0036_5012___STAR_)
      & has_r_0036_0043__for__nim(R_0036_0041__WAS_R_0036_0042__DESIGNED,R_0036_0044__ARX)
      & has_arg1(R_0036_0041__WAS_R_0036_0042__DESIGNED,R_0036_0039__THE_R_0036_0040__KEYBOARD)
      & has_conj2(R_0036_0038__BECAUSE,R_0036_0017___APOS_S)
      & r_0036_0017___apos_s(R_0036_0017___APOS_S)
      & has_keep_scope(R_0036_0017___APOS_S,Z_0036_5059)
      & z_0036_5059(Z_0036_5059)
      & has_conj1(Z_0036_5059,R_0036_0029__CHANGE)
      & r_0036_0029__change(R_0036_0029__CHANGE)
      & has_arg1(R_0036_0029__CHANGE,R_0036_0030__THE_R_0036_0031__NAMES)
      & r_0036_0030__the_r_0036_0031__names(R_0036_0030__THE_R_0036_0031__NAMES)
      & has_r_0036_0032__of(R_0036_0030__THE_R_0036_0031__NAMES,R_0036_0033__WHAT)
      & has_arg0(R_0036_0029__CHANGE,R_0036_0020__STICKIES)
      & r_0036_0020__stickies(R_0036_0020__STICKIES)
      & has_r_0036_0021__on(R_0036_0020__STICKIES,R_0036_0022__SOME)
      & r_0036_0022__some(R_0036_0022__SOME)
      & has_r_0036_0023__of(R_0036_0022__SOME,R_0036_0024__THE_R_0036_0025__FUNCTION_R_0036_0026__KEYS)
      & has_attrib(R_0036_0020__STICKIES,R_0036_0019__RED)
      & has_conj2(Z_0036_5059,R_0036_0018__GOT)
      & r_0036_0018__got(R_0036_0018__GOT)
      & has_arg1(R_0036_0018__GOT,R_0036_0020__STICKIES)
      & has_arg0(R_0036_0018__GOT,R_0036_0016__IT)
      & has_conj2(R_0036_0015__BECAUSE,R_0036_0010__CAN_R_0036_0011__TELL)
      & r_0036_0010__can_r_0036_0011__tell(R_0036_0010__CAN_R_0036_0011__TELL)
      & has_arg1(R_0036_0010__CAN_R_0036_0011__TELL,R_0036_0013___APOS_S)
      & r_0036_0013___apos_s(R_0036_0013___APOS_S)
      & has_prd(R_0036_0013___APOS_S,Z_0036_5072)
      & z_0036_5072(Z_0036_5072)
      & has_gen(Z_0036_5072,R_0036_0001__I)
      & has_arg0(R_0036_0013___APOS_S,R_0036_0012__IT)
      & has_arg0(R_0036_0010__CAN_R_0036_0011__TELL,R_0036_0001__I)
      & has_arg1(R_0036_0002__THINK,R_0036_0004__IS)
      & r_0036_0004__is(R_0036_0004__IS)
      & has_prd(R_0036_0004__IS,R_0036_0007__COMPUTER)
      & r_0036_0007__computer(R_0036_0007__COMPUTER)
      & has_gen(R_0036_0007__COMPUTER,R_0036_0001__I)
      & has_nim(R_0036_0004__IS,R_0036_0005__ACTUALLY)
      & has_arg0(R_0036_0004__IS,R_0036_0003__THIS)
      & has_arg0(R_0036_0002__THINK,R_0036_0001__I) ) ).