TSPC 44_a_paulfellows

44_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.

arc(r_0044_0001__One, r_0044_0005__stories, r_0044_0002__of).
arc(r_0044_0005__stories, r_0044_0003__my, gen).
arc(r_0044_0005__stories, r_0044_0004__funny, attrib12).
arc(r_0044_0006__is, r_0044_0001__One, arg0).
arc(r_0044_0006__is, r_0044_0007__trying, prd).
arc(r_0044_0007__trying, r_0044_0008__to_r_0044_0009__debug, clr22).
arc(r_0044_0007__trying, x_000_44_a_paulfellows_19, arg0).
arc(r_0044_0008__to_r_0044_0009__debug, r_0044_0010__the_r_0044_0011__interface, arg1).
arc(r_0044_0008__to_r_0044_0009__debug, x_000_44_a_paulfellows_19, arg0).
arc(r_0044_0010__the_r_0044_0011__interface, r_0044_0016__and, r_0044_0012__between).
arc(r_0044_0015__software, r_0044_0013__Tony_r_0044_0014___apos_s, gen).
arc(r_0044_0016__and, r_0044_0015__software, conj1).
arc(r_0044_0016__and, r_0044_0017__the_r_0044_0018__keyboard, conj2).

fof(formula,axiom,
    ? [R_0044_0003__MY,R_0044_0004__FUNNY,R_0044_0005__STORIES,R_0044_0001__ONE,R_0044_0013__TONY_R_0044_0014___APOS_S,R_0044_0015__SOFTWARE,R_0044_0017__THE_R_0044_0018__KEYBOARD,R_0044_0016__AND,R_0044_0010__THE_R_0044_0011__INTERFACE,X_000_44_A_PAULFELLOWS_19,R_0044_0008__TO_R_0044_0009__DEBUG,R_0044_0007__TRYING,R_0044_0006__IS] :
      ( r_0044_0003__my(R_0044_0003__MY)
      & r_0044_0004__funny(R_0044_0004__FUNNY)
      & r_0044_0013__Tony_r_0044_0014___apos_s(R_0044_0013__TONY_R_0044_0014___APOS_S)
      & r_0044_0017__the_r_0044_0018__keyboard(R_0044_0017__THE_R_0044_0018__KEYBOARD)
      & x_000_44_a_paulfellows_19(X_000_44_A_PAULFELLOWS_19)
      & r_0044_0006__is(R_0044_0006__IS)
      & has_prd(R_0044_0006__IS,R_0044_0007__TRYING)
      & r_0044_0007__trying(R_0044_0007__TRYING)
      & has_arg0(R_0044_0007__TRYING,X_000_44_A_PAULFELLOWS_19)
      & has_clr22(R_0044_0007__TRYING,R_0044_0008__TO_R_0044_0009__DEBUG)
      & r_0044_0008__to_r_0044_0009__debug(R_0044_0008__TO_R_0044_0009__DEBUG)
      & has_arg0(R_0044_0008__TO_R_0044_0009__DEBUG,X_000_44_A_PAULFELLOWS_19)
      & has_arg1(R_0044_0008__TO_R_0044_0009__DEBUG,R_0044_0010__THE_R_0044_0011__INTERFACE)
      & r_0044_0010__the_r_0044_0011__interface(R_0044_0010__THE_R_0044_0011__INTERFACE)
      & has_r_0044_0012__between(R_0044_0010__THE_R_0044_0011__INTERFACE,R_0044_0016__AND)
      & r_0044_0016__and(R_0044_0016__AND)
      & has_conj2(R_0044_0016__AND,R_0044_0017__THE_R_0044_0018__KEYBOARD)
      & has_conj1(R_0044_0016__AND,R_0044_0015__SOFTWARE)
      & r_0044_0015__software(R_0044_0015__SOFTWARE)
      & has_gen(R_0044_0015__SOFTWARE,R_0044_0013__TONY_R_0044_0014___APOS_S)
      & has_arg0(R_0044_0006__IS,R_0044_0001__ONE)
      & r_0044_0001__One(R_0044_0001__ONE)
      & has_r_0044_0002__of(R_0044_0001__ONE,R_0044_0005__STORIES)
      & r_0044_0005__stories(R_0044_0005__STORIES)
      & has_attrib12(R_0044_0005__STORIES,R_0044_0004__FUNNY)
      & has_gen(R_0044_0005__STORIES,R_0044_0003__MY) ) ).

( (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-)
                                                                     (IP-PPL (NP-PRD (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 44_a_paulfellows))