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_0007_0003__A_R_0007_0004__COMPILER,R_0007_0009__NASCENT,R_0007_0012__ARTHUR,R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0005__THAT_R_0007_0006__WORKED,R_0007_0014__WE,R_0007_0017__THE_R_0007_0018__TIME,R_0007_0013__THAT_R_0007_0015__HAD,R_0007_0029__400_R_0007_0030__TIMES,R_0007_0031__FASTER,R_0007_0028__WENT,R_0007_0035__SLIGHTLY,R_0007_0020__I,R_0007_0041__THE_R_0007_0042__BUS,R_0007_0043__TOO,R_0007_0044__FAST,R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0036__UPSET,R_0007_0034__GOT,R_0007_0025__ASSEMBLER,R_0007_0021__TRANSLITERATED,Z_000_7_A_PAULFELLOWS_4,R_0007_0032__AND] :
      ( r_0007_0003__a_r_0007_0004__compiler(R_0007_0003__A_R_0007_0004__COMPILER)
      & r_0007_0009__nascent(R_0007_0009__NASCENT)
      & r_0007_0012__Arthur(R_0007_0012__ARTHUR)
      & r_0007_0014__we(R_0007_0014__WE)
      & r_0007_0017__the_r_0007_0018__time(R_0007_0017__THE_R_0007_0018__TIME)
      & r_0007_0020__I(R_0007_0020__I)
      & r_0007_0025__assembler(R_0007_0025__ASSEMBLER)
      & r_0007_0029__400_r_0007_0030__times(R_0007_0029__400_R_0007_0030__TIMES)
      & r_0007_0035__slightly(R_0007_0035__SLIGHTLY)
      & r_0007_0041__the_r_0007_0042__bus(R_0007_0041__THE_R_0007_0042__BUS)
      & r_0007_0043__too(R_0007_0043__TOO)
      & r_0007_0032__and(R_0007_0032__AND)
      & has_conj1(R_0007_0032__AND,Z_000_7_A_PAULFELLOWS_4)
      & z_000_7_a_paulfellows_4(Z_000_7_A_PAULFELLOWS_4)
      & has_conj2(Z_000_7_A_PAULFELLOWS_4,R_0007_0021__TRANSLITERATED)
      & r_0007_0021__transliterated(R_0007_0021__TRANSLITERATED)
      & has_r_0007_0024__into_clr74(R_0007_0021__TRANSLITERATED,R_0007_0025__ASSEMBLER)
      & has_arg0(R_0007_0021__TRANSLITERATED,R_0007_0020__I)
      & has_arg1(R_0007_0021__TRANSLITERATED,R_0007_0017__THE_R_0007_0018__TIME)
      & has_conj1(Z_000_7_A_PAULFELLOWS_4,R_0007_0001__NOT)
      & ~ ? [R_0007_0002__HAVING] :
            ( r_0007_0002__having(R_0007_0002__HAVING)
            & has_arg0(R_0007_0002__HAVING,R_0007_0020__I)
            & has_arg1(R_0007_0002__HAVING,R_0007_0003__A_R_0007_0004__COMPILER) )
      & has_conj3(R_0007_0032__AND,R_0007_0034__GOT)
      & r_0007_0034__got(R_0007_0034__GOT)
      & has_prd(R_0007_0034__GOT,R_0007_0036__UPSET)
      & r_0007_0036__upset(R_0007_0036__UPSET)
      & has_emb110(R_0007_0036__UPSET,R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING)
      & r_0007_0037__that_r_0007_0039__was_r_0007_0040__driving(R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING)
      & has_nim126(R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0044__FAST)
      & r_0007_0044__fast(R_0007_0044__FAST)
      & has_qual127(R_0007_0044__FAST,R_0007_0043__TOO)
      & has_arg1(R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0041__THE_R_0007_0042__BUS)
      & has_arg0(R_0007_0037__THAT_R_0007_0039__WAS_R_0007_0040__DRIVING,R_0007_0020__I)
      & has_qual104(R_0007_0036__UPSET,R_0007_0035__SLIGHTLY)
      & has_arg0(R_0007_0034__GOT,R_0007_0017__THE_R_0007_0018__TIME)
      & has_conj2(R_0007_0032__AND,R_0007_0028__WENT)
      & r_0007_0028__went(R_0007_0028__WENT)
      & has_nim86(R_0007_0028__WENT,R_0007_0031__FASTER)
      & r_0007_0031__faster(R_0007_0031__FASTER)
      & has_nim87(R_0007_0031__FASTER,R_0007_0029__400_R_0007_0030__TIMES)
      & has_arg0(R_0007_0028__WENT,R_0007_0017__THE_R_0007_0018__TIME)
      & r_0007_0013__that_r_0007_0015__had(R_0007_0013__THAT_R_0007_0015__HAD)
      & has_r_0007_0016__at_nim52(R_0007_0013__THAT_R_0007_0015__HAD,R_0007_0017__THE_R_0007_0018__TIME)
      & has_arg0(R_0007_0013__THAT_R_0007_0015__HAD,R_0007_0014__WE)
      & has_arg1(R_0007_0013__THAT_R_0007_0015__HAD,R_0007_0008__THE_R_0007_0010__VERSION)
      & r_0007_0008__the_r_0007_0010__version(R_0007_0008__THE_R_0007_0010__VERSION)
      & has_r_0007_0011__of(R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0012__ARTHUR)
      & has_attrib28(R_0007_0008__THE_R_0007_0010__VERSION,R_0007_0009__NASCENT)
      & r_0007_0005__that_r_0007_0006__worked(R_0007_0005__THAT_R_0007_0006__WORKED)
      & has_r_0007_0007__on_nim25(R_0007_0005__THAT_R_0007_0006__WORKED,R_0007_0008__THE_R_0007_0010__VERSION)
      & has_arg0(R_0007_0005__THAT_R_0007_0006__WORKED,R_0007_0003__A_R_0007_0004__COMPILER) ) ).

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