TSPC 29_a_paulfellows

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.

( (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))

arc(r_0029_0002__could,r_0029_0026__and,prn).
arc(r_0029_0002__could,z_0029_5021,scope).
arc(r_0029_0003__attach_r_0029_0006__to,r_0029_0001__You,arg0).
arc(r_0029_0003__attach_r_0029_0006__to,r_0029_0004__a_r_0029_0005__keyboard,arg1).
arc(r_0029_0003__attach_r_0029_0006__to,r_0029_0007__it,arg2).
arc(r_0029_0019__the_r_0029_0020__functionality,r_0029_0022__Arthur,r_0029_0021__of).
arc(r_0029_0023__came_r_0029_0024__to,r_0029_0017__so,nim).
arc(r_0029_0023__came_r_0029_0024__to,r_0029_0018__gradually,nim).
arc(r_0029_0023__came_r_0029_0024__to,r_0029_0019__the_r_0029_0020__functionality,arg0).
arc(r_0029_0023__came_r_0029_0024__to,r_0029_0025__life,arg1).
arc(r_0029_0026__and,r_0029_0023__came_r_0029_0024__to,conj1).
arc(r_0029_0026__and,r_0029_0028__could,conj2).
arc(r_0029_0028__could,r_0029_0029__migrate,scope).
arc(r_0029_0029__migrate,r_0029_0001__You,arg0).
arc(r_0029_0029__migrate,r_0029_0037__over,clr).
arc(r_0029_0029__migrate,r_0029_0042__the_r_0029_0043__BBC_r_0029_0044__Micro,r_0029_0041__from__nim).
arc(r_0029_0029__migrate,z_0029_5014,arg1).
arc(r_0029_0031__and,r_0029_0030__more,conj1).
arc(r_0029_0031__and,r_0029_0032__more,conj2).
arc(r_0029_0037__over,r_0029_0039__the_r_0029_0040__board,r_0029_0038__onto).
arc(z_0029_5014,r_0029_0031__and,attrib).
arc(z_0029_5014,r_0029_0034__the_r_0029_0035__IO_r_0029_0036__features,r_0029_0033__of).
arc(z_0029_5021,r_0029_0003__attach_r_0029_0006__to,conj1).
arc(z_0029_5021,z_0029_5027,conj2).
arc(z_0029_5027,r_0029_0001__You,arg0).
arc(z_0029_5027,r_0029_0007__it,r_0029_0011__from__nim).
arc(z_0029_5027,r_0029_0009__graphics_r_0029_0010__output,arg1).
arc(z_0029_5027,r_0029_0014__a_r_0029_0015__monitor,r_0029_0013__to__nim).

fof(formula,axiom,
    ? [R_0029_0017__SO,R_0029_0018__GRADUALLY,R_0029_0022__ARTHUR,R_0029_0019__THE_R_0029_0020__FUNCTIONALITY,R_0029_0025__LIFE,R_0029_0023__CAME_R_0029_0024__TO,R_0029_0001__YOU,R_0029_0039__THE_R_0029_0040__BOARD,R_0029_0037__OVER,R_0029_0042__THE_R_0029_0043__BBC_R_0029_0044__MICRO,R_0029_0030__MORE,R_0029_0032__MORE,R_0029_0031__AND,R_0029_0034__THE_R_0029_0035__IO_R_0029_0036__FEATURES,Z_0029_5014,R_0029_0028__COULD_R_0029_0029__MIGRATE,R_0029_0026__AND,R_0029_0004__A_R_0029_0005__KEYBOARD,R_0029_0007__IT,R_0029_0003__ATTACH_R_0029_0006__TO,R_0029_0009__GRAPHICS_R_0029_0010__OUTPUT,R_0029_0014__A_R_0029_0015__MONITOR,Z_0029_5027,Z_0029_5021,R_0029_0002__COULD] :
      ( r_0029_0001__You(R_0029_0001__YOU)
      & r_0029_0004__a_r_0029_0005__keyboard(R_0029_0004__A_R_0029_0005__KEYBOARD)
      & r_0029_0007__it(R_0029_0007__IT)
      & r_0029_0009__graphics_r_0029_0010__output(R_0029_0009__GRAPHICS_R_0029_0010__OUTPUT)
      & r_0029_0014__a_r_0029_0015__monitor(R_0029_0014__A_R_0029_0015__MONITOR)
      & r_0029_0017__so(R_0029_0017__SO)
      & r_0029_0018__gradually(R_0029_0018__GRADUALLY)
      & r_0029_0022__Arthur(R_0029_0022__ARTHUR)
      & r_0029_0025__life(R_0029_0025__LIFE)
      & r_0029_0030__more(R_0029_0030__MORE)
      & r_0029_0032__more(R_0029_0032__MORE)
      & r_0029_0034__the_r_0029_0035__IO_r_0029_0036__features(R_0029_0034__THE_R_0029_0035__IO_R_0029_0036__FEATURES)
      & r_0029_0039__the_r_0029_0040__board(R_0029_0039__THE_R_0029_0040__BOARD)
      & r_0029_0042__the_r_0029_0043__BBC_r_0029_0044__Micro(R_0029_0042__THE_R_0029_0043__BBC_R_0029_0044__MICRO)
      & r_0029_0002__could(R_0029_0002__COULD)
      & has_keep_scope(R_0029_0002__COULD,Z_0029_5021)
      & z_0029_5021(Z_0029_5021)
      & has_conj2(Z_0029_5021,Z_0029_5027)
      & z_0029_5027(Z_0029_5027)
      & has_r_0029_0013__to__nim(Z_0029_5027,R_0029_0014__A_R_0029_0015__MONITOR)
      & has_arg1(Z_0029_5027,R_0029_0009__GRAPHICS_R_0029_0010__OUTPUT)
      & has_r_0029_0011__from__nim(Z_0029_5027,R_0029_0007__IT)
      & has_arg0(Z_0029_5027,R_0029_0001__YOU)
      & has_conj1(Z_0029_5021,R_0029_0003__ATTACH_R_0029_0006__TO)
      & r_0029_0003__attach_r_0029_0006__to(R_0029_0003__ATTACH_R_0029_0006__TO)
      & has_arg2(R_0029_0003__ATTACH_R_0029_0006__TO,R_0029_0007__IT)
      & has_arg1(R_0029_0003__ATTACH_R_0029_0006__TO,R_0029_0004__A_R_0029_0005__KEYBOARD)
      & has_arg0(R_0029_0003__ATTACH_R_0029_0006__TO,R_0029_0001__YOU)
      & has_prn(R_0029_0002__COULD,R_0029_0026__AND)
      & r_0029_0026__and(R_0029_0026__AND)
      & has_conj2(R_0029_0026__AND,R_0029_0028__COULD_R_0029_0029__MIGRATE)
      & r_0029_0028__could_r_0029_0029__migrate(R_0029_0028__COULD_R_0029_0029__MIGRATE)
      & has_arg1(R_0029_0028__COULD_R_0029_0029__MIGRATE,Z_0029_5014)
      & z_0029_5014(Z_0029_5014)
      & has_r_0029_0033__of(Z_0029_5014,R_0029_0034__THE_R_0029_0035__IO_R_0029_0036__FEATURES)
      & has_attrib(Z_0029_5014,R_0029_0031__AND)
      & r_0029_0031__and(R_0029_0031__AND)
      & has_conj2(R_0029_0031__AND,R_0029_0032__MORE)
      & has_conj1(R_0029_0031__AND,R_0029_0030__MORE)
      & has_r_0029_0041__from__nim(R_0029_0028__COULD_R_0029_0029__MIGRATE,R_0029_0042__THE_R_0029_0043__BBC_R_0029_0044__MICRO)
      & has_clr(R_0029_0028__COULD_R_0029_0029__MIGRATE,R_0029_0037__OVER)
      & r_0029_0037__over(R_0029_0037__OVER)
      & has_r_0029_0038__onto(R_0029_0037__OVER,R_0029_0039__THE_R_0029_0040__BOARD)
      & has_arg0(R_0029_0028__COULD_R_0029_0029__MIGRATE,R_0029_0001__YOU)
      & has_conj1(R_0029_0026__AND,R_0029_0023__CAME_R_0029_0024__TO)
      & r_0029_0023__came_r_0029_0024__to(R_0029_0023__CAME_R_0029_0024__TO)
      & has_arg1(R_0029_0023__CAME_R_0029_0024__TO,R_0029_0025__LIFE)
      & has_arg0(R_0029_0023__CAME_R_0029_0024__TO,R_0029_0019__THE_R_0029_0020__FUNCTIONALITY)
      & r_0029_0019__the_r_0029_0020__functionality(R_0029_0019__THE_R_0029_0020__FUNCTIONALITY)
      & has_r_0029_0021__of(R_0029_0019__THE_R_0029_0020__FUNCTIONALITY,R_0029_0022__ARTHUR)
      & has_nim(R_0029_0023__CAME_R_0029_0024__TO,R_0029_0018__GRADUALLY)
      & has_nim(R_0029_0023__CAME_R_0029_0024__TO,R_0029_0017__SO) ) ).