Context                Previous, Next                Top


64_a_paulfellows
He got interested in writing a font manager to run on Arthur, so he wrote two, a bitmap one which was all well and good but a bit clunky and horrible.

%3 r_0064_0002__got got r_0064_0001__He He r_0064_0002__got->r_0064_0001__He [arg0] r_0064_0003__interested interested r_0064_0002__got->r_0064_0003__interested [prd] z_000_64_a_paulfellows_23 r_0064_0003__interested->z_000_64_a_paulfellows_23 in r_0064_0005__writing writing z_000_64_a_paulfellows_23->r_0064_0005__writing [scope] r_0064_0009__to_r_0064_0010__run to run z_000_64_a_paulfellows_23->r_0064_0009__to_r_0064_0010__run [restriction] r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager a font manager r_0064_0005__writing->r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager [arg1] z_000_64_a_paulfellows_13 r_0064_0005__writing->z_000_64_a_paulfellows_13 [arg0] r_0064_0009__to_r_0064_0010__run->r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager [arg0] r_0064_0012__Arthur Arthur r_0064_0009__to_r_0064_0010__run->r_0064_0012__Arthur on [nim] 
arc(r_0064_0002__got, r_0064_0001__He, arg0).
arc(r_0064_0002__got, r_0064_0003__interested, prd).
arc(r_0064_0003__interested, z_000_64_a_paulfellows_23, r_0064_0004__in).
arc(r_0064_0005__writing, r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager, arg1).
arc(r_0064_0005__writing, z_000_64_a_paulfellows_13, arg0).
arc(r_0064_0009__to_r_0064_0010__run, r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager, arg0).
arc(r_0064_0009__to_r_0064_0010__run, r_0064_0012__Arthur, r_0064_0011__on_nim32).
arc(z_000_64_a_paulfellows_23, r_0064_0005__writing, scope).
arc(z_000_64_a_paulfellows_23, r_0064_0009__to_r_0064_0010__run, restriction).


%3 r_0064_0002__got got r_0064_0001__He He r_0064_0002__got->r_0064_0001__He [arg0] r_0064_0003__interested interested r_0064_0002__got->r_0064_0003__interested [prd] z_000_64_a_paulfellows_23 r_0064_0003__interested->z_000_64_a_paulfellows_23 in r_0064_0005__writing writing z_000_64_a_paulfellows_23->r_0064_0005__writing [conj2] r_0064_0009__to_r_0064_0010__run to run z_000_64_a_paulfellows_23->r_0064_0009__to_r_0064_0010__run [conj1] r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager a font manager r_0064_0005__writing->r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager [arg1] z_000_64_a_paulfellows_13 r_0064_0005__writing->z_000_64_a_paulfellows_13 [arg0] r_0064_0009__to_r_0064_0010__run->r_0064_0006__a_r_0064_0007__font_r_0064_0008__manager [arg0] r_0064_0012__Arthur Arthur r_0064_0009__to_r_0064_0010__run->r_0064_0012__Arthur on [nim] 
fof(formula,axiom,
    ? [R_64_2_GOT,R_64_1_HE,R_64_3_INTERESTED,Z_64_A_PAULFELLOWS_23,R_64_9_TO_RUN,R_64_12_ARTHUR,R_64_5_WRITING,Z_64_A_PAULFELLOWS_13,R_64_6_A_FONT_MANAGER] :
      ( he(R_64_1_HE)
      & arthur(R_64_12_ARTHUR)
      & a_font_manager(R_64_6_A_FONT_MANAGER)
      & got(R_64_2_GOT,R_64_1_HE,R_64_3_INTERESTED)
      & interested(R_64_3_INTERESTED)
      & in(R_64_3_INTERESTED,Z_64_A_PAULFELLOWS_23)
      & z_64_a_paulfellows_23(Z_64_A_PAULFELLOWS_23)
      & conj1(Z_64_A_PAULFELLOWS_23,R_64_9_TO_RUN)
      & to_run(R_64_9_TO_RUN,R_64_6_A_FONT_MANAGER)
      & on_nim32(R_64_9_TO_RUN,R_64_12_ARTHUR)
      & conj2(Z_64_A_PAULFELLOWS_23,R_64_5_WRITING)
      & writing(R_64_5_WRITING,Z_64_A_PAULFELLOWS_13,R_64_6_A_FONT_MANAGER) ) ).


n64_a_paulfellows n64_a_paulfellows_4 He n64_a_paulfellows_6 got n64_a_paulfellows_9 interested n64_a_paulfellows_12 in n64_a_paulfellows_15 writing n64_a_paulfellows_18 a n64_a_paulfellows_20 font n64_a_paulfellows_22 manager n64_a_paulfellows_26 to n64_a_paulfellows_28 run n64_a_paulfellows_31 on n64_a_paulfellows_34 Arthur n64_a_paulfellows_36 , n64_a_paulfellows_41 so n64_a_paulfellows_44 he n64_a_paulfellows_46 wrote n64_a_paulfellows_49 two n64_a_paulfellows_51 , n64_a_paulfellows_55 a n64_a_paulfellows_57 bitmap n64_a_paulfellows_59 one n64_a_paulfellows_63 which n64_a_paulfellows_65 was n64_a_paulfellows_71 all n64_a_paulfellows_75 well n64_a_paulfellows_78 and n64_a_paulfellows_81 good n64_a_paulfellows_84 but n64_a_paulfellows_88 a_bit n64_a_paulfellows_92 clunky n64_a_paulfellows_95 and n64_a_paulfellows_98 horrible n64_a_paulfellows_100 . n64_a_paulfellows_1 IP-MAT n64_a_paulfellows_2 NP-SBJ n64_a_paulfellows_1->n64_a_paulfellows_2 n64_a_paulfellows_5 VBD;_La_ n64_a_paulfellows_1->n64_a_paulfellows_5 n64_a_paulfellows_7 ADJP-PRD n64_a_paulfellows_1->n64_a_paulfellows_7 n64_a_paulfellows_35 PUNC n64_a_paulfellows_1->n64_a_paulfellows_35 n64_a_paulfellows_37 PRN n64_a_paulfellows_1->n64_a_paulfellows_37 n64_a_paulfellows_99 PUNC n64_a_paulfellows_1->n64_a_paulfellows_99 n64_a_paulfellows_3 PRO n64_a_paulfellows_2->n64_a_paulfellows_3 n64_a_paulfellows_3->n64_a_paulfellows_4 n64_a_paulfellows_5->n64_a_paulfellows_6 n64_a_paulfellows_8 ADJ n64_a_paulfellows_7->n64_a_paulfellows_8 n64_a_paulfellows_10 PP n64_a_paulfellows_7->n64_a_paulfellows_10 n64_a_paulfellows_8->n64_a_paulfellows_9 n64_a_paulfellows_11 P-ROLE n64_a_paulfellows_10->n64_a_paulfellows_11 n64_a_paulfellows_13 IP-PPL n64_a_paulfellows_10->n64_a_paulfellows_13 n64_a_paulfellows_11->n64_a_paulfellows_12 n64_a_paulfellows_14 VAG;_Tn_ n64_a_paulfellows_13->n64_a_paulfellows_14 n64_a_paulfellows_16 NP-OB1 n64_a_paulfellows_13->n64_a_paulfellows_16 n64_a_paulfellows_23 PP-SCON n64_a_paulfellows_13->n64_a_paulfellows_23 n64_a_paulfellows_14->n64_a_paulfellows_15 n64_a_paulfellows_17 D n64_a_paulfellows_16->n64_a_paulfellows_17 n64_a_paulfellows_19 N n64_a_paulfellows_16->n64_a_paulfellows_19 n64_a_paulfellows_21 N n64_a_paulfellows_16->n64_a_paulfellows_21 n64_a_paulfellows_17->n64_a_paulfellows_18 n64_a_paulfellows_19->n64_a_paulfellows_20 n64_a_paulfellows_21->n64_a_paulfellows_22 n64_a_paulfellows_24 IP-INF n64_a_paulfellows_23->n64_a_paulfellows_24 n64_a_paulfellows_25 TO n64_a_paulfellows_24->n64_a_paulfellows_25 n64_a_paulfellows_27 VB;_I_ n64_a_paulfellows_24->n64_a_paulfellows_27 n64_a_paulfellows_29 PP-NIM n64_a_paulfellows_24->n64_a_paulfellows_29 n64_a_paulfellows_25->n64_a_paulfellows_26 n64_a_paulfellows_27->n64_a_paulfellows_28 n64_a_paulfellows_30 P-ROLE n64_a_paulfellows_29->n64_a_paulfellows_30 n64_a_paulfellows_32 NP n64_a_paulfellows_29->n64_a_paulfellows_32 n64_a_paulfellows_30->n64_a_paulfellows_31 n64_a_paulfellows_33 NPR n64_a_paulfellows_32->n64_a_paulfellows_33 n64_a_paulfellows_33->n64_a_paulfellows_34 n64_a_paulfellows_35->n64_a_paulfellows_36 n64_a_paulfellows_38 IP-MAT n64_a_paulfellows_37->n64_a_paulfellows_38 n64_a_paulfellows_39 ADVP-NIM n64_a_paulfellows_38->n64_a_paulfellows_39 n64_a_paulfellows_42 NP-SBJ n64_a_paulfellows_38->n64_a_paulfellows_42 n64_a_paulfellows_45 VBD;_Tn_ n64_a_paulfellows_38->n64_a_paulfellows_45 n64_a_paulfellows_47 NP-OB1 n64_a_paulfellows_38->n64_a_paulfellows_47 n64_a_paulfellows_40 ADV n64_a_paulfellows_39->n64_a_paulfellows_40 n64_a_paulfellows_40->n64_a_paulfellows_41 n64_a_paulfellows_43 PRO n64_a_paulfellows_42->n64_a_paulfellows_43 n64_a_paulfellows_43->n64_a_paulfellows_44 n64_a_paulfellows_45->n64_a_paulfellows_46 n64_a_paulfellows_48 NUM n64_a_paulfellows_47->n64_a_paulfellows_48 n64_a_paulfellows_50 PUNC n64_a_paulfellows_47->n64_a_paulfellows_50 n64_a_paulfellows_52 IP-PPL n64_a_paulfellows_47->n64_a_paulfellows_52 n64_a_paulfellows_48->n64_a_paulfellows_49 n64_a_paulfellows_50->n64_a_paulfellows_51 n64_a_paulfellows_53 NP-PRD n64_a_paulfellows_52->n64_a_paulfellows_53 n64_a_paulfellows_54 D n64_a_paulfellows_53->n64_a_paulfellows_54 n64_a_paulfellows_56 N n64_a_paulfellows_53->n64_a_paulfellows_56 n64_a_paulfellows_58 N n64_a_paulfellows_53->n64_a_paulfellows_58 n64_a_paulfellows_60 IP-REL n64_a_paulfellows_53->n64_a_paulfellows_60 n64_a_paulfellows_54->n64_a_paulfellows_55 n64_a_paulfellows_56->n64_a_paulfellows_57 n64_a_paulfellows_58->n64_a_paulfellows_59 n64_a_paulfellows_61 NP-SBJ n64_a_paulfellows_60->n64_a_paulfellows_61 n64_a_paulfellows_64 BED;_La_ n64_a_paulfellows_60->n64_a_paulfellows_64 n64_a_paulfellows_66 ADJP-PRD n64_a_paulfellows_60->n64_a_paulfellows_66 n64_a_paulfellows_62 RPRO n64_a_paulfellows_61->n64_a_paulfellows_62 n64_a_paulfellows_62->n64_a_paulfellows_63 n64_a_paulfellows_64->n64_a_paulfellows_65 n64_a_paulfellows_67 AJLYR n64_a_paulfellows_66->n64_a_paulfellows_67 n64_a_paulfellows_68 AJLYR n64_a_paulfellows_67->n64_a_paulfellows_68 n64_a_paulfellows_82 CONJP n64_a_paulfellows_67->n64_a_paulfellows_82 n64_a_paulfellows_69 NP n64_a_paulfellows_68->n64_a_paulfellows_69 n64_a_paulfellows_72 AJLYR n64_a_paulfellows_68->n64_a_paulfellows_72 n64_a_paulfellows_70 Q;_nphd_ n64_a_paulfellows_69->n64_a_paulfellows_70 n64_a_paulfellows_70->n64_a_paulfellows_71 n64_a_paulfellows_73 AJLYR n64_a_paulfellows_72->n64_a_paulfellows_73 n64_a_paulfellows_76 CONJP n64_a_paulfellows_72->n64_a_paulfellows_76 n64_a_paulfellows_74 ADJ n64_a_paulfellows_73->n64_a_paulfellows_74 n64_a_paulfellows_74->n64_a_paulfellows_75 n64_a_paulfellows_77 CONJ n64_a_paulfellows_76->n64_a_paulfellows_77 n64_a_paulfellows_79 AJLYR n64_a_paulfellows_76->n64_a_paulfellows_79 n64_a_paulfellows_77->n64_a_paulfellows_78 n64_a_paulfellows_80 ADJ n64_a_paulfellows_79->n64_a_paulfellows_80 n64_a_paulfellows_80->n64_a_paulfellows_81 n64_a_paulfellows_83 CONJ n64_a_paulfellows_82->n64_a_paulfellows_83 n64_a_paulfellows_85 AJLYR n64_a_paulfellows_82->n64_a_paulfellows_85 n64_a_paulfellows_83->n64_a_paulfellows_84 n64_a_paulfellows_86 NP n64_a_paulfellows_85->n64_a_paulfellows_86 n64_a_paulfellows_89 AJLYR n64_a_paulfellows_85->n64_a_paulfellows_89 n64_a_paulfellows_87 D;_nphd_ n64_a_paulfellows_86->n64_a_paulfellows_87 n64_a_paulfellows_87->n64_a_paulfellows_88 n64_a_paulfellows_90 AJLYR n64_a_paulfellows_89->n64_a_paulfellows_90 n64_a_paulfellows_93 CONJP n64_a_paulfellows_89->n64_a_paulfellows_93 n64_a_paulfellows_91 ADJ n64_a_paulfellows_90->n64_a_paulfellows_91 n64_a_paulfellows_91->n64_a_paulfellows_92 n64_a_paulfellows_94 CONJ n64_a_paulfellows_93->n64_a_paulfellows_94 n64_a_paulfellows_96 AJLYR n64_a_paulfellows_93->n64_a_paulfellows_96 n64_a_paulfellows_94->n64_a_paulfellows_95 n64_a_paulfellows_97 ADJ n64_a_paulfellows_96->n64_a_paulfellows_97 n64_a_paulfellows_97->n64_a_paulfellows_98 n64_a_paulfellows_99->n64_a_paulfellows_100 
( (IP-MAT (NP-SBJ;{NEIL} (PRO He;{he}))
          (VBD;_La_ got;{get})
          (ADJP-PRD (ADJ interested;{interested})
                    (PP (P-ROLE in;{in})
                        (IP-PPL (VAG;_Tn_ writing;{write})
                                (NP-OB1 (D a;{a})
                                        (N font;{font})
                                        (N manager;{manager}))
                                (PP-SCON (IP-INF (TO to;{to})
                                                 (VB;_I_ run;{run})
                                                 (PP-NIM (P-ROLE on;{on})
                                                         (NP (NPR Arthur;{Arthur}))))))))
          (PUNC ,)
          (PRN (IP-MAT (ADVP-NIM (ADV so;{so}))
                       (NP-SBJ;{NEIL} (PRO he;{he}))
                       (VBD;_Tn_ wrote;{write})
                       (NP-OB1 (NUM two;{two})
                               (PUNC ,)
                               (IP-PPL (NP-PRD (D a;{a})
                                               (N bitmap;{bitmap})
                                               (N one;{one})
                                               (IP-REL (NP-SBJ (RPRO which;{which}))
                                                       (BED;_La_ was;{be})
                                                       (ADJP-PRD (AJLYR (AJLYR (NP (Q;_nphd_ all;{all}))
                                                                               (AJLYR (AJLYR (ADJ well;{well}))
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (AJLYR (ADJ good;{good})))))
                                                                        (CONJP (CONJ but;{but})
                                                                               (AJLYR (NP (D;_nphd_ a_bit;{a_bit}))
                                                                                      (AJLYR (AJLYR (ADJ clunky;{clunky}))
                                                                                             (CONJP (CONJ and;{and})
                                                                                                    (AJLYR (ADJ horrible;{horrible}))))))))))))))
          (PUNC .))
  (ID 64_a_paulfellows))