TSPC 66_a_paulfellows

66_a_paulfellows
There's a cautionary tale behind this, Richard Manby wrote this (Arthur Desktop), in BASIC as a demonstration of the Window Manager and what it could do, using the bitmap fonts and so forth, the outline font manager wasn't ready at this point.

( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ <apos>s;{be})
          (NP-ESBJ (D a;{a})
                   (ADJP (ADJ cautionary;{cautionary}))
                   (N tale;{tale})
                   (PP (P-ROLE behind;{behind})
                       (NP (D;_nphd_ this;{this}))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (NPR Richard;{Richard})
                               (NPR Manby;{Manby}))
                       (VBD;__ wrote;{write})
                       (NP-OB1;{DESKTOP} (D;_nphd_ this;{this})
                                         (PULB -LRB-)
                                         (PRN (NP (NPR Arthur;{Arthur})
                                                  (NPR Desktop;{Desktop})))
                                         (PURB -RRB-))
                       (PUNC ,)
                       (PP-NIM (P-ROLE in;{in})
                               (NP (N BASIC;{basic})))
                       (PP-PRD (P-ROLE as;{as})
                               (NP (D a;{a})
                                   (N demonstration;{demonstration})
                                   (PP (P-ROLE of;{of})
                                       (NP (NLYR (NLYR (D the;{the})
                                                       (N Window;{window})
                                                       (N Manager;{manager}))
                                                 (CONJP (CONJ and;{and})
                                                        (NLYR (IP-REL (NP-188 (RPRO what;{what}))
                                                                      (NP-SBJ (PRO it;{it}))
                                                                      (MD;_cat_Vi_ could;{can})
                                                                      (IP-INF-CAT (NP-OB1 *ICH*-188)
                                                                                  (DO;_Tn_ do;{do}))))))))
                                   (PUNC ,)
                                   (IP-PPL (VAG;__ using;{use})
                                           (NP-OB1 (NLYR (NLYR (D the;{the})
                                                               (N bitmap;{bitmap})
                                                               (NS fonts;{font}))
                                                         (CONJP (CONJ and;{and})
                                                                (NLYR (ADVP (ADV so_forth;{so_forth})))))))))
                       (PUNC ,)
                       (PRN (IP-MAT (NP-SBJ (D the;{the})
                                            (N outline;{outline})
                                            (N font;{font})
                                            (N manager;{manager}))
                                    (BED;_La_ was;{be})
                                    (NEG;_clitic_ n<apos>t;{not})
                                    (ADJP-PRD (ADJ ready;{ready}))
                                    (PP-NIM (P-ROLE at;{at})
                                            (NP (D this;{this})
                                                (N point;{point})))))))
          (PUNC .))
  (ID 66_a_paulfellows))

arc(r_0066_0002___apos_s,r_0066_0003__a_r_0066_0005__tale,arg0).
arc(r_0066_0002___apos_s,r_0066_0011__wrote,prn).
arc(r_0066_0003__a_r_0066_0005__tale,r_0066_0004__cautionary,attrib).
arc(r_0066_0003__a_r_0066_0005__tale,r_0066_0007__this,r_0066_0006__behind).
arc(r_0066_0011__wrote,r_0066_0009__Richard_r_0066_0010__Manby,arg0).
arc(r_0066_0011__wrote,r_0066_0012__this,arg1).
arc(r_0066_0011__wrote,r_0066_0019__BASIC,r_0066_0018__in__nim).
arc(r_0066_0011__wrote,r_0066_0021__a_r_0066_0022__demonstration,r_0066_0020__as__prd).
arc(r_0066_0011__wrote,r_0066_0045__n_apos_t,prn).
arc(r_0066_0021__a_r_0066_0022__demonstration,r_0066_0027__and,r_0066_0023__of).
arc(r_0066_0027__and,r_0066_0024__the_r_0066_0025__Window_r_0066_0026__Manager,conj1).
arc(r_0066_0027__and,z_0066_5017,conj2).
arc(r_0066_0030__could,r_0066_0031__do,scope).
arc(r_0066_0031__do,r_0066_0029__it,arg0).
arc(r_0066_0031__do,z_0066_5017,arg1).
arc(r_0066_0033__using,r_0066_0021__a_r_0066_0022__demonstration,inv_arg0).
arc(r_0066_0033__using,r_0066_0037__and,arg1).
arc(r_0066_0037__and,r_0066_0034__the_r_0066_0035__bitmap_r_0066_0036__fonts,conj1).
arc(r_0066_0037__and,z_0066_5022,conj2).
arc(r_0066_0044__was,r_0066_0040__the_r_0066_0041__outline_r_0066_0042__font_r_0066_0043__manager,arg0).
arc(r_0066_0044__was,r_0066_0046__ready,prd).
arc(r_0066_0044__was,r_0066_0048__this_r_0066_0049__point,r_0066_0047__at__nim).
arc(r_0066_0045__n_apos_t,r_0066_0044__was,keep_scope).
arc(z_0066_5002,r_0066_0012__this,arg0).
arc(z_0066_5002,r_0066_0014__Arthur_r_0066_0015__Desktop,prd).
arc(z_0066_5022,r_0066_0038__so_forth,qual).

fof(formula,axiom,
    ? [R_0066_0004__CAUTIONARY,R_0066_0007__THIS,R_0066_0003__A_R_0066_0005__TALE,R_0066_0009__RICHARD_R_0066_0010__MANBY,R_0066_0012__THIS,R_0066_0019__BASIC,R_0066_0024__THE_R_0066_0025__WINDOW_R_0066_0026__MANAGER,Z_0066_5017,R_0066_0027__AND,R_0066_0034__THE_R_0066_0035__BITMAP_R_0066_0036__FONTS,R_0066_0038__SO_FORTH,Z_0066_5022,R_0066_0037__AND,R_0066_0033__USING,R_0066_0021__A_R_0066_0022__DEMONSTRATION,R_0066_0011__WROTE,R_0066_0002___APOS_S,R_0066_0029__IT,R_0066_0030__COULD_R_0066_0031__DO,R_0066_0014__ARTHUR_R_0066_0015__DESKTOP,Z_0066_5002] :
      ( r_0066_0004__cautionary(R_0066_0004__CAUTIONARY)
      & r_0066_0007__this(R_0066_0007__THIS)
      & r_0066_0009__Richard_r_0066_0010__Manby(R_0066_0009__RICHARD_R_0066_0010__MANBY)
      & r_0066_0012__this(R_0066_0012__THIS)
      & r_0066_0014__Arthur_r_0066_0015__Desktop(R_0066_0014__ARTHUR_R_0066_0015__DESKTOP)
      & r_0066_0019__BASIC(R_0066_0019__BASIC)
      & r_0066_0024__the_r_0066_0025__Window_r_0066_0026__Manager(R_0066_0024__THE_R_0066_0025__WINDOW_R_0066_0026__MANAGER)
      & r_0066_0029__it(R_0066_0029__IT)
      & r_0066_0034__the_r_0066_0035__bitmap_r_0066_0036__fonts(R_0066_0034__THE_R_0066_0035__BITMAP_R_0066_0036__FONTS)
      & r_0066_0038__so_forth(R_0066_0038__SO_FORTH)
      & z_0066_5017(Z_0066_5017)
      & z_0066_5002(Z_0066_5002)
      & has_prd(Z_0066_5002,R_0066_0014__ARTHUR_R_0066_0015__DESKTOP)
      & has_arg0(Z_0066_5002,R_0066_0012__THIS)
      & r_0066_0030__could_r_0066_0031__do(R_0066_0030__COULD_R_0066_0031__DO)
      & has_arg1(R_0066_0030__COULD_R_0066_0031__DO,Z_0066_5017)
      & has_arg0(R_0066_0030__COULD_R_0066_0031__DO,R_0066_0029__IT)
      & r_0066_0002___apos_s(R_0066_0002___APOS_S)
      & has_prn(R_0066_0002___APOS_S,R_0066_0011__WROTE)
      & r_0066_0011__wrote(R_0066_0011__WROTE)
      & has_prn(R_0066_0011__WROTE,R_0066_0045__N_APOS_T)
      & ~ ? [R_0066_0040__THE_R_0066_0041__OUTLINE_R_0066_0042__FONT_R_0066_0043__MANAGER,R_0066_0046__READY,R_0066_0048__THIS_R_0066_0049__POINT,R_0066_0044__WAS] :
            ( r_0066_0040__the_r_0066_0041__outline_r_0066_0042__font_r_0066_0043__manager(R_0066_0040__THE_R_0066_0041__OUTLINE_R_0066_0042__FONT_R_0066_0043__MANAGER)
            & r_0066_0046__ready(R_0066_0046__READY)
            & r_0066_0048__this_r_0066_0049__point(R_0066_0048__THIS_R_0066_0049__POINT)
            & r_0066_0044__was(R_0066_0044__WAS)
            & has_r_0066_0047__at__nim(R_0066_0044__WAS,R_0066_0048__THIS_R_0066_0049__POINT)
            & has_prd(R_0066_0044__WAS,R_0066_0046__READY)
            & has_arg0(R_0066_0044__WAS,R_0066_0040__THE_R_0066_0041__OUTLINE_R_0066_0042__FONT_R_0066_0043__MANAGER) )
      & has_r_0066_0020__as__prd(R_0066_0011__WROTE,R_0066_0021__A_R_0066_0022__DEMONSTRATION)
      & r_0066_0021__a_r_0066_0022__demonstration(R_0066_0021__A_R_0066_0022__DEMONSTRATION)
      & has_inv_arg0(R_0066_0021__A_R_0066_0022__DEMONSTRATION,R_0066_0033__USING)
      & r_0066_0033__using(R_0066_0033__USING)
      & has_arg1(R_0066_0033__USING,R_0066_0037__AND)
      & r_0066_0037__and(R_0066_0037__AND)
      & has_conj2(R_0066_0037__AND,Z_0066_5022)
      & z_0066_5022(Z_0066_5022)
      & has_qual(Z_0066_5022,R_0066_0038__SO_FORTH)
      & has_conj1(R_0066_0037__AND,R_0066_0034__THE_R_0066_0035__BITMAP_R_0066_0036__FONTS)
      & has_r_0066_0023__of(R_0066_0021__A_R_0066_0022__DEMONSTRATION,R_0066_0027__AND)
      & r_0066_0027__and(R_0066_0027__AND)
      & has_conj2(R_0066_0027__AND,Z_0066_5017)
      & has_conj1(R_0066_0027__AND,R_0066_0024__THE_R_0066_0025__WINDOW_R_0066_0026__MANAGER)
      & has_r_0066_0018__in__nim(R_0066_0011__WROTE,R_0066_0019__BASIC)
      & has_arg1(R_0066_0011__WROTE,R_0066_0012__THIS)
      & has_arg0(R_0066_0011__WROTE,R_0066_0009__RICHARD_R_0066_0010__MANBY)
      & has_arg0(R_0066_0002___APOS_S,R_0066_0003__A_R_0066_0005__TALE)
      & r_0066_0003__a_r_0066_0005__tale(R_0066_0003__A_R_0066_0005__TALE)
      & has_r_0066_0006__behind(R_0066_0003__A_R_0066_0005__TALE,R_0066_0007__THIS)
      & has_attrib(R_0066_0003__A_R_0066_0005__TALE,R_0066_0004__CAUTIONARY) ) ).