Context                Previous, Next                Top


29_a_paulfellows
You could attach a keyboard to it, graphics output from it to a monitor, so gradually the functionality of Arthur came to life and you could migrate more and more of the IO features over onto the board from the BBC Micro.

%3 r_0029_0002__could could z_000_29_a_paulfellows_8 r_0029_0002__could->z_000_29_a_paulfellows_8 [scope] r_0029_0003__attach attach z_000_29_a_paulfellows_8->r_0029_0003__attach [conj1] z_000_29_a_paulfellows_26 z_000_29_a_paulfellows_8->z_000_29_a_paulfellows_26 [conj2] r_0029_0001__You You r_0029_0003__attach->r_0029_0001__You [arg0] r_0029_0004__a_r_0029_0005__keyboard a keyboard r_0029_0003__attach->r_0029_0004__a_r_0029_0005__keyboard [arg1] r_0029_0007__it it r_0029_0003__attach->r_0029_0007__it to [clr] z_000_29_a_paulfellows_26->r_0029_0001__You [arg0] r_0029_0009__graphics_r_0029_0010__output graphics output z_000_29_a_paulfellows_26->r_0029_0009__graphics_r_0029_0010__output [arg1] r_0029_0012__it it z_000_29_a_paulfellows_26->r_0029_0012__it from [nim] r_0029_0014__a_r_0029_0015__monitor a monitor z_000_29_a_paulfellows_26->r_0029_0014__a_r_0029_0015__monitor to [nim] 
arc(r_0029_0002__could, z_000_29_a_paulfellows_8, scope).
arc(r_0029_0003__attach, r_0029_0001__You, arg0).
arc(r_0029_0003__attach, r_0029_0004__a_r_0029_0005__keyboard, arg1).
arc(r_0029_0003__attach, r_0029_0007__it, r_0029_0006__to_clr20).
arc(z_000_29_a_paulfellows_26, r_0029_0001__You, arg0).
arc(z_000_29_a_paulfellows_26, r_0029_0009__graphics_r_0029_0010__output, arg1).
arc(z_000_29_a_paulfellows_26, r_0029_0012__it, r_0029_0011__from_nim35).
arc(z_000_29_a_paulfellows_26, r_0029_0014__a_r_0029_0015__monitor, r_0029_0013__to_nim41).
arc(z_000_29_a_paulfellows_8, r_0029_0003__attach, conj1).
arc(z_000_29_a_paulfellows_8, z_000_29_a_paulfellows_26, conj2).


%3 r_0029_0002__could could z_000_29_a_paulfellows_8 r_0029_0002__could->z_000_29_a_paulfellows_8 [keep_scope] r_0029_0003__attach attach z_000_29_a_paulfellows_8->r_0029_0003__attach [conj1] z_000_29_a_paulfellows_26 z_000_29_a_paulfellows_8->z_000_29_a_paulfellows_26 [conj2] r_0029_0001__You You r_0029_0003__attach->r_0029_0001__You [arg0] r_0029_0004__a_r_0029_0005__keyboard a keyboard r_0029_0003__attach->r_0029_0004__a_r_0029_0005__keyboard [arg1] r_0029_0007__it it r_0029_0003__attach->r_0029_0007__it to [clr] z_000_29_a_paulfellows_26->r_0029_0001__You [arg0] r_0029_0009__graphics_r_0029_0010__output graphics output z_000_29_a_paulfellows_26->r_0029_0009__graphics_r_0029_0010__output [arg1] r_0029_0012__it it z_000_29_a_paulfellows_26->r_0029_0012__it from [nim] r_0029_0014__a_r_0029_0015__monitor a monitor z_000_29_a_paulfellows_26->r_0029_0014__a_r_0029_0015__monitor to [nim] 
fof(formula,axiom,
    ~ ? [Z_29_A_PAULFELLOWS_8,R_29_3_ATTACH,R_29_4_A_KEYBOARD,R_29_7_IT,Z_29_A_PAULFELLOWS_26,R_29_1_YOU,R_29_9_GRAPHICS_OUTPUT,R_29_12_IT,R_29_14_A_MONITOR] :
        ( a_keyboard(R_29_4_A_KEYBOARD)
        & it(R_29_7_IT)
        & you(R_29_1_YOU)
        & graphics_output(R_29_9_GRAPHICS_OUTPUT)
        & it(R_29_12_IT)
        & a_monitor(R_29_14_A_MONITOR)
        & z_29_a_paulfellows_8(Z_29_A_PAULFELLOWS_8)
        & conj1(Z_29_A_PAULFELLOWS_8,R_29_3_ATTACH)
        & attach(R_29_3_ATTACH,R_29_1_YOU,R_29_4_A_KEYBOARD)
        & to_clr20(R_29_3_ATTACH,R_29_7_IT)
        & conj2(Z_29_A_PAULFELLOWS_8,Z_29_A_PAULFELLOWS_26)
        & z_29_a_paulfellows_26(Z_29_A_PAULFELLOWS_26,R_29_1_YOU,R_29_9_GRAPHICS_OUTPUT)
        & from_nim35(Z_29_A_PAULFELLOWS_26,R_29_12_IT)
        & to_nim41(Z_29_A_PAULFELLOWS_26,R_29_14_A_MONITOR) ) ).


n29_a_paulfellows n29_a_paulfellows_4 You n29_a_paulfellows_6 could n29_a_paulfellows_11 attach n29_a_paulfellows_14 a n29_a_paulfellows_16 keyboard n29_a_paulfellows_19 to n29_a_paulfellows_22 it n29_a_paulfellows_24 , n29_a_paulfellows_29 graphics n29_a_paulfellows_31 output n29_a_paulfellows_34 from n29_a_paulfellows_37 it n29_a_paulfellows_40 to n29_a_paulfellows_43 a n29_a_paulfellows_45 monitor n29_a_paulfellows_47 , n29_a_paulfellows_54 so n29_a_paulfellows_57 gradually n29_a_paulfellows_60 the n29_a_paulfellows_62 functionality n29_a_paulfellows_65 of n29_a_paulfellows_68 Arthur n29_a_paulfellows_70 came n29_a_paulfellows_73 to n29_a_paulfellows_76 life n29_a_paulfellows_79 and n29_a_paulfellows_83 you n29_a_paulfellows_85 could n29_a_paulfellows_88 migrate n29_a_paulfellows_94 more n29_a_paulfellows_97 and n29_a_paulfellows_100 more n29_a_paulfellows_103 of n29_a_paulfellows_106 the n29_a_paulfellows_108 IO n29_a_paulfellows_110 features n29_a_paulfellows_113 over n29_a_paulfellows_116 onto n29_a_paulfellows_119 the n29_a_paulfellows_121 board n29_a_paulfellows_124 from n29_a_paulfellows_127 the n29_a_paulfellows_129 BBC n29_a_paulfellows_131 Micro n29_a_paulfellows_133 . n29_a_paulfellows_1 IP-MAT n29_a_paulfellows_2 NP-SBJ n29_a_paulfellows_1->n29_a_paulfellows_2 n29_a_paulfellows_5 MD;_cat_Vi_ n29_a_paulfellows_1->n29_a_paulfellows_5 n29_a_paulfellows_7 IP-INF-CAT n29_a_paulfellows_1->n29_a_paulfellows_7 n29_a_paulfellows_46 PUNC n29_a_paulfellows_1->n29_a_paulfellows_46 n29_a_paulfellows_48 PRN n29_a_paulfellows_1->n29_a_paulfellows_48 n29_a_paulfellows_132 PUNC n29_a_paulfellows_1->n29_a_paulfellows_132 n29_a_paulfellows_3 PRO n29_a_paulfellows_2->n29_a_paulfellows_3 n29_a_paulfellows_3->n29_a_paulfellows_4 n29_a_paulfellows_5->n29_a_paulfellows_6 n29_a_paulfellows_8 ILYR n29_a_paulfellows_7->n29_a_paulfellows_8 n29_a_paulfellows_9 ILYR n29_a_paulfellows_8->n29_a_paulfellows_9 n29_a_paulfellows_23 PUNC n29_a_paulfellows_8->n29_a_paulfellows_23 n29_a_paulfellows_25 CONJP n29_a_paulfellows_8->n29_a_paulfellows_25 n29_a_paulfellows_10 VB;_Tn.pr_ n29_a_paulfellows_9->n29_a_paulfellows_10 n29_a_paulfellows_12 NP-OB1 n29_a_paulfellows_9->n29_a_paulfellows_12 n29_a_paulfellows_17 PP-CLR n29_a_paulfellows_9->n29_a_paulfellows_17 n29_a_paulfellows_10->n29_a_paulfellows_11 n29_a_paulfellows_13 D n29_a_paulfellows_12->n29_a_paulfellows_13 n29_a_paulfellows_15 N n29_a_paulfellows_12->n29_a_paulfellows_15 n29_a_paulfellows_13->n29_a_paulfellows_14 n29_a_paulfellows_15->n29_a_paulfellows_16 n29_a_paulfellows_18 P-ROLE n29_a_paulfellows_17->n29_a_paulfellows_18 n29_a_paulfellows_20 NP n29_a_paulfellows_17->n29_a_paulfellows_20 n29_a_paulfellows_18->n29_a_paulfellows_19 n29_a_paulfellows_21 PRO n29_a_paulfellows_20->n29_a_paulfellows_21 n29_a_paulfellows_21->n29_a_paulfellows_22 n29_a_paulfellows_23->n29_a_paulfellows_24 n29_a_paulfellows_26 ILYR n29_a_paulfellows_25->n29_a_paulfellows_26 n29_a_paulfellows_27 NP-OB1 n29_a_paulfellows_26->n29_a_paulfellows_27 n29_a_paulfellows_32 PP-NIM n29_a_paulfellows_26->n29_a_paulfellows_32 n29_a_paulfellows_38 PP-NIM n29_a_paulfellows_26->n29_a_paulfellows_38 n29_a_paulfellows_28 NS n29_a_paulfellows_27->n29_a_paulfellows_28 n29_a_paulfellows_30 N n29_a_paulfellows_27->n29_a_paulfellows_30 n29_a_paulfellows_28->n29_a_paulfellows_29 n29_a_paulfellows_30->n29_a_paulfellows_31 n29_a_paulfellows_33 P-ROLE n29_a_paulfellows_32->n29_a_paulfellows_33 n29_a_paulfellows_35 NP n29_a_paulfellows_32->n29_a_paulfellows_35 n29_a_paulfellows_33->n29_a_paulfellows_34 n29_a_paulfellows_36 PRO n29_a_paulfellows_35->n29_a_paulfellows_36 n29_a_paulfellows_36->n29_a_paulfellows_37 n29_a_paulfellows_39 P-ROLE n29_a_paulfellows_38->n29_a_paulfellows_39 n29_a_paulfellows_41 NP n29_a_paulfellows_38->n29_a_paulfellows_41 n29_a_paulfellows_39->n29_a_paulfellows_40 n29_a_paulfellows_42 D n29_a_paulfellows_41->n29_a_paulfellows_42 n29_a_paulfellows_44 N n29_a_paulfellows_41->n29_a_paulfellows_44 n29_a_paulfellows_42->n29_a_paulfellows_43 n29_a_paulfellows_44->n29_a_paulfellows_45 n29_a_paulfellows_46->n29_a_paulfellows_47 n29_a_paulfellows_49 IP-MAT n29_a_paulfellows_48->n29_a_paulfellows_49 n29_a_paulfellows_50 ILYR n29_a_paulfellows_49->n29_a_paulfellows_50 n29_a_paulfellows_51 ILYR n29_a_paulfellows_50->n29_a_paulfellows_51 n29_a_paulfellows_77 CONJP n29_a_paulfellows_50->n29_a_paulfellows_77 n29_a_paulfellows_52 ADVP-NIM n29_a_paulfellows_51->n29_a_paulfellows_52 n29_a_paulfellows_55 ADVP-NIM n29_a_paulfellows_51->n29_a_paulfellows_55 n29_a_paulfellows_58 NP-SBJ n29_a_paulfellows_51->n29_a_paulfellows_58 n29_a_paulfellows_69 VBD;_Ipr_ n29_a_paulfellows_51->n29_a_paulfellows_69 n29_a_paulfellows_71 PP-CLR n29_a_paulfellows_51->n29_a_paulfellows_71 n29_a_paulfellows_53 ADV n29_a_paulfellows_52->n29_a_paulfellows_53 n29_a_paulfellows_53->n29_a_paulfellows_54 n29_a_paulfellows_56 ADV n29_a_paulfellows_55->n29_a_paulfellows_56 n29_a_paulfellows_56->n29_a_paulfellows_57 n29_a_paulfellows_59 D n29_a_paulfellows_58->n29_a_paulfellows_59 n29_a_paulfellows_61 N n29_a_paulfellows_58->n29_a_paulfellows_61 n29_a_paulfellows_63 PP n29_a_paulfellows_58->n29_a_paulfellows_63 n29_a_paulfellows_59->n29_a_paulfellows_60 n29_a_paulfellows_61->n29_a_paulfellows_62 n29_a_paulfellows_64 P-ROLE n29_a_paulfellows_63->n29_a_paulfellows_64 n29_a_paulfellows_66 NP n29_a_paulfellows_63->n29_a_paulfellows_66 n29_a_paulfellows_64->n29_a_paulfellows_65 n29_a_paulfellows_67 NPR n29_a_paulfellows_66->n29_a_paulfellows_67 n29_a_paulfellows_67->n29_a_paulfellows_68 n29_a_paulfellows_69->n29_a_paulfellows_70 n29_a_paulfellows_72 P-ROLE n29_a_paulfellows_71->n29_a_paulfellows_72 n29_a_paulfellows_74 NP n29_a_paulfellows_71->n29_a_paulfellows_74 n29_a_paulfellows_72->n29_a_paulfellows_73 n29_a_paulfellows_75 N n29_a_paulfellows_74->n29_a_paulfellows_75 n29_a_paulfellows_75->n29_a_paulfellows_76 n29_a_paulfellows_78 CONJ n29_a_paulfellows_77->n29_a_paulfellows_78 n29_a_paulfellows_80 ILYR n29_a_paulfellows_77->n29_a_paulfellows_80 n29_a_paulfellows_78->n29_a_paulfellows_79 n29_a_paulfellows_81 NP-SBJ n29_a_paulfellows_80->n29_a_paulfellows_81 n29_a_paulfellows_84 MD;_cat_Vi_ n29_a_paulfellows_80->n29_a_paulfellows_84 n29_a_paulfellows_86 IP-INF-CAT n29_a_paulfellows_80->n29_a_paulfellows_86 n29_a_paulfellows_82 PRO n29_a_paulfellows_81->n29_a_paulfellows_82 n29_a_paulfellows_82->n29_a_paulfellows_83 n29_a_paulfellows_84->n29_a_paulfellows_85 n29_a_paulfellows_87 VB;_Tn.p_ n29_a_paulfellows_86->n29_a_paulfellows_87 n29_a_paulfellows_89 NP-OB1 n29_a_paulfellows_86->n29_a_paulfellows_89 n29_a_paulfellows_111 ADVP-CLR n29_a_paulfellows_86->n29_a_paulfellows_111 n29_a_paulfellows_122 PP-NIM n29_a_paulfellows_86->n29_a_paulfellows_122 n29_a_paulfellows_87->n29_a_paulfellows_88 n29_a_paulfellows_90 ADJP n29_a_paulfellows_89->n29_a_paulfellows_90 n29_a_paulfellows_101 PP n29_a_paulfellows_89->n29_a_paulfellows_101 n29_a_paulfellows_91 AJLYR n29_a_paulfellows_90->n29_a_paulfellows_91 n29_a_paulfellows_92 AJLYR n29_a_paulfellows_91->n29_a_paulfellows_92 n29_a_paulfellows_95 CONJP n29_a_paulfellows_91->n29_a_paulfellows_95 n29_a_paulfellows_93 ADJR n29_a_paulfellows_92->n29_a_paulfellows_93 n29_a_paulfellows_93->n29_a_paulfellows_94 n29_a_paulfellows_96 CONJ n29_a_paulfellows_95->n29_a_paulfellows_96 n29_a_paulfellows_98 AJLYR n29_a_paulfellows_95->n29_a_paulfellows_98 n29_a_paulfellows_96->n29_a_paulfellows_97 n29_a_paulfellows_99 ADJR n29_a_paulfellows_98->n29_a_paulfellows_99 n29_a_paulfellows_99->n29_a_paulfellows_100 n29_a_paulfellows_102 P-ROLE n29_a_paulfellows_101->n29_a_paulfellows_102 n29_a_paulfellows_104 NP n29_a_paulfellows_101->n29_a_paulfellows_104 n29_a_paulfellows_102->n29_a_paulfellows_103 n29_a_paulfellows_105 D n29_a_paulfellows_104->n29_a_paulfellows_105 n29_a_paulfellows_107 NPR n29_a_paulfellows_104->n29_a_paulfellows_107 n29_a_paulfellows_109 NS n29_a_paulfellows_104->n29_a_paulfellows_109 n29_a_paulfellows_105->n29_a_paulfellows_106 n29_a_paulfellows_107->n29_a_paulfellows_108 n29_a_paulfellows_109->n29_a_paulfellows_110 n29_a_paulfellows_112 RP n29_a_paulfellows_111->n29_a_paulfellows_112 n29_a_paulfellows_114 PP n29_a_paulfellows_111->n29_a_paulfellows_114 n29_a_paulfellows_112->n29_a_paulfellows_113 n29_a_paulfellows_115 P-ROLE n29_a_paulfellows_114->n29_a_paulfellows_115 n29_a_paulfellows_117 NP n29_a_paulfellows_114->n29_a_paulfellows_117 n29_a_paulfellows_115->n29_a_paulfellows_116 n29_a_paulfellows_118 D n29_a_paulfellows_117->n29_a_paulfellows_118 n29_a_paulfellows_120 N n29_a_paulfellows_117->n29_a_paulfellows_120 n29_a_paulfellows_118->n29_a_paulfellows_119 n29_a_paulfellows_120->n29_a_paulfellows_121 n29_a_paulfellows_123 P-ROLE n29_a_paulfellows_122->n29_a_paulfellows_123 n29_a_paulfellows_125 NP n29_a_paulfellows_122->n29_a_paulfellows_125 n29_a_paulfellows_123->n29_a_paulfellows_124 n29_a_paulfellows_126 D n29_a_paulfellows_125->n29_a_paulfellows_126 n29_a_paulfellows_128 NPR n29_a_paulfellows_125->n29_a_paulfellows_128 n29_a_paulfellows_130 NPR n29_a_paulfellows_125->n29_a_paulfellows_130 n29_a_paulfellows_126->n29_a_paulfellows_127 n29_a_paulfellows_128->n29_a_paulfellows_129 n29_a_paulfellows_130->n29_a_paulfellows_131 n29_a_paulfellows_132->n29_a_paulfellows_133 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn.pr_ attach;{attach[to]})
                                  (NP-OB1 (D a;{a})
                                          (N keyboard;{keyboard}))
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP;{DEV_BOARD} (PRO it;{it}))))
                            (PUNC ,)
                            (CONJP (ILYR (NP-OB1 (NS graphics;{graphic})
                                                 (N output;{output}))
                                         (PP-NIM (P-ROLE from;{from})
                                                 (NP;{DEV_BOARD} (PRO it;{it})))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (D a;{a})
                                                     (N monitor;{monitor})))))))
          (PUNC ,)
          (PRN (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV so;{so}))
                                   (ADVP-NIM (ADV gradually;{gradually}))
                                   (NP-SBJ (D the;{the})
                                           (N functionality;{functionality})
                                           (PP (P-ROLE of;{of})
                                               (NP (NPR Arthur;{Arthur}))))
                                   (VBD;_Ipr_ came;{come[to]})
                                   (PP-CLR (P-ROLE to;{to})
                                           (NP (N life;{life}))))
                             (CONJP (CONJ and;{and})
                                    (ILYR (NP-SBJ (PRO you;{you}))
                                          (MD;_cat_Vi_ could;{can})
                                          (IP-INF-CAT (VB;_Tn.p_ migrate;{migrate})
                                                      (NP-OB1 (ADJP (AJLYR (AJLYR (ADJR more;{more}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (AJLYR (ADJR more;{more})))))
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D the;{the})
                                                                      (NPR IO;{IO})
                                                                      (NS features;{feature}))))
                                                      (ADVP-CLR (RP over;{over})
                                                                (PP (P-ROLE onto;{onto})
                                                                    (NP (D the;{the})
                                                                        (N board;{board}))))
                                                      (PP-NIM (P-ROLE from;{from})
                                                              (NP (D the;{the})
                                                                  (NPR BBC;{BBC})
                                                                  (NPR Micro;{Micro})))))))))
          (PUNC .))
  (ID 29_a_paulfellows))