TSPC 43_a_paulfellows

43_a_paulfellows
One of my funny stories is trying to debug the interface between Tony's software and the keyboard, myself and Stuart and Tony and Bruce (Brian Cockburn) were there all night trying to get this damn thing to work, because the guys who made the keyboard had got this fantastically useless protocol that they'd come up with.

( (IP-MAT (NP-SBJ (NUM One;{one})
                  (PP (P-ROLE of;{of})
                      (NP (NP-GEN (PRO;_genm_ my;{my}))
                          (ADJP (ADJ funny;{funny}))
                          (NS stories;{story}))))
          (BEP;_equ_Vg_ is;{be})
          (IP-PPL-PRD (VAG;_It_ trying;{try})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_Tn_ debug;{debug})
                                  (NP-OB1 (D the;{the})
                                          (N interface;{interface})
                                          (PP (P-ROLE between;{between})
                                              (NP (NLYR (NLYR (NP-GEN (NPR Tony;{Tony})
                                                                      (GENM <apos>s))
                                                              (N software;{software}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (D the;{the})
                                                                     (N keyboard;{keyboard})))))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (NLYR (NLYR (NLYR (NLYR (PNX myself;{myself}))
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (NPR Stuart;{Stuart})))))
                                     (CONJP (CONJ and;{and})
                                            (NLYR (NLYR (NLYR (NPR Tony;{Tony}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (NPR Bruce;{Bruce})
                                                                     (PULB -LRB-)
                                                                     (PRN (NP (NPR Brian;{Brian})
                                                                              (NPR Cockburn;{Cockburn})))
                                                                     (PURB -RRB-))))))))
                       (BED;_Ip_ were;{be})
                       (ADVP-CLR (ADV there;{there}))
                       (NP-NIM (Q all;{all})
                               (N night;{night}))
                       (PP-SCON (IP-PPL (VAG;_It_ trying;{try})
                                        (IP-INF-CLR (TO to;{to})
                                                    (VB;_Cn.t_ get;{get})
                                                    (NP-OB1 (D this;{this})
                                                            (ADJP (ADJ damn;{damn}))
                                                            (N thing;{thing}))
                                                    (IP-INF-PRD (TO to;{to})
                                                                (VB;_I_ work;{work})))))
                       (PUNC ,)
                       (PP-SCON (P-CONN because;{because})
                                (IP-ADV (NP-SBJ;{GUYS} (D the;{the})
                                                       (NS guys;{guy})
                                                       (IP-REL (NP-SBJ (RPRO who;{who}))
                                                               (VBD;_Tn_ made;{make})
                                                               (NP-OB1 (D the;{the})
                                                                       (N keyboard;{keyboard}))))
                                        (HVD;_cat_Ve_ had;{have})
                                        (IP-PPL-CAT (VVN;_Tn_ got;{get})
                                                    (NP-OB1 (D this;{this})
                                                            (ADJP (ADVP (ADV fantastically;{fantastically}))
                                                                  (ADJ useless;{useless}))
                                                            (N protocol;{protocol})
                                                            (IP-REL (C that;{that})
                                                                    (NP-SBJ;{GUYS} (PRO they;{they}))
                                                                    (HVD;_cat_Ve_ <apos>d;{have})
                                                                    (IP-PPL-CAT (VVN;__ come;{come})
                                                                                (RP up;{up})
                                                                                (PP-CLR (P-ROLE with;{with})
                                                                                        (NP *T*))))))))))
          (PUNC .))
  (ID 43_a_paulfellows))

arc(r_0043_0001__One,r_0043_0005__stories,r_0043_0002__of).
arc(r_0043_0005__stories,r_0043_0003__my,gen).
arc(r_0043_0005__stories,r_0043_0004__funny,attrib).
arc(r_0043_0006__is,r_0043_0001__One,arg0).
arc(r_0043_0006__is,r_0043_0007__trying,prd).
arc(r_0043_0006__is,r_0043_0044__because,prn).
arc(r_0043_0007__trying,r_0043_0009__debug,clr).
arc(r_0043_0007__trying,z_0043_5040,arg0).
arc(r_0043_0009__debug,r_0043_0010__the_r_0043_0011__interface,arg1).
arc(r_0043_0009__debug,z_0043_5040,arg0).
arc(r_0043_0010__the_r_0043_0011__interface,r_0043_0016__and,r_0043_0012__between).
arc(r_0043_0015__software,r_0043_0013__Tony,gen).
arc(r_0043_0016__and,r_0043_0015__software,conj1).
arc(r_0043_0016__and,r_0043_0017__the_r_0043_0018__keyboard,conj2).
arc(r_0043_0021__and,r_0043_0020__myself,conj1).
arc(r_0043_0021__and,r_0043_0022__Stuart,conj2).
arc(r_0043_0023__and,r_0043_0021__and,conj1).
arc(r_0043_0023__and,r_0043_0025__and,conj2).
arc(r_0043_0025__and,r_0043_0024__Tony,conj1).
arc(r_0043_0025__and,r_0043_0026__Bruce,conj2).
arc(r_0043_0031__were_r_0043_0032__there,r_0043_0023__and,arg0).
arc(r_0043_0031__were_r_0043_0032__there,r_0043_0034__night,nim).
arc(r_0043_0033__all__quant,r_0043_0031__were_r_0043_0032__there,scope).
arc(r_0043_0033__all__quant,r_0043_0034__night,restriction).
arc(r_0043_0035__trying,r_0043_0023__and,arg0).
arc(r_0043_0035__trying,r_0043_0037__get,clr).
arc(r_0043_0037__get,r_0043_0023__and,arg0).
arc(r_0043_0037__get,r_0043_0038__this_r_0043_0040__thing,arg1).
arc(r_0043_0037__get,r_0043_0042__work,prd).
arc(r_0043_0038__this_r_0043_0040__thing,r_0043_0039__damn,attrib).
arc(r_0043_0042__work,z_0043_5031,arg0).
arc(r_0043_0044__because,r_0043_0051__had,restriction).
arc(r_0043_0044__because,z_0043_5024,scope).
arc(r_0043_0048__made,r_0043_0045__the_r_0043_0046__guys,arg0).
arc(r_0043_0048__made,r_0043_0049__the_r_0043_0050__keyboard,arg1).
arc(r_0043_0051__had,r_0043_0052__got,scope).
arc(r_0043_0052__got,r_0043_0045__the_r_0043_0046__guys,arg0).
arc(r_0043_0052__got,r_0043_0053__this_r_0043_0056__protocol,arg1).
arc(r_0043_0053__this_r_0043_0056__protocol,r_0043_0055__useless,attrib).
arc(r_0043_0055__useless,r_0043_0054__fantastically,qual).
arc(r_0043_0059___apos_d,r_0043_0060__come_r_0043_0061__up,scope).
arc(r_0043_0060__come_r_0043_0061__up,r_0043_0045__the_r_0043_0046__guys,arg0).
arc(r_0043_0060__come_r_0043_0061__up,r_0043_0053__this_r_0043_0056__protocol,r_0043_0062__with__inv_clr).
arc(z_0043_5008,r_0043_0026__Bruce,arg0).
arc(z_0043_5008,r_0043_0028__Brian_r_0043_0029__Cockburn,prd).
arc(z_0043_5024,r_0043_0033__all__quant,scope).
arc(z_0043_5024,r_0043_0035__trying,restriction).

fof(formula,axiom,
    ? [R_0043_0003__MY,R_0043_0004__FUNNY,R_0043_0005__STORIES,R_0043_0001__ONE,R_0043_0013__TONY,R_0043_0015__SOFTWARE,R_0043_0017__THE_R_0043_0018__KEYBOARD,R_0043_0016__AND,R_0043_0010__THE_R_0043_0011__INTERFACE,Z_0043_5040,R_0043_0009__DEBUG,R_0043_0007__TRYING,R_0043_0045__THE_R_0043_0046__GUYS,R_0043_0054__FANTASTICALLY,R_0043_0055__USELESS,R_0043_0059___APOS_D_R_0043_0060__COME_R_0043_0061__UP,R_0043_0053__THIS_R_0043_0056__PROTOCOL,R_0043_0051__HAD_R_0043_0052__GOT,R_0043_0020__MYSELF,R_0043_0022__STUART,R_0043_0021__AND,R_0043_0024__TONY,R_0043_0026__BRUCE,R_0043_0025__AND,R_0043_0023__AND,R_0043_0039__DAMN,R_0043_0038__THIS_R_0043_0040__THING,Z_0043_5031,R_0043_0042__WORK,R_0043_0037__GET,R_0043_0035__TRYING,Z_0043_5024,R_0043_0044__BECAUSE,R_0043_0006__IS,R_0043_0049__THE_R_0043_0050__KEYBOARD,R_0043_0048__MADE,R_0043_0028__BRIAN_R_0043_0029__COCKBURN,Z_0043_5008] :
      ( r_0043_0003__my(R_0043_0003__MY)
      & r_0043_0004__funny(R_0043_0004__FUNNY)
      & r_0043_0013__Tony(R_0043_0013__TONY)
      & r_0043_0017__the_r_0043_0018__keyboard(R_0043_0017__THE_R_0043_0018__KEYBOARD)
      & r_0043_0020__myself(R_0043_0020__MYSELF)
      & r_0043_0022__Stuart(R_0043_0022__STUART)
      & r_0043_0024__Tony(R_0043_0024__TONY)
      & r_0043_0026__Bruce(R_0043_0026__BRUCE)
      & r_0043_0028__Brian_r_0043_0029__Cockburn(R_0043_0028__BRIAN_R_0043_0029__COCKBURN)
      & r_0043_0039__damn(R_0043_0039__DAMN)
      & r_0043_0045__the_r_0043_0046__guys(R_0043_0045__THE_R_0043_0046__GUYS)
      & r_0043_0049__the_r_0043_0050__keyboard(R_0043_0049__THE_R_0043_0050__KEYBOARD)
      & r_0043_0054__fantastically(R_0043_0054__FANTASTICALLY)
      & z_0043_5031(Z_0043_5031)
      & z_0043_5040(Z_0043_5040)
      & z_0043_5008(Z_0043_5008)
      & has_prd(Z_0043_5008,R_0043_0028__BRIAN_R_0043_0029__COCKBURN)
      & has_arg0(Z_0043_5008,R_0043_0026__BRUCE)
      & r_0043_0048__made(R_0043_0048__MADE)
      & has_arg1(R_0043_0048__MADE,R_0043_0049__THE_R_0043_0050__KEYBOARD)
      & has_arg0(R_0043_0048__MADE,R_0043_0045__THE_R_0043_0046__GUYS)
      & r_0043_0006__is(R_0043_0006__IS)
      & has_prn(R_0043_0006__IS,R_0043_0044__BECAUSE)
      & r_0043_0044__because(R_0043_0044__BECAUSE)
      & has_conj2(R_0043_0044__BECAUSE,Z_0043_5024)
      & z_0043_5024(Z_0043_5024)
      & has_conj1(Z_0043_5024,R_0043_0035__TRYING)
      & r_0043_0035__trying(R_0043_0035__TRYING)
      & has_clr(R_0043_0035__TRYING,R_0043_0037__GET)
      & r_0043_0037__get(R_0043_0037__GET)
      & has_prd(R_0043_0037__GET,R_0043_0042__WORK)
      & r_0043_0042__work(R_0043_0042__WORK)
      & has_arg0(R_0043_0042__WORK,Z_0043_5031)
      & has_arg1(R_0043_0037__GET,R_0043_0038__THIS_R_0043_0040__THING)
      & r_0043_0038__this_r_0043_0040__thing(R_0043_0038__THIS_R_0043_0040__THING)
      & has_attrib(R_0043_0038__THIS_R_0043_0040__THING,R_0043_0039__DAMN)
      & has_arg0(R_0043_0037__GET,R_0043_0023__AND)
      & r_0043_0023__and(R_0043_0023__AND)
      & has_conj2(R_0043_0023__AND,R_0043_0025__AND)
      & r_0043_0025__and(R_0043_0025__AND)
      & has_conj2(R_0043_0025__AND,R_0043_0026__BRUCE)
      & has_conj1(R_0043_0025__AND,R_0043_0024__TONY)
      & has_conj1(R_0043_0023__AND,R_0043_0021__AND)
      & r_0043_0021__and(R_0043_0021__AND)
      & has_conj2(R_0043_0021__AND,R_0043_0022__STUART)
      & has_conj1(R_0043_0021__AND,R_0043_0020__MYSELF)
      & has_arg0(R_0043_0035__TRYING,R_0043_0023__AND)
      & ! [R_0043_0034__NIGHT] :
          ( r_0043_0034__night(R_0043_0034__NIGHT)
         => ? [R_0043_0031__WERE_R_0043_0032__THERE] :
              ( r_0043_0031__were_r_0043_0032__there(R_0043_0031__WERE_R_0043_0032__THERE)
              & has_nim(R_0043_0031__WERE_R_0043_0032__THERE,R_0043_0034__NIGHT)
              & has_arg0(R_0043_0031__WERE_R_0043_0032__THERE,R_0043_0023__AND) ) )
      & has_conj1(R_0043_0044__BECAUSE,R_0043_0051__HAD_R_0043_0052__GOT)
      & r_0043_0051__had_r_0043_0052__got(R_0043_0051__HAD_R_0043_0052__GOT)
      & has_arg1(R_0043_0051__HAD_R_0043_0052__GOT,R_0043_0053__THIS_R_0043_0056__PROTOCOL)
      & r_0043_0053__this_r_0043_0056__protocol(R_0043_0053__THIS_R_0043_0056__PROTOCOL)
      & has_r_0043_0062__with__inv_clr(R_0043_0053__THIS_R_0043_0056__PROTOCOL,R_0043_0059___APOS_D_R_0043_0060__COME_R_0043_0061__UP)
      & r_0043_0059___apos_d_r_0043_0060__come_r_0043_0061__up(R_0043_0059___APOS_D_R_0043_0060__COME_R_0043_0061__UP)
      & has_arg0(R_0043_0059___APOS_D_R_0043_0060__COME_R_0043_0061__UP,R_0043_0045__THE_R_0043_0046__GUYS)
      & has_attrib(R_0043_0053__THIS_R_0043_0056__PROTOCOL,R_0043_0055__USELESS)
      & r_0043_0055__useless(R_0043_0055__USELESS)
      & has_qual(R_0043_0055__USELESS,R_0043_0054__FANTASTICALLY)
      & has_arg0(R_0043_0051__HAD_R_0043_0052__GOT,R_0043_0045__THE_R_0043_0046__GUYS)
      & has_prd(R_0043_0006__IS,R_0043_0007__TRYING)
      & r_0043_0007__trying(R_0043_0007__TRYING)
      & has_arg0(R_0043_0007__TRYING,Z_0043_5040)
      & has_clr(R_0043_0007__TRYING,R_0043_0009__DEBUG)
      & r_0043_0009__debug(R_0043_0009__DEBUG)
      & has_arg0(R_0043_0009__DEBUG,Z_0043_5040)
      & has_arg1(R_0043_0009__DEBUG,R_0043_0010__THE_R_0043_0011__INTERFACE)
      & r_0043_0010__the_r_0043_0011__interface(R_0043_0010__THE_R_0043_0011__INTERFACE)
      & has_r_0043_0012__between(R_0043_0010__THE_R_0043_0011__INTERFACE,R_0043_0016__AND)
      & r_0043_0016__and(R_0043_0016__AND)
      & has_conj2(R_0043_0016__AND,R_0043_0017__THE_R_0043_0018__KEYBOARD)
      & has_conj1(R_0043_0016__AND,R_0043_0015__SOFTWARE)
      & r_0043_0015__software(R_0043_0015__SOFTWARE)
      & has_gen(R_0043_0015__SOFTWARE,R_0043_0013__TONY)
      & has_arg0(R_0043_0006__IS,R_0043_0001__ONE)
      & r_0043_0001__One(R_0043_0001__ONE)
      & has_r_0043_0002__of(R_0043_0001__ONE,R_0043_0005__STORIES)
      & r_0043_0005__stories(R_0043_0005__STORIES)
      & has_attrib(R_0043_0005__STORIES,R_0043_0004__FUNNY)
      & has_gen(R_0043_0005__STORIES,R_0043_0003__MY) ) ).