Context                Previous, Next                Top


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

%3 r_0067_0001__There_r_0067_0002___apos_s There 's r_0067_0003__a_r_0067_0005__tale a tale r_0067_0001__There_r_0067_0002___apos_s->r_0067_0003__a_r_0067_0005__tale [arg0] r_0067_0004__cautionary cautionary r_0067_0003__a_r_0067_0005__tale->r_0067_0004__cautionary [attrib] r_0067_0007__this this r_0067_0003__a_r_0067_0005__tale->r_0067_0007__this behind 
arc(r_0067_0001__There_r_0067_0002___apos_s, r_0067_0003__a_r_0067_0005__tale, arg0).
arc(r_0067_0003__a_r_0067_0005__tale, r_0067_0004__cautionary, attrib9).
arc(r_0067_0003__a_r_0067_0005__tale, r_0067_0007__this, r_0067_0006__behind).


%3 r_0067_0001__There_r_0067_0002___apos_s There 's r_0067_0003__a_r_0067_0005__tale a tale r_0067_0001__There_r_0067_0002___apos_s->r_0067_0003__a_r_0067_0005__tale [arg0] r_0067_0004__cautionary cautionary r_0067_0003__a_r_0067_0005__tale->r_0067_0004__cautionary [attrib] r_0067_0007__this this r_0067_0003__a_r_0067_0005__tale->r_0067_0007__this behind 
fof(formula,axiom,
    ? [R_67_1_THERE_APOS_S,R_67_3_A_TALE,R_67_4_CAUTIONARY,R_67_7_THIS] :
      ( cautionary(R_67_4_CAUTIONARY)
      & this(R_67_7_THIS)
      & there_apos_s(R_67_1_THERE_APOS_S,R_67_3_A_TALE)
      & a_tale(R_67_3_A_TALE)
      & attrib9(R_67_3_A_TALE,R_67_4_CAUTIONARY)
      & behind(R_67_3_A_TALE,R_67_7_THIS) ) ).


n67_a_paulfellows n67_a_paulfellows_3 There n67_a_paulfellows_5 's n67_a_paulfellows_8 a n67_a_paulfellows_11 cautionary n67_a_paulfellows_13 tale n67_a_paulfellows_16 behind n67_a_paulfellows_19 this n67_a_paulfellows_21 , n67_a_paulfellows_26 Richard n67_a_paulfellows_28 Manby n67_a_paulfellows_30 wrote n67_a_paulfellows_33 this n67_a_paulfellows_35 -LRB- n67_a_paulfellows_39 Arthur n67_a_paulfellows_41 Desktop n67_a_paulfellows_43 -RRB- n67_a_paulfellows_45 , n67_a_paulfellows_48 in n67_a_paulfellows_51 BASIC n67_a_paulfellows_54 as n67_a_paulfellows_57 a n67_a_paulfellows_59 demonstration n67_a_paulfellows_62 of n67_a_paulfellows_67 the n67_a_paulfellows_69 Window n67_a_paulfellows_71 Manager n67_a_paulfellows_74 and n67_a_paulfellows_79 what n67_a_paulfellows_82 it n67_a_paulfellows_84 could n67_a_paulfellows_87 *ICH*-188 n67_a_paulfellows_89 do n67_a_paulfellows_91 , n67_a_paulfellows_94 using n67_a_paulfellows_99 the n67_a_paulfellows_101 bitmap n67_a_paulfellows_103 fonts n67_a_paulfellows_106 and n67_a_paulfellows_110 so_forth n67_a_paulfellows_112 , n67_a_paulfellows_117 the n67_a_paulfellows_119 outline n67_a_paulfellows_121 font n67_a_paulfellows_123 manager n67_a_paulfellows_125 was n67_a_paulfellows_127 n't n67_a_paulfellows_130 ready n67_a_paulfellows_133 at n67_a_paulfellows_136 this n67_a_paulfellows_138 point n67_a_paulfellows_140 . n67_a_paulfellows_1 IP-MAT n67_a_paulfellows_2 EX n67_a_paulfellows_1->n67_a_paulfellows_2 n67_a_paulfellows_4 BEP;_ex_V_ n67_a_paulfellows_1->n67_a_paulfellows_4 n67_a_paulfellows_6 NP-ESBJ n67_a_paulfellows_1->n67_a_paulfellows_6 n67_a_paulfellows_20 PUNC n67_a_paulfellows_1->n67_a_paulfellows_20 n67_a_paulfellows_22 PRN n67_a_paulfellows_1->n67_a_paulfellows_22 n67_a_paulfellows_139 PUNC n67_a_paulfellows_1->n67_a_paulfellows_139 n67_a_paulfellows_2->n67_a_paulfellows_3 n67_a_paulfellows_4->n67_a_paulfellows_5 n67_a_paulfellows_7 D n67_a_paulfellows_6->n67_a_paulfellows_7 n67_a_paulfellows_9 ADJP n67_a_paulfellows_6->n67_a_paulfellows_9 n67_a_paulfellows_12 N n67_a_paulfellows_6->n67_a_paulfellows_12 n67_a_paulfellows_14 PP n67_a_paulfellows_6->n67_a_paulfellows_14 n67_a_paulfellows_7->n67_a_paulfellows_8 n67_a_paulfellows_10 ADJ n67_a_paulfellows_9->n67_a_paulfellows_10 n67_a_paulfellows_10->n67_a_paulfellows_11 n67_a_paulfellows_12->n67_a_paulfellows_13 n67_a_paulfellows_15 P-ROLE n67_a_paulfellows_14->n67_a_paulfellows_15 n67_a_paulfellows_17 NP n67_a_paulfellows_14->n67_a_paulfellows_17 n67_a_paulfellows_15->n67_a_paulfellows_16 n67_a_paulfellows_18 D;_nphd_ n67_a_paulfellows_17->n67_a_paulfellows_18 n67_a_paulfellows_18->n67_a_paulfellows_19 n67_a_paulfellows_20->n67_a_paulfellows_21 n67_a_paulfellows_23 IP-MAT n67_a_paulfellows_22->n67_a_paulfellows_23 n67_a_paulfellows_24 NP-SBJ n67_a_paulfellows_23->n67_a_paulfellows_24 n67_a_paulfellows_29 VBD;__ n67_a_paulfellows_23->n67_a_paulfellows_29 n67_a_paulfellows_31 NP-OB1 n67_a_paulfellows_23->n67_a_paulfellows_31 n67_a_paulfellows_44 PUNC n67_a_paulfellows_23->n67_a_paulfellows_44 n67_a_paulfellows_46 PP-NIM n67_a_paulfellows_23->n67_a_paulfellows_46 n67_a_paulfellows_52 PP-PRD n67_a_paulfellows_23->n67_a_paulfellows_52 n67_a_paulfellows_111 PUNC n67_a_paulfellows_23->n67_a_paulfellows_111 n67_a_paulfellows_113 PRN n67_a_paulfellows_23->n67_a_paulfellows_113 n67_a_paulfellows_25 NPR n67_a_paulfellows_24->n67_a_paulfellows_25 n67_a_paulfellows_27 NPR n67_a_paulfellows_24->n67_a_paulfellows_27 n67_a_paulfellows_25->n67_a_paulfellows_26 n67_a_paulfellows_27->n67_a_paulfellows_28 n67_a_paulfellows_29->n67_a_paulfellows_30 n67_a_paulfellows_32 D;_nphd_ n67_a_paulfellows_31->n67_a_paulfellows_32 n67_a_paulfellows_34 PULB n67_a_paulfellows_31->n67_a_paulfellows_34 n67_a_paulfellows_36 IP-PPL n67_a_paulfellows_31->n67_a_paulfellows_36 n67_a_paulfellows_42 PURB n67_a_paulfellows_31->n67_a_paulfellows_42 n67_a_paulfellows_32->n67_a_paulfellows_33 n67_a_paulfellows_34->n67_a_paulfellows_35 n67_a_paulfellows_37 NP-PRD n67_a_paulfellows_36->n67_a_paulfellows_37 n67_a_paulfellows_38 NPR n67_a_paulfellows_37->n67_a_paulfellows_38 n67_a_paulfellows_40 NPR n67_a_paulfellows_37->n67_a_paulfellows_40 n67_a_paulfellows_38->n67_a_paulfellows_39 n67_a_paulfellows_40->n67_a_paulfellows_41 n67_a_paulfellows_42->n67_a_paulfellows_43 n67_a_paulfellows_44->n67_a_paulfellows_45 n67_a_paulfellows_47 P-ROLE n67_a_paulfellows_46->n67_a_paulfellows_47 n67_a_paulfellows_49 NP n67_a_paulfellows_46->n67_a_paulfellows_49 n67_a_paulfellows_47->n67_a_paulfellows_48 n67_a_paulfellows_50 N n67_a_paulfellows_49->n67_a_paulfellows_50 n67_a_paulfellows_50->n67_a_paulfellows_51 n67_a_paulfellows_53 P-ROLE n67_a_paulfellows_52->n67_a_paulfellows_53 n67_a_paulfellows_55 NP n67_a_paulfellows_52->n67_a_paulfellows_55 n67_a_paulfellows_53->n67_a_paulfellows_54 n67_a_paulfellows_56 D n67_a_paulfellows_55->n67_a_paulfellows_56 n67_a_paulfellows_58 N n67_a_paulfellows_55->n67_a_paulfellows_58 n67_a_paulfellows_60 PP n67_a_paulfellows_55->n67_a_paulfellows_60 n67_a_paulfellows_90 PUNC n67_a_paulfellows_55->n67_a_paulfellows_90 n67_a_paulfellows_92 IP-PPL n67_a_paulfellows_55->n67_a_paulfellows_92 n67_a_paulfellows_56->n67_a_paulfellows_57 n67_a_paulfellows_58->n67_a_paulfellows_59 n67_a_paulfellows_61 P-ROLE n67_a_paulfellows_60->n67_a_paulfellows_61 n67_a_paulfellows_63 NP n67_a_paulfellows_60->n67_a_paulfellows_63 n67_a_paulfellows_61->n67_a_paulfellows_62 n67_a_paulfellows_64 NLYR n67_a_paulfellows_63->n67_a_paulfellows_64 n67_a_paulfellows_65 NLYR n67_a_paulfellows_64->n67_a_paulfellows_65 n67_a_paulfellows_72 CONJP n67_a_paulfellows_64->n67_a_paulfellows_72 n67_a_paulfellows_66 D n67_a_paulfellows_65->n67_a_paulfellows_66 n67_a_paulfellows_68 N n67_a_paulfellows_65->n67_a_paulfellows_68 n67_a_paulfellows_70 N n67_a_paulfellows_65->n67_a_paulfellows_70 n67_a_paulfellows_66->n67_a_paulfellows_67 n67_a_paulfellows_68->n67_a_paulfellows_69 n67_a_paulfellows_70->n67_a_paulfellows_71 n67_a_paulfellows_73 CONJ n67_a_paulfellows_72->n67_a_paulfellows_73 n67_a_paulfellows_75 NLYR n67_a_paulfellows_72->n67_a_paulfellows_75 n67_a_paulfellows_73->n67_a_paulfellows_74 n67_a_paulfellows_76 IP-REL n67_a_paulfellows_75->n67_a_paulfellows_76 n67_a_paulfellows_77 NP-188 n67_a_paulfellows_76->n67_a_paulfellows_77 n67_a_paulfellows_80 NP-SBJ n67_a_paulfellows_76->n67_a_paulfellows_80 n67_a_paulfellows_83 MD;_cat_Vi_ n67_a_paulfellows_76->n67_a_paulfellows_83 n67_a_paulfellows_85 IP-INF-CAT n67_a_paulfellows_76->n67_a_paulfellows_85 n67_a_paulfellows_78 RPRO n67_a_paulfellows_77->n67_a_paulfellows_78 n67_a_paulfellows_78->n67_a_paulfellows_79 n67_a_paulfellows_81 PRO n67_a_paulfellows_80->n67_a_paulfellows_81 n67_a_paulfellows_81->n67_a_paulfellows_82 n67_a_paulfellows_83->n67_a_paulfellows_84 n67_a_paulfellows_86 NP-OB1 n67_a_paulfellows_85->n67_a_paulfellows_86 n67_a_paulfellows_88 DO;_Tn_ n67_a_paulfellows_85->n67_a_paulfellows_88 n67_a_paulfellows_86->n67_a_paulfellows_87 n67_a_paulfellows_88->n67_a_paulfellows_89 n67_a_paulfellows_90->n67_a_paulfellows_91 n67_a_paulfellows_93 VAG;__ n67_a_paulfellows_92->n67_a_paulfellows_93 n67_a_paulfellows_95 NP-OB1 n67_a_paulfellows_92->n67_a_paulfellows_95 n67_a_paulfellows_93->n67_a_paulfellows_94 n67_a_paulfellows_96 NLYR n67_a_paulfellows_95->n67_a_paulfellows_96 n67_a_paulfellows_97 NLYR n67_a_paulfellows_96->n67_a_paulfellows_97 n67_a_paulfellows_104 CONJP n67_a_paulfellows_96->n67_a_paulfellows_104 n67_a_paulfellows_98 D n67_a_paulfellows_97->n67_a_paulfellows_98 n67_a_paulfellows_100 N n67_a_paulfellows_97->n67_a_paulfellows_100 n67_a_paulfellows_102 NS n67_a_paulfellows_97->n67_a_paulfellows_102 n67_a_paulfellows_98->n67_a_paulfellows_99 n67_a_paulfellows_100->n67_a_paulfellows_101 n67_a_paulfellows_102->n67_a_paulfellows_103 n67_a_paulfellows_105 CONJ n67_a_paulfellows_104->n67_a_paulfellows_105 n67_a_paulfellows_107 NLYR n67_a_paulfellows_104->n67_a_paulfellows_107 n67_a_paulfellows_105->n67_a_paulfellows_106 n67_a_paulfellows_108 ADVP n67_a_paulfellows_107->n67_a_paulfellows_108 n67_a_paulfellows_109 ADV n67_a_paulfellows_108->n67_a_paulfellows_109 n67_a_paulfellows_109->n67_a_paulfellows_110 n67_a_paulfellows_111->n67_a_paulfellows_112 n67_a_paulfellows_114 IP-MAT n67_a_paulfellows_113->n67_a_paulfellows_114 n67_a_paulfellows_115 NP-SBJ n67_a_paulfellows_114->n67_a_paulfellows_115 n67_a_paulfellows_124 BED;_La_ n67_a_paulfellows_114->n67_a_paulfellows_124 n67_a_paulfellows_126 NEG;_clitic_ n67_a_paulfellows_114->n67_a_paulfellows_126 n67_a_paulfellows_128 ADJP-PRD n67_a_paulfellows_114->n67_a_paulfellows_128 n67_a_paulfellows_131 PP-NIM n67_a_paulfellows_114->n67_a_paulfellows_131 n67_a_paulfellows_116 D n67_a_paulfellows_115->n67_a_paulfellows_116 n67_a_paulfellows_118 N n67_a_paulfellows_115->n67_a_paulfellows_118 n67_a_paulfellows_120 N n67_a_paulfellows_115->n67_a_paulfellows_120 n67_a_paulfellows_122 N n67_a_paulfellows_115->n67_a_paulfellows_122 n67_a_paulfellows_116->n67_a_paulfellows_117 n67_a_paulfellows_118->n67_a_paulfellows_119 n67_a_paulfellows_120->n67_a_paulfellows_121 n67_a_paulfellows_122->n67_a_paulfellows_123 n67_a_paulfellows_124->n67_a_paulfellows_125 n67_a_paulfellows_126->n67_a_paulfellows_127 n67_a_paulfellows_129 ADJ n67_a_paulfellows_128->n67_a_paulfellows_129 n67_a_paulfellows_129->n67_a_paulfellows_130 n67_a_paulfellows_132 P-ROLE n67_a_paulfellows_131->n67_a_paulfellows_132 n67_a_paulfellows_134 NP n67_a_paulfellows_131->n67_a_paulfellows_134 n67_a_paulfellows_132->n67_a_paulfellows_133 n67_a_paulfellows_135 D n67_a_paulfellows_134->n67_a_paulfellows_135 n67_a_paulfellows_137 N n67_a_paulfellows_134->n67_a_paulfellows_137 n67_a_paulfellows_135->n67_a_paulfellows_136 n67_a_paulfellows_137->n67_a_paulfellows_138 n67_a_paulfellows_139->n67_a_paulfellows_140 
( (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-)
                                         (IP-PPL (NP-PRD (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 67_a_paulfellows))