TSPC 6_a_paulfellows

6_a_paulfellows
I got to write the I2C drivers, actually I was given some I2C drivers by John Biggs, who's at ARM today, they were written in Modula2 which had been ripped off out of the ARX implementation, he said “here, this is how you do it, make the Real Time Clock work, that'll be fine, just test it for me will you?”.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBD;_cat_Vt_ got;{get})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Tn_ write;{write})
                                  (NP-OB1 (D the;{the})
                                          (NPR I2C;{I2C})
                                          (NS drivers;{driver}))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (ILYR (ILYR (ADVP-NIM (ADV actually;{actually}))
                                                     (NP-SBJ (PRO I;{I}))
                                                     (BED;_cat_VePASS_ was;{be})
                                                     (IP-PPL-CAT (VVN;_Dn.n_ given;{give})
                                                                 (NP-OB1;{DRIVERS} (D some;{some})
                                                                                   (NPR I2C;{I2C})
                                                                                   (NS drivers;{driver}))
                                                                 (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                         (NP;{BIGGS} (NPR John;{John})
                                                                                     (NPR Biggs;{Biggs})
                                                                                     (PUNC ,)
                                                                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                             (BEP;_Ipr_ <apos>s;{be[at]})
                                                                                             (PP-CLR (P-ROLE at;{at})
                                                                                                     (NP (N ARM;{arm})))
                                                                                             (NP-NIM (N today;{today})))))))
                                               (PUNC ,)
                                               (CONJP (ILYR (NP-SBJ;{DRIVERS} (PRO they;{they}))
                                                            (BED;_cat_VePASS_ were;{be})
                                                            (IP-PPL-CAT (NP-LGS *)
                                                                        (VVN;_Tn_ written;{write})
                                                                        (PP-NIM (P-ROLE in;{in})
                                                                                (NP (NPR Modula2;{Modula2})
                                                                                    (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                                            (HVD;_cat_Ve_ had;{have})
                                                                                            (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                                        (IP-PPL-CAT (NP-LGS *)
                                                                                                                    (VVN;__ ripped;{rip})
                                                                                                                    (RP off;{off})
                                                                                                                    (PP-NIM (P-ROLE out_of;{out_of})
                                                                                                                            (NP (D the;{the})
                                                                                                                                (NPR ARX;{ARX})
                                                                                                                                (N implementation;{implementation})))))))))))))
                                   (PUNC ,)
                                   (CONJP (ILYR (NP-SBJ;{BIGGS} (PRO he;{he}))
                                                (VBD;_Tr_ said;{say})
                                                (PULQ <ldquo>)
                                                (utterance-OB1 (IP-MAT (REACT here)
                                                                       (PUNC ,)
                                                                       (NP-SBJ (D;_nphd_ this;{this}))
                                                                       (BEP;_Ln_ is;{be})
                                                                       (NP-PRD (IP-REL (ADVP-NIM (RADV how;{how}))
                                                                                       (NP-SBJ (PRO you;{you}))
                                                                                       (DOP;_Tn_ do;{do})
                                                                                       (NP-OB1 (PRO it;{it}))))
                                                                       (PUNC ,))
                                                               (IP-IMP (VB;_Cn.i_ make;{make})
                                                                       (NP-OB1 (D the;{the})
                                                                               (ADJP (ADJ Real;{real}))
                                                                               (N Time;{time})
                                                                               (N Clock;{clock}))
                                                                       (IP-INF-PRD (VB;_I_ work;{work}))
                                                                       (PUNC ,))
                                                               (IP-MAT (NP-SBJ (D;_nphd_ that;{that}))
                                                                       (MD;_cat_Vi_ <apos>ll;{will})
                                                                       (IP-INF-CAT (BE;_La_ be;{be})
                                                                                   (ADJP-PRD (ADJ fine;{fine})))
                                                                       (PUNC ,))
                                                               (IP-IMP (ADVP-NIM (ADV just;{just}))
                                                                       (VB;_Tn_ test;{test})
                                                                       (NP-OB1 (PRO it;{it}))
                                                                       (PP-NIM (P-ROLE for;{for})
                                                                               (NP (PRO me;{I})))
                                                                       (CP-QUE-TAG (IP-SUB (MD;_cat_Vi_ will;{will})
                                                                                           (NP-SBJ (PRO you;{you}))))
                                                                       (PUNC ?)))
                                                (PURQ <rdquo>)))))))
          (PUNC .))
  (ID 6_a_paulfellows))

arc(r_0006_0002__got,r_0006_0004__write,scope).
arc(r_0006_0004__write,r_0006_0001__I,arg0).
arc(r_0006_0004__write,r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers,arg1).
arc(r_0006_0011__was,r_0006_0009__actually,nim).
arc(r_0006_0011__was,r_0006_0012__given,scope).
arc(r_0006_0012__given,r_0006_0001__I,arg2).
arc(r_0006_0012__given,r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers,arg1).
arc(r_0006_0012__given,r_0006_0017__John_r_0006_0018__Biggs,r_0006_0016__by_arg0).
arc(r_0006_0021___apos_s_r_0006_0022__at,r_0006_0017__John_r_0006_0018__Biggs,arg0).
arc(r_0006_0021___apos_s_r_0006_0022__at,r_0006_0023__ARM,arg1).
arc(r_0006_0021___apos_s_r_0006_0022__at,r_0006_0024__today,nim).
arc(r_0006_0027__were,r_0006_0028__written,scope).
arc(r_0006_0028__written,r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers,arg1).
arc(r_0006_0028__written,r_0006_0030__Modula2,r_0006_0029__in__nim).
arc(r_0006_0028__written,z_0006_5026___star_,arg0).
arc(r_0006_0032__had,r_0006_0033__been,scope).
arc(r_0006_0033__been,r_0006_0034__ripped_r_0006_0035__off,scope).
arc(r_0006_0034__ripped_r_0006_0035__off,r_0006_0030__Modula2,arg1).
arc(r_0006_0034__ripped_r_0006_0035__off,r_0006_0037__the_r_0006_0038__ARX_r_0006_0039__implementation,r_0006_0036__out_of__nim).
arc(r_0006_0034__ripped_r_0006_0035__off,z_0006_5022___star_,arg0).
arc(r_0006_0042__said,r_0006_0017__John_r_0006_0018__Biggs,arg0).
arc(r_0006_0042__said,z_0006_5032__utterance,arg1).
arc(r_0006_0047__is,r_0006_0046__this,arg0).
arc(r_0006_0047__is,r_0006_0048__how,prd).
arc(r_0006_0050__do,r_0006_0048__how,nim).
arc(r_0006_0050__do,r_0006_0049__you,arg0).
arc(r_0006_0050__do,r_0006_0051__it,arg1).
arc(r_0006_0053__make,r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock,arg1).
arc(r_0006_0053__make,r_0006_0058__work,prd).
arc(r_0006_0053__make,z_0006_5037,arg0).
arc(r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock,r_0006_0055__Real,attrib).
arc(r_0006_0058__work,z_0006_5042,arg0).
arc(r_0006_0061___apos_ll,r_0006_0062__be,scope).
arc(r_0006_0062__be,r_0006_0060__that,arg0).
arc(r_0006_0062__be,r_0006_0063__fine,prd).
arc(r_0006_0066__test,r_0006_0001__I,r_0006_0068__for__nim).
arc(r_0006_0066__test,r_0006_0065__just,nim).
arc(r_0006_0066__test,r_0006_0067__it,arg1).
arc(r_0006_0066__test,r_0006_0070__will,tag).
arc(r_0006_0066__test,z_0006_5050,arg0).
arc(r_0006_0070__will,r_0006_0049__you,arg0).
arc(z_0006_5001,r_0006_0002__got,conj1).
arc(z_0006_5001,z_0006_5006,conj2).
arc(z_0006_5006,r_0006_0042__said,conj2).
arc(z_0006_5006,z_0006_5007,conj1).
arc(z_0006_5007,r_0006_0011__was,conj1).
arc(z_0006_5007,r_0006_0027__were,conj2).
arc(z_0006_5032__utterance,r_0006_0047__is,part1).
arc(z_0006_5032__utterance,r_0006_0053__make,part2).
arc(z_0006_5032__utterance,r_0006_0061___apos_ll,part3).
arc(z_0006_5032__utterance,r_0006_0066__test,part4).

fof(formula,axiom,
    ? [R_0006_0017__JOHN_R_0006_0018__BIGGS,R_0006_0023__ARM,R_0006_0024__TODAY,R_0006_0021___APOS_S_R_0006_0022__AT,R_0006_0030__MODULA2,R_0006_0037__THE_R_0006_0038__ARX_R_0006_0039__IMPLEMENTATION,Z_0006_5022___STAR_,R_0006_0032__HAD_R_0006_0033__BEEN_R_0006_0034__RIPPED_R_0006_0035__OFF,R_0006_0048__HOW,R_0006_0049__YOU,R_0006_0051__IT,R_0006_0050__DO,R_0006_0001__I,R_0006_0005__THE_R_0006_0006__I2C_R_0006_0007__DRIVERS,R_0006_0002__GOT_R_0006_0004__WRITE,R_0006_0046__THIS,R_0006_0047__IS,R_0006_0055__REAL,R_0006_0054__THE_R_0006_0056__TIME_R_0006_0057__CLOCK,Z_0006_5042,R_0006_0058__WORK,Z_0006_5037,R_0006_0053__MAKE,R_0006_0060__THAT,R_0006_0063__FINE,R_0006_0061___APOS_LL_R_0006_0062__BE,R_0006_0065__JUST,R_0006_0067__IT,R_0006_0070__WILL,Z_0006_5050,R_0006_0066__TEST,Z_0006_5032__UTTERANCE,R_0006_0042__SAID,R_0006_0009__ACTUALLY,R_0006_0013__SOME_R_0006_0014__I2C_R_0006_0015__DRIVERS,R_0006_0011__WAS_R_0006_0012__GIVEN,Z_0006_5026___STAR_,R_0006_0027__WERE_R_0006_0028__WRITTEN,Z_0006_5007,Z_0006_5006,Z_0006_5001] :
      ( r_0006_0001__I(R_0006_0001__I)
      & r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers(R_0006_0005__THE_R_0006_0006__I2C_R_0006_0007__DRIVERS)
      & r_0006_0009__actually(R_0006_0009__ACTUALLY)
      & r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers(R_0006_0013__SOME_R_0006_0014__I2C_R_0006_0015__DRIVERS)
      & r_0006_0017__John_r_0006_0018__Biggs(R_0006_0017__JOHN_R_0006_0018__BIGGS)
      & r_0006_0023__ARM(R_0006_0023__ARM)
      & r_0006_0024__today(R_0006_0024__TODAY)
      & r_0006_0030__Modula2(R_0006_0030__MODULA2)
      & r_0006_0037__the_r_0006_0038__ARX_r_0006_0039__implementation(R_0006_0037__THE_R_0006_0038__ARX_R_0006_0039__IMPLEMENTATION)
      & r_0006_0046__this(R_0006_0046__THIS)
      & r_0006_0048__how(R_0006_0048__HOW)
      & r_0006_0049__you(R_0006_0049__YOU)
      & r_0006_0051__it(R_0006_0051__IT)
      & r_0006_0055__Real(R_0006_0055__REAL)
      & r_0006_0060__that(R_0006_0060__THAT)
      & r_0006_0063__fine(R_0006_0063__FINE)
      & r_0006_0065__just(R_0006_0065__JUST)
      & r_0006_0067__it(R_0006_0067__IT)
      & z_0006_5022___star_(Z_0006_5022___STAR_)
      & z_0006_5026___star_(Z_0006_5026___STAR_)
      & z_0006_5037(Z_0006_5037)
      & z_0006_5042(Z_0006_5042)
      & z_0006_5050(Z_0006_5050)
      & z_0006_5001(Z_0006_5001)
      & has_conj2(Z_0006_5001,Z_0006_5006)
      & z_0006_5006(Z_0006_5006)
      & has_conj1(Z_0006_5006,Z_0006_5007)
      & z_0006_5007(Z_0006_5007)
      & has_conj2(Z_0006_5007,R_0006_0027__WERE_R_0006_0028__WRITTEN)
      & r_0006_0027__were_r_0006_0028__written(R_0006_0027__WERE_R_0006_0028__WRITTEN)
      & has_arg0(R_0006_0027__WERE_R_0006_0028__WRITTEN,Z_0006_5026___STAR_)
      & has_r_0006_0029__in__nim(R_0006_0027__WERE_R_0006_0028__WRITTEN,R_0006_0030__MODULA2)
      & has_arg1(R_0006_0027__WERE_R_0006_0028__WRITTEN,R_0006_0013__SOME_R_0006_0014__I2C_R_0006_0015__DRIVERS)
      & has_conj1(Z_0006_5007,R_0006_0011__WAS_R_0006_0012__GIVEN)
      & r_0006_0011__was_r_0006_0012__given(R_0006_0011__WAS_R_0006_0012__GIVEN)
      & has_r_0006_0016__by_arg0(R_0006_0011__WAS_R_0006_0012__GIVEN,R_0006_0017__JOHN_R_0006_0018__BIGGS)
      & has_arg1(R_0006_0011__WAS_R_0006_0012__GIVEN,R_0006_0013__SOME_R_0006_0014__I2C_R_0006_0015__DRIVERS)
      & has_arg2(R_0006_0011__WAS_R_0006_0012__GIVEN,R_0006_0001__I)
      & has_nim(R_0006_0011__WAS_R_0006_0012__GIVEN,R_0006_0009__ACTUALLY)
      & has_conj2(Z_0006_5006,R_0006_0042__SAID)
      & r_0006_0042__said(R_0006_0042__SAID)
      & has_arg1(R_0006_0042__SAID,Z_0006_5032__UTTERANCE)
      & z_0006_5032__utterance(Z_0006_5032__UTTERANCE)
      & has_part4(Z_0006_5032__UTTERANCE,R_0006_0066__TEST)
      & r_0006_0066__test(R_0006_0066__TEST)
      & has_arg0(R_0006_0066__TEST,Z_0006_5050)
      & has_tag(R_0006_0066__TEST,R_0006_0070__WILL)
      & r_0006_0070__will(R_0006_0070__WILL)
      & has_arg0(R_0006_0070__WILL,R_0006_0049__YOU)
      & has_arg1(R_0006_0066__TEST,R_0006_0067__IT)
      & has_nim(R_0006_0066__TEST,R_0006_0065__JUST)
      & has_r_0006_0068__for__nim(R_0006_0066__TEST,R_0006_0001__I)
      & has_part3(Z_0006_5032__UTTERANCE,R_0006_0061___APOS_LL_R_0006_0062__BE)
      & r_0006_0061___apos_ll_r_0006_0062__be(R_0006_0061___APOS_LL_R_0006_0062__BE)
      & has_prd(R_0006_0061___APOS_LL_R_0006_0062__BE,R_0006_0063__FINE)
      & has_arg0(R_0006_0061___APOS_LL_R_0006_0062__BE,R_0006_0060__THAT)
      & has_part2(Z_0006_5032__UTTERANCE,R_0006_0053__MAKE)
      & r_0006_0053__make(R_0006_0053__MAKE)
      & has_arg0(R_0006_0053__MAKE,Z_0006_5037)
      & has_prd(R_0006_0053__MAKE,R_0006_0058__WORK)
      & r_0006_0058__work(R_0006_0058__WORK)
      & has_arg0(R_0006_0058__WORK,Z_0006_5042)
      & has_arg1(R_0006_0053__MAKE,R_0006_0054__THE_R_0006_0056__TIME_R_0006_0057__CLOCK)
      & r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock(R_0006_0054__THE_R_0006_0056__TIME_R_0006_0057__CLOCK)
      & has_attrib(R_0006_0054__THE_R_0006_0056__TIME_R_0006_0057__CLOCK,R_0006_0055__REAL)
      & has_part1(Z_0006_5032__UTTERANCE,R_0006_0047__IS)
      & r_0006_0047__is(R_0006_0047__IS)
      & has_prd(R_0006_0047__IS,R_0006_0048__HOW)
      & has_arg0(R_0006_0047__IS,R_0006_0046__THIS)
      & has_arg0(R_0006_0042__SAID,R_0006_0017__JOHN_R_0006_0018__BIGGS)
      & has_conj1(Z_0006_5001,R_0006_0002__GOT_R_0006_0004__WRITE)
      & r_0006_0002__got_r_0006_0004__write(R_0006_0002__GOT_R_0006_0004__WRITE)
      & has_arg1(R_0006_0002__GOT_R_0006_0004__WRITE,R_0006_0005__THE_R_0006_0006__I2C_R_0006_0007__DRIVERS)
      & has_arg0(R_0006_0002__GOT_R_0006_0004__WRITE,R_0006_0001__I)
      & r_0006_0050__do(R_0006_0050__DO)
      & has_arg1(R_0006_0050__DO,R_0006_0051__IT)
      & has_arg0(R_0006_0050__DO,R_0006_0049__YOU)
      & has_nim(R_0006_0050__DO,R_0006_0048__HOW)
      & r_0006_0032__had_r_0006_0033__been_r_0006_0034__ripped_r_0006_0035__off(R_0006_0032__HAD_R_0006_0033__BEEN_R_0006_0034__RIPPED_R_0006_0035__OFF)
      & has_arg0(R_0006_0032__HAD_R_0006_0033__BEEN_R_0006_0034__RIPPED_R_0006_0035__OFF,Z_0006_5022___STAR_)
      & has_r_0006_0036__out_of__nim(R_0006_0032__HAD_R_0006_0033__BEEN_R_0006_0034__RIPPED_R_0006_0035__OFF,R_0006_0037__THE_R_0006_0038__ARX_R_0006_0039__IMPLEMENTATION)
      & has_arg1(R_0006_0032__HAD_R_0006_0033__BEEN_R_0006_0034__RIPPED_R_0006_0035__OFF,R_0006_0030__MODULA2)
      & r_0006_0021___apos_s_r_0006_0022__at(R_0006_0021___APOS_S_R_0006_0022__AT)
      & has_nim(R_0006_0021___APOS_S_R_0006_0022__AT,R_0006_0024__TODAY)
      & has_arg1(R_0006_0021___APOS_S_R_0006_0022__AT,R_0006_0023__ARM)
      & has_arg0(R_0006_0021___APOS_S_R_0006_0022__AT,R_0006_0017__JOHN_R_0006_0018__BIGGS) ) ).