TSPC 51_a_paulfellows

51_a_paulfellows
Software wise, the core operating system was made to look like the BBC MOS, with relocatable modules made to look like those sideways ROMs, all the service calls in the Beeb are mirrored by those that go chaining through, but you don't have to do hardware paging to go from one to the other.

( (IP-MAT (ADVP-NIM (NP (N Software;{software}))
                    (ADV wise;{wise}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N core;{core})
                  (IP-PPL (VAG;__ operating;{operate}))
                  (N system;{system}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ made;{make})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Ipr_ look;{look[like]})
                                  (PP-CLR (P-ROLE like;{like})
                                          (NP (D the;{the})
                                              (NPR BBC;{BBC})
                                              (NPR MOS;{MOS})
                                              (PUNC ,)
                                              (PP (P-ROLE with;{with})
                                                  (NP (ADJP (ADJ relocatable;{relocatable}))
                                                      (NS modules;{module})
                                                      (IP-PPL (VVN;_cat_Vt_ made;{make})
                                                              (IP-INF-CAT (TO to;{to})
                                                                          (VB;_Ipr_ look;{look[like]})
                                                                          (PP-CLR (P-ROLE like;{like})
                                                                                  (NP (D those;{those})
                                                                                      (ADJP (ADJ sideways;{sideways}))
                                                                                      (NS ROMs;{rom})))))))))))
          (PUNC ,)
          (PRN (IP-MAT (NP-SBJ (Q;_nphd_ all;{all})
                               (NLYR (D the;{the})
                                     (N service;{service})
                                     (NS calls;{call})
                                     (PP (P-ROLE in;{in})
                                         (NP (D the;{the})
                                             (N Beeb;{beeb})))))
                       (BEP;_cat_VePASS_ are;{be})
                       (IP-PPL-CAT (VVN;__ mirrored;{mirror})
                                   (PP-LGS (P-ROLE;_lgs_ by;{by})
                                           (NP (D;_nphd_ those;{those})
                                               (IP-REL (C that;{that})
                                                       (NP-SBJ *T*)
                                                       (VBP;_cat_Vg_ go;{go})
                                                       (IP-PPL-CAT (VAG;__ chaining;{chain})
                                                                   (ADVP-NIM (ADV through;{through})))))))
                       (PUNC ,)
                       (PRN (IP-MAT (CONJ;_cl_ but;{but})
                                    (NP-SBJ (PRO you;{you}))
                                    (DOP do;{do})
                                    (NEG;_clitic_ n<apos>t;{not})
                                    (HV;_cat_Vt_ have;{have})
                                    (IP-INF-CAT (TO to;{to})
                                                (DO;_Tn_ do;{do})
                                                (NP-DOB1 (N hardware;{hardware})
                                                         (N paging;{paging})))
                                    (PP-SCON (IP-INF2 (TO to;{to})
                                                      (VB;__ go;{go})
                                                      (PP-NIM (P-ROLE from;{from})
                                                              (NP (NUM one;{one})))
                                                      (PP-NIM (P-ROLE to;{to})
                                                              (NP (D the;{the})
                                                                  (ADJP (ADJ other;{other}))))))))))
          (PUNC .))
  (ID 51_a_paulfellows))

arc(r_0051_0002__wise,r_0051_0001__Software,nim).
arc(r_0051_0006__operating,r_0051_0004__the_r_0051_0005__core_r_0051_0007__system,inv_arg0).
arc(r_0051_0008__was,r_0051_0002__wise,nim).
arc(r_0051_0008__was,r_0051_0009__made,scope).
arc(r_0051_0008__was,r_0051_0028__all__quant,prn).
arc(r_0051_0009__made,r_0051_0004__the_r_0051_0005__core_r_0051_0007__system,arg1).
arc(r_0051_0009__made,r_0051_0011__look_r_0051_0012__like,prd).
arc(r_0051_0009__made,z_0051_5044___star_,arg0).
arc(r_0051_0011__look_r_0051_0012__like,r_0051_0013__the_r_0051_0014__BBC_r_0051_0015__MOS,arg1).
arc(r_0051_0011__look_r_0051_0012__like,z_0051_5035,arg0).
arc(r_0051_0013__the_r_0051_0014__BBC_r_0051_0015__MOS,r_0051_0019__modules,r_0051_0017__with).
arc(r_0051_0019__modules,r_0051_0018__relocatable,attrib).
arc(r_0051_0020__made,r_0051_0022__look_r_0051_0023__like,scope).
arc(r_0051_0022__look_r_0051_0023__like,r_0051_0019__modules,arg0).
arc(r_0051_0022__look_r_0051_0023__like,r_0051_0024__those_r_0051_0026__ROMs,arg1).
arc(r_0051_0024__those_r_0051_0026__ROMs,r_0051_0025__sideways,attrib).
arc(r_0051_0028__all__quant,r_0051_0035__are,scope).
arc(r_0051_0028__all__quant,z_0051_5010,restriction).
arc(r_0051_0029__the_r_0051_0030__service_r_0051_0031__calls,r_0051_0033__the_r_0051_0034__Beeb,r_0051_0032__in).
arc(r_0051_0035__are,r_0051_0036__mirrored,scope).
arc(r_0051_0035__are,z_0051_5012,prn).
arc(r_0051_0036__mirrored,r_0051_0038__those,r_0051_0037__by_arg0).
arc(r_0051_0036__mirrored,z_0051_5010,arg1).
arc(r_0051_0040__go,r_0051_0041__chaining,scope).
arc(r_0051_0041__chaining,r_0051_0038__those,inv_arg0).
arc(r_0051_0041__chaining,r_0051_0042__through,nim).
arc(r_0051_0046__do_r_0051_0048__have,r_0051_0050__do,scope).
arc(r_0051_0047__n_apos_t,r_0051_0046__do_r_0051_0048__have,keep_scope).
arc(r_0051_0050__do,r_0051_0045__you,arg0).
arc(r_0051_0054__go,r_0051_0045__you,arg0).
arc(r_0051_0054__go,r_0051_0056__one,r_0051_0055__from__nim).
arc(r_0051_0054__go,r_0051_0058__the,r_0051_0057__to__nim).
arc(r_0051_0058__the,r_0051_0059__other,attrib).
arc(z_0051_5010,r_0051_0029__the_r_0051_0030__service_r_0051_0031__calls,nim).
arc(z_0051_5012,r_0051_0047__n_apos_t,scope).
arc(z_0051_5012,r_0051_0054__go,restriction).

fof(formula,axiom,
    ? [R_0051_0001__SOFTWARE,R_0051_0002__WISE,R_0051_0006__OPERATING,R_0051_0004__THE_R_0051_0005__CORE_R_0051_0007__SYSTEM,R_0051_0018__RELOCATABLE,R_0051_0019__MODULES,R_0051_0013__THE_R_0051_0014__BBC_R_0051_0015__MOS,Z_0051_5035,R_0051_0011__LOOK_R_0051_0012__LIKE,Z_0051_5044___STAR_,R_0051_0008__WAS_R_0051_0009__MADE,R_0051_0025__SIDEWAYS,R_0051_0024__THOSE_R_0051_0026__ROMS,R_0051_0020__MADE_R_0051_0022__LOOK_R_0051_0023__LIKE] :
      ( r_0051_0001__Software(R_0051_0001__SOFTWARE)
      & r_0051_0006__operating(R_0051_0006__OPERATING)
      & r_0051_0018__relocatable(R_0051_0018__RELOCATABLE)
      & r_0051_0025__sideways(R_0051_0025__SIDEWAYS)
      & z_0051_5035(Z_0051_5035)
      & z_0051_5044___star_(Z_0051_5044___STAR_)
      & r_0051_0020__made_r_0051_0022__look_r_0051_0023__like(R_0051_0020__MADE_R_0051_0022__LOOK_R_0051_0023__LIKE)
      & has_arg1(R_0051_0020__MADE_R_0051_0022__LOOK_R_0051_0023__LIKE,R_0051_0024__THOSE_R_0051_0026__ROMS)
      & r_0051_0024__those_r_0051_0026__ROMs(R_0051_0024__THOSE_R_0051_0026__ROMS)
      & has_attrib(R_0051_0024__THOSE_R_0051_0026__ROMS,R_0051_0025__SIDEWAYS)
      & has_arg0(R_0051_0020__MADE_R_0051_0022__LOOK_R_0051_0023__LIKE,R_0051_0019__MODULES)
      & r_0051_0019__modules(R_0051_0019__MODULES)
      & has_attrib(R_0051_0019__MODULES,R_0051_0018__RELOCATABLE)
      & r_0051_0008__was_r_0051_0009__made(R_0051_0008__WAS_R_0051_0009__MADE)
      & has_arg0(R_0051_0008__WAS_R_0051_0009__MADE,Z_0051_5044___STAR_)
      & has_prd(R_0051_0008__WAS_R_0051_0009__MADE,R_0051_0011__LOOK_R_0051_0012__LIKE)
      & r_0051_0011__look_r_0051_0012__like(R_0051_0011__LOOK_R_0051_0012__LIKE)
      & has_arg0(R_0051_0011__LOOK_R_0051_0012__LIKE,Z_0051_5035)
      & has_arg1(R_0051_0011__LOOK_R_0051_0012__LIKE,R_0051_0013__THE_R_0051_0014__BBC_R_0051_0015__MOS)
      & r_0051_0013__the_r_0051_0014__BBC_r_0051_0015__MOS(R_0051_0013__THE_R_0051_0014__BBC_R_0051_0015__MOS)
      & has_r_0051_0017__with(R_0051_0013__THE_R_0051_0014__BBC_R_0051_0015__MOS,R_0051_0019__MODULES)
      & has_arg1(R_0051_0008__WAS_R_0051_0009__MADE,R_0051_0004__THE_R_0051_0005__CORE_R_0051_0007__SYSTEM)
      & r_0051_0004__the_r_0051_0005__core_r_0051_0007__system(R_0051_0004__THE_R_0051_0005__CORE_R_0051_0007__SYSTEM)
      & has_inv_arg0(R_0051_0004__THE_R_0051_0005__CORE_R_0051_0007__SYSTEM,R_0051_0006__OPERATING)
      & ! [Z_0051_5010,R_0051_0033__THE_R_0051_0034__BEEB,R_0051_0029__THE_R_0051_0030__SERVICE_R_0051_0031__CALLS] :
          ( ( r_0051_0033__the_r_0051_0034__Beeb(R_0051_0033__THE_R_0051_0034__BEEB)
            & z_0051_5010(Z_0051_5010)
            & has_nim(Z_0051_5010,R_0051_0029__THE_R_0051_0030__SERVICE_R_0051_0031__CALLS)
            & r_0051_0029__the_r_0051_0030__service_r_0051_0031__calls(R_0051_0029__THE_R_0051_0030__SERVICE_R_0051_0031__CALLS)
            & has_r_0051_0032__in(R_0051_0029__THE_R_0051_0030__SERVICE_R_0051_0031__CALLS,R_0051_0033__THE_R_0051_0034__BEEB) )
         => ? [R_0051_0045__YOU,R_0051_0056__ONE,R_0051_0059__OTHER,R_0051_0058__THE,R_0051_0054__GO,Z_0051_5012,R_0051_0042__THROUGH,R_0051_0040__GO_R_0051_0041__CHAINING,R_0051_0038__THOSE,R_0051_0035__ARE_R_0051_0036__MIRRORED] :
              ( r_0051_0042__through(R_0051_0042__THROUGH)
              & r_0051_0045__you(R_0051_0045__YOU)
              & r_0051_0056__one(R_0051_0056__ONE)
              & r_0051_0059__other(R_0051_0059__OTHER)
              & r_0051_0035__are_r_0051_0036__mirrored(R_0051_0035__ARE_R_0051_0036__MIRRORED)
              & has_arg1(R_0051_0035__ARE_R_0051_0036__MIRRORED,Z_0051_5010)
              & has_r_0051_0037__by_arg0(R_0051_0035__ARE_R_0051_0036__MIRRORED,R_0051_0038__THOSE)
              & r_0051_0038__those(R_0051_0038__THOSE)
              & has_inv_arg0(R_0051_0038__THOSE,R_0051_0040__GO_R_0051_0041__CHAINING)
              & r_0051_0040__go_r_0051_0041__chaining(R_0051_0040__GO_R_0051_0041__CHAINING)
              & has_nim(R_0051_0040__GO_R_0051_0041__CHAINING,R_0051_0042__THROUGH)
              & has_prn(R_0051_0035__ARE_R_0051_0036__MIRRORED,Z_0051_5012)
              & z_0051_5012(Z_0051_5012)
              & has_conj1(Z_0051_5012,R_0051_0054__GO)
              & r_0051_0054__go(R_0051_0054__GO)
              & has_r_0051_0057__to__nim(R_0051_0054__GO,R_0051_0058__THE)
              & r_0051_0058__the(R_0051_0058__THE)
              & has_attrib(R_0051_0058__THE,R_0051_0059__OTHER)
              & has_r_0051_0055__from__nim(R_0051_0054__GO,R_0051_0056__ONE)
              & has_arg0(R_0051_0054__GO,R_0051_0045__YOU)
              & has_conj2(Z_0051_5012,R_0051_0047__N_APOS_T)
              & ~ ? [R_0051_0046__DO_R_0051_0048__HAVE_R_0051_0050__DO] :
                    ( r_0051_0046__do_r_0051_0048__have_r_0051_0050__do(R_0051_0046__DO_R_0051_0048__HAVE_R_0051_0050__DO)
                    & has_arg0(R_0051_0046__DO_R_0051_0048__HAVE_R_0051_0050__DO,R_0051_0045__YOU) ) ) )
      & has_nim(R_0051_0008__WAS_R_0051_0009__MADE,R_0051_0002__WISE)
      & r_0051_0002__wise(R_0051_0002__WISE)
      & has_nim(R_0051_0002__WISE,R_0051_0001__SOFTWARE) ) ).