TSPC 67_a_paulfellows

67_a_paulfellows
As a piece of demo-ware it escaped into the wild, they burnt it into the ROM and it's what it boots up with, but it was a demonstration of how you can write programs to use the window manager, but never underestimate the marketing department, they'll get you every time, if you write a demo, they'll sell it.

( (IP-MAT (PP-NIM (P-ROLE As;{as})
                  (NP (D a;{a})
                      (N piece;{piece})
                      (PP (P-ROLE of;{of})
                          (NP (N demo_<hyphen>_ware;{demo_ware})))))
          (NP-SBJ;{DESKTOP} (PRO it;{it}))
          (VBD;_Ipr_ escaped;{escape[into]})
          (PP-CLR (P-ROLE into;{into})
                  (NP (D the;{the})
                      (N wild;{wild})))
          (PUNC ,)
          (PRN (IP-MAT (ILYR (ILYR (NP-SBJ (PRO they;{they}))
                                   (VBD;__ burnt;{burn})
                                   (NP-OB1;{DESKTOP} (PRO it;{it}))
                                   (PP-NIM (P-ROLE into;{into})
                                           (NP (D the;{the})
                                               (N ROM;{rom}))))
                             (CONJP (CONJ and;{and})
                                    (ILYR (NP-SBJ;{DESKTOP} (PRO it;{it}))
                                          (BEP;_Ln_ <apos>s;{be})
                                          (NP-PRD (IP-REL (NP-137 (RPRO what;{what}))
                                                          (NP-SBJ (PRO it;{it}))
                                                          (VBP;__ boots;{boot})
                                                          (ADVP-NIM (RP up;{up}))
                                                          (PP (P-ROLE with;{with})
                                                              (NP *ICH*-137)))))))
                       (PUNC ,)
                       (PRN (IP-MAT (CONJ;_cl_ but;{but})
                                    (NP-SBJ;{DESKTOP} (PRO it;{it}))
                                    (BED;_Ln_ was;{be})
                                    (NP-PRD (D a;{a})
                                            (N demonstration;{demonstration})
                                            (PP (P-ROLE of;{of})
                                                (CP-QUE (IP-SUB (ADVP-138 (WADV how;{how}))
                                                                (NP-SBJ (PRO you;{you}))
                                                                (MD;_cat_Vi_ can;{can})
                                                                (IP-INF-CAT (ADVP-NIM *ICH*-138)
                                                                            (VB;__ write;{write})
                                                                            (NP-OB1 (NS programs;{program})
                                                                                    (IP-INF-REL (NP-SBJ *T*)
                                                                                                (TO to;{to})
                                                                                                (VB;__ use;{use})
                                                                                                (NP-OB1 (D the;{the})
                                                                                                        (N window;{window})
                                                                                                        (N manager;{manager})))))))))
                                    (PUNC ,)
                                    (PRN (IP-IMP (CONJ;_cl_ but;{but})
                                                 (ADVP-NIM (ADV never;{never}))
                                                 (VB;__ underestimate;{underestimate})
                                                 (NP-OB1;{MARKETING} (D the;{the})
                                                                     (IP-PPL (VAG;__ marketing;{market}))
                                                                     (N department;{department}))
                                                 (PUNC ,)
                                                 (PRN (IP-MAT (NP-SBJ;{MARKETING} (PRO they;{they}))
                                                              (MD;_cat_Vi_ <apos>ll;{will})
                                                              (IP-INF-CAT (VB;__ get;{get})
                                                                          (NP-OB1 (PRO you;{you}))
                                                                          (NP-NIM (Q every;{every})
                                                                                  (N time;{time})))
                                                              (PUNC ,)
                                                              (PRN (IP-MAT (PP-SCON (P-CONN if;{if})
                                                                                    (IP-ADV (NP-SBJ (PRO you;{you}))
                                                                                            (VBP;__ write;{write})
                                                                                            (NP-OB1;{DEMO} (D a;{a})
                                                                                                           (N demo;{demo}))))
                                                                           (PUNC ,)
                                                                           (NP-SBJ;{MARKETING} (PRO they;{they}))
                                                                           (MD;_cat_Vi_ <apos>ll;{will})
                                                                           (IP-INF-CAT (VB;__ sell;{sell})
                                                                                       (NP-OB1;{DEMO} (PRO it;{it})))))))))))))
          (PUNC .))
  (ID 67_a_paulfellows))

arc(r_0067_0002__a_r_0067_0003__piece,r_0067_0005__demo__hyphen__ware,r_0067_0004__of).
arc(r_0067_0007__escaped_r_0067_0008__into,r_0067_0002__a_r_0067_0003__piece,r_0067_0001__As__nim).
arc(r_0067_0007__escaped_r_0067_0008__into,r_0067_0006__it,arg0).
arc(r_0067_0007__escaped_r_0067_0008__into,r_0067_0009__the_r_0067_0010__wild,arg1).
arc(r_0067_0007__escaped_r_0067_0008__into,r_0067_0018__and,prn).
arc(r_0067_0013__burnt,r_0067_0006__it,arg1).
arc(r_0067_0013__burnt,r_0067_0012__they,arg0).
arc(r_0067_0013__burnt,r_0067_0016__the_r_0067_0017__ROM,r_0067_0015__into__nim).
arc(r_0067_0013__burnt,r_0067_0029__was,prn).
arc(r_0067_0018__and,r_0067_0013__burnt,conj1).
arc(r_0067_0018__and,r_0067_0020___apos_s,conj2).
arc(r_0067_0020___apos_s,r_0067_0006__it,arg0).
arc(r_0067_0020___apos_s,r_0067_0021__what,prd).
arc(r_0067_0020___apos_s,r_0067_0029__was,prn).
arc(r_0067_0023__boots,r_0067_0021__what,r_0067_0025__with).
arc(r_0067_0023__boots,r_0067_0022__it,arg0).
arc(r_0067_0023__boots,r_0067_0024__up,nim).
arc(r_0067_0029__was,r_0067_0006__it,arg0).
arc(r_0067_0029__was,r_0067_0030__a_r_0067_0031__demonstration,prd).
arc(r_0067_0029__was,r_0067_0046__underestimate,prn).
arc(r_0067_0030__a_r_0067_0031__demonstration,r_0067_0035__can,r_0067_0032__of).
arc(r_0067_0035__can,r_0067_0036__write,scope).
arc(r_0067_0036__write,r_0067_0033__how,nim).
arc(r_0067_0036__write,r_0067_0034__you,arg0).
arc(r_0067_0036__write,r_0067_0037__programs,arg1).
arc(r_0067_0039__use,r_0067_0037__programs,inv_arg0).
arc(r_0067_0039__use,r_0067_0040__the_r_0067_0041__window_r_0067_0042__manager,arg1).
arc(r_0067_0046__underestimate,r_0067_0045__never,nim).
arc(r_0067_0046__underestimate,r_0067_0047__the_r_0067_0049__department,arg1).
arc(r_0067_0046__underestimate,r_0067_0055__every__quant,prn).
arc(r_0067_0046__underestimate,z_0067_5009,arg0).
arc(r_0067_0048__marketing,r_0067_0047__the_r_0067_0049__department,inv_arg0).
arc(r_0067_0052___apos_ll,r_0067_0053__get,scope).
arc(r_0067_0052___apos_ll,r_0067_0058__if,prn).
arc(r_0067_0053__get,r_0067_0047__the_r_0067_0049__department,arg0).
arc(r_0067_0053__get,r_0067_0054__you,arg1).
arc(r_0067_0053__get,r_0067_0056__time,nim).
arc(r_0067_0055__every__quant,r_0067_0052___apos_ll,scope).
arc(r_0067_0055__every__quant,r_0067_0056__time,restriction).
arc(r_0067_0058__if,r_0067_0060__write,restriction).
arc(r_0067_0058__if,r_0067_0065___apos_ll,scope).
arc(r_0067_0060__write,r_0067_0059__you,arg0).
arc(r_0067_0060__write,r_0067_0061__a_r_0067_0062__demo,arg1).
arc(r_0067_0065___apos_ll,r_0067_0066__sell,scope).
arc(r_0067_0066__sell,r_0067_0047__the_r_0067_0049__department,arg0).
arc(r_0067_0066__sell,r_0067_0061__a_r_0067_0062__demo,arg1).

fof(formula,axiom,
    ? [R_0067_0005__DEMO__HYPHEN__WARE,R_0067_0002__A_R_0067_0003__PIECE,R_0067_0006__IT,R_0067_0009__THE_R_0067_0010__WILD,R_0067_0012__THEY,R_0067_0016__THE_R_0067_0017__ROM,R_0067_0033__HOW,R_0067_0034__YOU,R_0067_0040__THE_R_0067_0041__WINDOW_R_0067_0042__MANAGER,R_0067_0039__USE,R_0067_0037__PROGRAMS,R_0067_0035__CAN_R_0067_0036__WRITE,R_0067_0030__A_R_0067_0031__DEMONSTRATION,R_0067_0045__NEVER,R_0067_0048__MARKETING,R_0067_0047__THE_R_0067_0049__DEPARTMENT,Z_0067_5009,R_0067_0046__UNDERESTIMATE,R_0067_0029__WAS,R_0067_0013__BURNT,R_0067_0021__WHAT,R_0067_0020___APOS_S,R_0067_0018__AND,R_0067_0007__ESCAPED_R_0067_0008__INTO,R_0067_0022__IT,R_0067_0024__UP,R_0067_0023__BOOTS] :
      ( r_0067_0005__demo__hyphen__ware(R_0067_0005__DEMO__HYPHEN__WARE)
      & r_0067_0006__it(R_0067_0006__IT)
      & r_0067_0009__the_r_0067_0010__wild(R_0067_0009__THE_R_0067_0010__WILD)
      & r_0067_0012__they(R_0067_0012__THEY)
      & r_0067_0016__the_r_0067_0017__ROM(R_0067_0016__THE_R_0067_0017__ROM)
      & r_0067_0021__what(R_0067_0021__WHAT)
      & r_0067_0022__it(R_0067_0022__IT)
      & r_0067_0024__up(R_0067_0024__UP)
      & r_0067_0033__how(R_0067_0033__HOW)
      & r_0067_0034__you(R_0067_0034__YOU)
      & r_0067_0040__the_r_0067_0041__window_r_0067_0042__manager(R_0067_0040__THE_R_0067_0041__WINDOW_R_0067_0042__MANAGER)
      & r_0067_0045__never(R_0067_0045__NEVER)
      & r_0067_0048__marketing(R_0067_0048__MARKETING)
      & z_0067_5009(Z_0067_5009)
      & r_0067_0023__boots(R_0067_0023__BOOTS)
      & has_nim(R_0067_0023__BOOTS,R_0067_0024__UP)
      & has_arg0(R_0067_0023__BOOTS,R_0067_0022__IT)
      & has_r_0067_0025__with(R_0067_0023__BOOTS,R_0067_0021__WHAT)
      & r_0067_0007__escaped_r_0067_0008__into(R_0067_0007__ESCAPED_R_0067_0008__INTO)
      & has_prn(R_0067_0007__ESCAPED_R_0067_0008__INTO,R_0067_0018__AND)
      & r_0067_0018__and(R_0067_0018__AND)
      & has_conj2(R_0067_0018__AND,R_0067_0020___APOS_S)
      & r_0067_0020___apos_s(R_0067_0020___APOS_S)
      & has_prn(R_0067_0020___APOS_S,R_0067_0029__WAS)
      & r_0067_0029__was(R_0067_0029__WAS)
      & has_prn(R_0067_0029__WAS,R_0067_0046__UNDERESTIMATE)
      & r_0067_0046__underestimate(R_0067_0046__UNDERESTIMATE)
      & has_arg0(R_0067_0046__UNDERESTIMATE,Z_0067_5009)
      & ! [R_0067_0056__TIME] :
          ( r_0067_0056__time(R_0067_0056__TIME)
         => ? [R_0067_0054__YOU,R_0067_0052___APOS_LL_R_0067_0053__GET] :
              ( r_0067_0054__you(R_0067_0054__YOU)
              & r_0067_0052___apos_ll_r_0067_0053__get(R_0067_0052___APOS_LL_R_0067_0053__GET)
              & has_nim(R_0067_0052___APOS_LL_R_0067_0053__GET,R_0067_0056__TIME)
              & has_arg1(R_0067_0052___APOS_LL_R_0067_0053__GET,R_0067_0054__YOU)
              & has_arg0(R_0067_0052___APOS_LL_R_0067_0053__GET,R_0067_0047__THE_R_0067_0049__DEPARTMENT)
              & ! [R_0067_0060__WRITE,R_0067_0059__YOU,R_0067_0061__A_R_0067_0062__DEMO] :
                  ( ( r_0067_0059__you(R_0067_0059__YOU)
                    & r_0067_0061__a_r_0067_0062__demo(R_0067_0061__A_R_0067_0062__DEMO)
                    & r_0067_0060__write(R_0067_0060__WRITE)
                    & has_arg1(R_0067_0060__WRITE,R_0067_0061__A_R_0067_0062__DEMO)
                    & has_arg0(R_0067_0060__WRITE,R_0067_0059__YOU) )
                 => ? [R_0067_0065___APOS_LL_R_0067_0066__SELL] :
                      ( r_0067_0065___apos_ll_r_0067_0066__sell(R_0067_0065___APOS_LL_R_0067_0066__SELL)
                      & has_arg1(R_0067_0065___APOS_LL_R_0067_0066__SELL,R_0067_0061__A_R_0067_0062__DEMO)
                      & has_arg0(R_0067_0065___APOS_LL_R_0067_0066__SELL,R_0067_0047__THE_R_0067_0049__DEPARTMENT) ) ) ) )
      & has_arg1(R_0067_0046__UNDERESTIMATE,R_0067_0047__THE_R_0067_0049__DEPARTMENT)
      & r_0067_0047__the_r_0067_0049__department(R_0067_0047__THE_R_0067_0049__DEPARTMENT)
      & has_inv_arg0(R_0067_0047__THE_R_0067_0049__DEPARTMENT,R_0067_0048__MARKETING)
      & has_nim(R_0067_0046__UNDERESTIMATE,R_0067_0045__NEVER)
      & has_prd(R_0067_0029__WAS,R_0067_0030__A_R_0067_0031__DEMONSTRATION)
      & r_0067_0030__a_r_0067_0031__demonstration(R_0067_0030__A_R_0067_0031__DEMONSTRATION)
      & has_r_0067_0032__of(R_0067_0030__A_R_0067_0031__DEMONSTRATION,R_0067_0035__CAN_R_0067_0036__WRITE)
      & r_0067_0035__can_r_0067_0036__write(R_0067_0035__CAN_R_0067_0036__WRITE)
      & has_arg1(R_0067_0035__CAN_R_0067_0036__WRITE,R_0067_0037__PROGRAMS)
      & r_0067_0037__programs(R_0067_0037__PROGRAMS)
      & has_inv_arg0(R_0067_0037__PROGRAMS,R_0067_0039__USE)
      & r_0067_0039__use(R_0067_0039__USE)
      & has_arg1(R_0067_0039__USE,R_0067_0040__THE_R_0067_0041__WINDOW_R_0067_0042__MANAGER)
      & has_arg0(R_0067_0035__CAN_R_0067_0036__WRITE,R_0067_0034__YOU)
      & has_nim(R_0067_0035__CAN_R_0067_0036__WRITE,R_0067_0033__HOW)
      & has_arg0(R_0067_0029__WAS,R_0067_0006__IT)
      & has_prd(R_0067_0020___APOS_S,R_0067_0021__WHAT)
      & has_arg0(R_0067_0020___APOS_S,R_0067_0006__IT)
      & has_conj1(R_0067_0018__AND,R_0067_0013__BURNT)
      & r_0067_0013__burnt(R_0067_0013__BURNT)
      & has_prn(R_0067_0013__BURNT,R_0067_0029__WAS)
      & has_r_0067_0015__into__nim(R_0067_0013__BURNT,R_0067_0016__THE_R_0067_0017__ROM)
      & has_arg0(R_0067_0013__BURNT,R_0067_0012__THEY)
      & has_arg1(R_0067_0013__BURNT,R_0067_0006__IT)
      & has_arg1(R_0067_0007__ESCAPED_R_0067_0008__INTO,R_0067_0009__THE_R_0067_0010__WILD)
      & has_arg0(R_0067_0007__ESCAPED_R_0067_0008__INTO,R_0067_0006__IT)
      & has_r_0067_0001__As__nim(R_0067_0007__ESCAPED_R_0067_0008__INTO,R_0067_0002__A_R_0067_0003__PIECE)
      & r_0067_0002__a_r_0067_0003__piece(R_0067_0002__A_R_0067_0003__PIECE)
      & has_r_0067_0004__of(R_0067_0002__A_R_0067_0003__PIECE,R_0067_0005__DEMO__HYPHEN__WARE) ) ).