TSPC 7_a_paulfellows

7_a_paulfellows
Not having a compiler that worked on the nascent version of Arthur that we had at the time, I transliterated it all into assembler, it went 400 times faster and it got slightly upset that I was driving the bus too fast.

arc(r_0007_0001__Not, r_0007_0002__having, keep_scope).
arc(r_0007_0002__having, r_0007_0003__a_r_0007_0004__compiler, arg1).
arc(r_0007_0002__having, r_0007_0020__I, arg0).
arc(r_0007_0005__that_r_0007_0006__worked, r_0007_0003__a_r_0007_0004__compiler, arg0).
arc(r_0007_0005__that_r_0007_0006__worked, r_0007_0008__the_r_0007_0010__version, r_0007_0007__on_nim25).
arc(r_0007_0008__the_r_0007_0010__version, r_0007_0009__nascent, attrib28).
arc(r_0007_0008__the_r_0007_0010__version, r_0007_0012__Arthur, r_0007_0011__of).
arc(r_0007_0013__that_r_0007_0015__had, r_0007_0008__the_r_0007_0010__version, arg1).
arc(r_0007_0013__that_r_0007_0015__had, r_0007_0014__we, arg0).
arc(r_0007_0013__that_r_0007_0015__had, r_0007_0017__the_r_0007_0018__time, r_0007_0016__at_nim52).
arc(r_0007_0021__transliterated, r_0007_0017__the_r_0007_0018__time, arg1).
arc(r_0007_0021__transliterated, r_0007_0020__I, arg0).
arc(r_0007_0021__transliterated, r_0007_0025__assembler, r_0007_0024__into_clr74).
arc(r_0007_0028__went, r_0007_0017__the_r_0007_0018__time, arg0).
arc(r_0007_0028__went, r_0007_0031__faster, nim86).
arc(r_0007_0031__faster, r_0007_0029__400_r_0007_0030__times, nim87).
arc(r_0007_0032__and, r_0007_0028__went, conj2).
arc(r_0007_0032__and, r_0007_0034__got, conj3).
arc(r_0007_0032__and, z_000_7_a_paulfellows_4, conj1).
arc(r_0007_0034__got, r_0007_0017__the_r_0007_0018__time, arg0).
arc(r_0007_0034__got, r_0007_0036__upset, prd).
arc(r_0007_0036__upset, r_0007_0035__slightly, qual104).
arc(r_0007_0036__upset, r_0007_0037__that_r_0007_0039__was, emb110).
arc(r_0007_0037__that_r_0007_0039__was, r_0007_0040__driving, scope).
arc(r_0007_0040__driving, r_0007_0020__I, arg0).
arc(r_0007_0040__driving, r_0007_0041__the_r_0007_0042__bus, arg1).
arc(r_0007_0040__driving, r_0007_0044__fast, nim126).
arc(r_0007_0044__fast, r_0007_0043__too, qual127).
arc(z_000_7_a_paulfellows_4, r_0007_0001__Not, restriction).
arc(z_000_7_a_paulfellows_4, r_0007_0021__transliterated, scope).

fof(formula,axiom,
    ? [R_7_5_THAT_WORKED,R_7_3_A_COMPILER,R_7_13_THAT_HAD,R_7_14_WE,R_7_8_THE_VERSION,R_7_9_NASCENT,R_7_12_ARTHUR,R_7_32_AND,Z_7_A_PAULFELLOWS_4,R_7_21_TRANSLITERATED,R_7_25_ASSEMBLER,R_7_28_WENT,R_7_31_FASTER,R_7_29_400_TIMES,R_7_34_GOT,R_7_17_THE_TIME,R_7_36_UPSET,R_7_37_THAT_WAS_DRIVING,R_7_20_I,R_7_41_THE_BUS,R_7_44_FAST,R_7_43_TOO,R_7_35_SLIGHTLY] :
      ( a_compiler(R_7_3_A_COMPILER)
      & we(R_7_14_WE)
      & nascent(R_7_9_NASCENT)
      & arthur(R_7_12_ARTHUR)
      & assembler(R_7_25_ASSEMBLER)
      & 400_times(R_7_29_400_TIMES)
      & the_time(R_7_17_THE_TIME)
      & i(R_7_20_I)
      & the_bus(R_7_41_THE_BUS)
      & too(R_7_43_TOO)
      & slightly(R_7_35_SLIGHTLY)
      & that_worked(R_7_5_THAT_WORKED,R_7_3_A_COMPILER)
      & on_nim25(R_7_5_THAT_WORKED,R_7_8_THE_VERSION)
      & the_version(R_7_8_THE_VERSION)
      & attrib28(R_7_8_THE_VERSION,R_7_9_NASCENT)
      & of(R_7_8_THE_VERSION,R_7_12_ARTHUR)
      & that_had(R_7_13_THAT_HAD,R_7_14_WE,R_7_8_THE_VERSION)
      & at_nim52(R_7_13_THAT_HAD,R_7_17_THE_TIME)
      & and(R_7_32_AND)
      & conj1(R_7_32_AND,Z_7_A_PAULFELLOWS_4)
      & z_7_a_paulfellows_4(Z_7_A_PAULFELLOWS_4)
      & conj1(Z_7_A_PAULFELLOWS_4,R_7_1_NOT)
      & ~ ? [R_7_2_HAVING] : having(R_7_2_HAVING,R_7_20_I,R_7_3_A_COMPILER)
      & conj2(Z_7_A_PAULFELLOWS_4,R_7_21_TRANSLITERATED)
      & transliterated(R_7_21_TRANSLITERATED,R_7_20_I,R_7_17_THE_TIME)
      & into_clr74(R_7_21_TRANSLITERATED,R_7_25_ASSEMBLER)
      & conj2(R_7_32_AND,R_7_28_WENT)
      & went(R_7_28_WENT,R_7_17_THE_TIME)
      & nim86(R_7_28_WENT,R_7_31_FASTER)
      & faster(R_7_31_FASTER)
      & nim87(R_7_31_FASTER,R_7_29_400_TIMES)
      & conj3(R_7_32_AND,R_7_34_GOT)
      & got(R_7_34_GOT,R_7_17_THE_TIME,R_7_36_UPSET)
      & upset(R_7_36_UPSET)
      & emb110(R_7_36_UPSET,R_7_37_THAT_WAS_DRIVING)
      & that_was_driving(R_7_37_THAT_WAS_DRIVING,R_7_20_I,R_7_41_THE_BUS)
      & nim126(R_7_37_THAT_WAS_DRIVING,R_7_44_FAST)
      & fast(R_7_44_FAST)
      & qual127(R_7_44_FAST,R_7_43_TOO)
      & qual104(R_7_36_UPSET,R_7_35_SLIGHTLY) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (IP-PPL2 (NEG Not;{not})
                                        (HAG;_Tn_ having;{have})
                                        (NP-OB1 (D a;{a})
                                                (N compiler;{compiler})
                                                (IP-REL (C that;{that})
                                                        (NP-SBJ *T*)
                                                        (VBD;_I_ worked;{work})
                                                        (PP-NIM (P-ROLE on;{on})
                                                                (NP (D the;{the})
                                                                    (ADJP (ADJ nascent;{nascent}))
                                                                    (N version;{version})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (NPR Arthur;{Arthur})))
                                                                    (IP-REL (C that;{that})
                                                                            (NP-OB1 *T*)
                                                                            (NP-SBJ (PRO we;{we}))
                                                                            (HVD;_Tn_ had;{have})
                                                                            (PP-NIM (P-ROLE at;{at})
                                                                                    (NP (D the;{the})
                                                                                        (N time;{time}))))))))))
                      (PUNC ,)
                      (NP-SBJ (PRO I;{I}))
                      (VBD;_Tn.pr_ transliterated;{transliterate[into]})
                      (NP-OB1 (PRO it;{it})
                              (IP-PPL (NP-PRD (Q;_nphd_ all;{all}))))
                      (PP-CLR (P-ROLE into;{into})
                              (NP (NPR assembler;{assembler}))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (PRO it;{it}))
                             (VBD;_I_ went;{go})
                             (ADVP-NIM (NP (NUM 400)
                                           (NS times;{time}))
                                       (ADVR faster;{fast}))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO it;{it}))
                             (VBD;_La_ got;{get})
                             (ADJP-PRD (ADVP (ADV slightly;{slightly}))
                                       (ADJ upset;{upset})
                                       (CP-THT (IP-SUB (C that;{that})
                                                       (NP-SBJ (PRO I;{I}))
                                                       (BED;_cat_Vg_ was;{be})
                                                       (IP-PPL-CAT (VAG;_Tn_ driving;{drive})
                                                                   (NP-OB1 (D the;{the})
                                                                           (N bus;{bus}))
                                                                   (ADVP-NIM (ADVP (ADV too;{too}))
                                                                             (ADV fast;{fast})))))))))
          (PUNC .))
  (ID 7_a_paulfellows))