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?”.

%3 r_0006_0002__got got r_0006_0003__to_r_0006_0004__write to write r_0006_0002__got->r_0006_0003__to_r_0006_0004__write [scope] r_0006_0001__I I r_0006_0003__to_r_0006_0004__write->r_0006_0001__I [arg0] r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers the I2C drivers r_0006_0003__to_r_0006_0004__write->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0011__was was r_0006_0009__actually actually r_0006_0011__was->r_0006_0009__actually [nim] r_0006_0012__given given r_0006_0011__was->r_0006_0012__given [scope] r_0006_0012__given->r_0006_0001__I [arg2] r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers some I2C drivers r_0006_0012__given->r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers [arg1] r_0006_0017__John_r_0006_0018__Biggs John Biggs r_0006_0012__given->r_0006_0017__John_r_0006_0018__Biggs [arg0] r_0006_0021___apos_s 's r_0006_0021___apos_s->r_0006_0017__John_r_0006_0018__Biggs [arg0] r_0006_0023__ARM ARM r_0006_0021___apos_s->r_0006_0023__ARM at [clr] r_0006_0024__today today r_0006_0021___apos_s->r_0006_0024__today [nim] r_0006_0027__were were r_0006_0028__written written r_0006_0027__were->r_0006_0028__written [scope] r_0006_0028__written->r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers [arg1] r_0006_0030__Modula2 Modula2 r_0006_0028__written->r_0006_0030__Modula2 in [nim] z_000_6_a_paulfellows_82 r_0006_0028__written->z_000_6_a_paulfellows_82 [arg0] r_0006_0032__had had r_0006_0033__been been r_0006_0032__had->r_0006_0033__been [scope] r_0006_0034__ripped_r_0006_0035__off ripped off r_0006_0033__been->r_0006_0034__ripped_r_0006_0035__off [scope] r_0006_0034__ripped_r_0006_0035__off->r_0006_0030__Modula2 [arg1] r_0006_0037__the_r_0006_0038__ARX_r_0006_0039__implementation the ARX implementation r_0006_0034__ripped_r_0006_0035__off->r_0006_0037__the_r_0006_0038__ARX_r_0006_0039__implementation out of [nim] z_000_6_a_paulfellows_102 r_0006_0034__ripped_r_0006_0035__off->z_000_6_a_paulfellows_102 [arg0] r_0006_0042__said said r_0006_0042__said->r_0006_0017__John_r_0006_0018__Biggs [arg0] utterance_6_a_paulfellows_129 [utterance] r_0006_0042__said->utterance_6_a_paulfellows_129 [arg1] r_0006_0044__here_r_0006_0047__is here is utterance_6_a_paulfellows_129->r_0006_0044__here_r_0006_0047__is [part1] r_0006_0053__make make utterance_6_a_paulfellows_129->r_0006_0053__make [part2] r_0006_0061___apos_ll 'll utterance_6_a_paulfellows_129->r_0006_0061___apos_ll [part3] r_0006_0066__test test utterance_6_a_paulfellows_129->r_0006_0066__test [part4] r_0006_0046__this this r_0006_0044__here_r_0006_0047__is->r_0006_0046__this [arg0] z_000_6_a_paulfellows_140 r_0006_0044__here_r_0006_0047__is->z_000_6_a_paulfellows_140 [prd] r_0006_0050__do do r_0006_0050__do->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0050__do->z_000_6_a_paulfellows_140 [nim] r_0006_0049__you you r_0006_0050__do->r_0006_0049__you [arg0] r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock the Time Clock r_0006_0053__make->r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock [arg1] r_0006_0058__work work r_0006_0053__make->r_0006_0058__work [prd] z_000_6_a_paulfellows_155 r_0006_0053__make->z_000_6_a_paulfellows_155 [arg0] r_0006_0055__Real Real r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock->r_0006_0055__Real [attrib] x_000_6_a_paulfellows_168 __ r_0006_0058__work->x_000_6_a_paulfellows_168 [arg0] r_0006_0062__be be r_0006_0061___apos_ll->r_0006_0062__be [scope] r_0006_0060__that that r_0006_0062__be->r_0006_0060__that [arg0] r_0006_0063__fine fine r_0006_0062__be->r_0006_0063__fine [prd] r_0006_0066__test->r_0006_0001__I for [nim] r_0006_0066__test->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0065__just just r_0006_0066__test->r_0006_0065__just [nim] z_000_6_a_paulfellows_187 r_0006_0066__test->z_000_6_a_paulfellows_187 [arg0] z_000_6_a_paulfellows_25 z_000_6_a_paulfellows_25->r_0006_0042__said [conj2] z_000_6_a_paulfellows_27 z_000_6_a_paulfellows_25->z_000_6_a_paulfellows_27 [conj1] z_000_6_a_paulfellows_27->r_0006_0011__was [conj1] z_000_6_a_paulfellows_27->r_0006_0027__were [conj2] z_000_6_a_paulfellows_2 z_000_6_a_paulfellows_2->r_0006_0002__got [conj1] z_000_6_a_paulfellows_2->z_000_6_a_paulfellows_25 [conj2]
arc(r_0006_0002__got, r_0006_0003__to_r_0006_0004__write, scope).
arc(r_0006_0003__to_r_0006_0004__write, r_0006_0001__I, arg0).
arc(r_0006_0003__to_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, nim29).
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, arg0).
arc(r_0006_0021___apos_s, r_0006_0017__John_r_0006_0018__Biggs, arg0).
arc(r_0006_0021___apos_s, r_0006_0023__ARM, r_0006_0022__at_clr66).
arc(r_0006_0021___apos_s, r_0006_0024__today, nim69).
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_nim89).
arc(r_0006_0028__written, z_000_6_a_paulfellows_82, 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_nim111).
arc(r_0006_0034__ripped_r_0006_0035__off, z_000_6_a_paulfellows_102, arg0).
arc(r_0006_0042__said, r_0006_0017__John_r_0006_0018__Biggs, arg0).
arc(r_0006_0042__said, utterance_6_a_paulfellows_129, arg1).
arc(r_0006_0044__here_r_0006_0047__is, r_0006_0046__this, arg0).
arc(r_0006_0044__here_r_0006_0047__is, z_000_6_a_paulfellows_140, prd).
arc(r_0006_0050__do, r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers, arg1).
arc(r_0006_0050__do, r_0006_0049__you, arg0).
arc(r_0006_0050__do, z_000_6_a_paulfellows_140, nim142).
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_000_6_a_paulfellows_155, arg0).
arc(r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock, r_0006_0055__Real, attrib161).
arc(r_0006_0058__work, x_000_6_a_paulfellows_168, 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_nim199).
arc(r_0006_0066__test, r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers, arg1).
arc(r_0006_0066__test, r_0006_0065__just, nim188).
arc(r_0006_0066__test, z_000_6_a_paulfellows_187, arg0).
arc(utterance_6_a_paulfellows_129, r_0006_0044__here_r_0006_0047__is, part1).
arc(utterance_6_a_paulfellows_129, r_0006_0053__make, part2).
arc(utterance_6_a_paulfellows_129, r_0006_0061___apos_ll, part3).
arc(utterance_6_a_paulfellows_129, r_0006_0066__test, part4).
arc(z_000_6_a_paulfellows_25, r_0006_0042__said, conj2).
arc(z_000_6_a_paulfellows_25, z_000_6_a_paulfellows_27, conj1).
arc(z_000_6_a_paulfellows_27, r_0006_0011__was, conj1).
arc(z_000_6_a_paulfellows_27, r_0006_0027__were, conj2).
arc(z_000_6_a_paulfellows_2, r_0006_0002__got, conj1).
arc(z_000_6_a_paulfellows_2, z_000_6_a_paulfellows_25, conj2).



%3 r_0006_0002__got_r_0006_0003__to_r_0006_0004__write got to write r_0006_0001__I I r_0006_0002__got_r_0006_0003__to_r_0006_0004__write->r_0006_0001__I [arg0] r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers the I2C drivers r_0006_0002__got_r_0006_0003__to_r_0006_0004__write->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0011__was_r_0006_0012__given was given r_0006_0011__was_r_0006_0012__given->r_0006_0001__I [arg2] r_0006_0009__actually actually r_0006_0011__was_r_0006_0012__given->r_0006_0009__actually [nim] r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers some I2C drivers r_0006_0011__was_r_0006_0012__given->r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers [arg1] r_0006_0017__John_r_0006_0018__Biggs John Biggs r_0006_0011__was_r_0006_0012__given->r_0006_0017__John_r_0006_0018__Biggs [arg0] r_0006_0021___apos_s 's r_0006_0021___apos_s->r_0006_0017__John_r_0006_0018__Biggs [arg0] r_0006_0023__ARM ARM r_0006_0021___apos_s->r_0006_0023__ARM at [clr] r_0006_0024__today today r_0006_0021___apos_s->r_0006_0024__today [nim] r_0006_0027__were_r_0006_0028__written were written r_0006_0027__were_r_0006_0028__written->r_0006_0013__some_r_0006_0014__I2C_r_0006_0015__drivers [arg1] r_0006_0030__Modula2 Modula2 r_0006_0027__were_r_0006_0028__written->r_0006_0030__Modula2 in [nim] z_000_6_a_paulfellows_82 r_0006_0027__were_r_0006_0028__written->z_000_6_a_paulfellows_82 [arg0] r_0006_0032__had_r_0006_0033__been_r_0006_0034__ripped_r_0006_0035__off had been ripped off r_0006_0032__had_r_0006_0033__been_r_0006_0034__ripped_r_0006_0035__off->r_0006_0030__Modula2 [arg1] r_0006_0037__the_r_0006_0038__ARX_r_0006_0039__implementation the ARX implementation 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 out of [nim] z_000_6_a_paulfellows_102 r_0006_0032__had_r_0006_0033__been_r_0006_0034__ripped_r_0006_0035__off->z_000_6_a_paulfellows_102 [arg0] r_0006_0042__said said r_0006_0042__said->r_0006_0017__John_r_0006_0018__Biggs [arg0] utterance_6_a_paulfellows_129 [utterance] r_0006_0042__said->utterance_6_a_paulfellows_129 [arg1] r_0006_0044__here_r_0006_0047__is here is utterance_6_a_paulfellows_129->r_0006_0044__here_r_0006_0047__is [part1] r_0006_0053__make make utterance_6_a_paulfellows_129->r_0006_0053__make [part2] r_0006_0061___apos_ll_r_0006_0062__be 'll be utterance_6_a_paulfellows_129->r_0006_0061___apos_ll_r_0006_0062__be [part3] r_0006_0066__test test utterance_6_a_paulfellows_129->r_0006_0066__test [part4] r_0006_0046__this this r_0006_0044__here_r_0006_0047__is->r_0006_0046__this [arg0] z_000_6_a_paulfellows_140 r_0006_0044__here_r_0006_0047__is->z_000_6_a_paulfellows_140 [prd] r_0006_0050__do do r_0006_0050__do->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0050__do->z_000_6_a_paulfellows_140 [nim] r_0006_0049__you you r_0006_0050__do->r_0006_0049__you [arg0] r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock the Time Clock r_0006_0053__make->r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock [arg1] r_0006_0058__work work r_0006_0053__make->r_0006_0058__work [prd] z_000_6_a_paulfellows_155 r_0006_0053__make->z_000_6_a_paulfellows_155 [arg0] r_0006_0055__Real Real r_0006_0054__the_r_0006_0056__Time_r_0006_0057__Clock->r_0006_0055__Real [attrib] x_000_6_a_paulfellows_168 __ r_0006_0058__work->x_000_6_a_paulfellows_168 [arg0] r_0006_0060__that that r_0006_0061___apos_ll_r_0006_0062__be->r_0006_0060__that [arg0] r_0006_0063__fine fine r_0006_0061___apos_ll_r_0006_0062__be->r_0006_0063__fine [prd] r_0006_0066__test->r_0006_0001__I for [nim] r_0006_0066__test->r_0006_0005__the_r_0006_0006__I2C_r_0006_0007__drivers [arg1] r_0006_0065__just just r_0006_0066__test->r_0006_0065__just [nim] z_000_6_a_paulfellows_187 r_0006_0066__test->z_000_6_a_paulfellows_187 [arg0] z_000_6_a_paulfellows_25 z_000_6_a_paulfellows_25->r_0006_0042__said [conj2] z_000_6_a_paulfellows_27 z_000_6_a_paulfellows_25->z_000_6_a_paulfellows_27 [conj1] z_000_6_a_paulfellows_27->r_0006_0011__was_r_0006_0012__given [conj1] z_000_6_a_paulfellows_27->r_0006_0027__were_r_0006_0028__written [conj2] z_000_6_a_paulfellows_2 z_000_6_a_paulfellows_2->r_0006_0002__got_r_0006_0003__to_r_0006_0004__write [conj1] z_000_6_a_paulfellows_2->z_000_6_a_paulfellows_25 [conj2]
fof(formula,axiom,
    ? [R_6_21__APOS_S,R_6_24_TODAY,R_6_23_ARM,R_6_32_HAD_BEEN_RIPPED_OFF,Z_6_A_PAULFELLOWS_102,R_6_37_THE_ARX_IMPLEMENTATION,R_6_50_DO,R_6_49_YOU,Z_6_A_PAULFELLOWS_2,R_6_2_GOT_TO_WRITE,Z_6_A_PAULFELLOWS_25,Z_6_A_PAULFELLOWS_27,R_6_11_WAS_GIVEN,R_6_9_ACTUALLY,R_6_27_WERE_WRITTEN,Z_6_A_PAULFELLOWS_82,R_6_13_SOME_I2C_DRIVERS,R_6_30_MODULA2,R_6_42_SAID,R_6_17_JOHN_BIGGS,UTTERANCE_6_A_PAULFELLOWS_129,R_6_44_HERE_IS,R_6_46_THIS,Z_6_A_PAULFELLOWS_140,R_6_53_MAKE,Z_6_A_PAULFELLOWS_155,R_6_54_THE_TIME_CLOCK,R_6_55_REAL,R_6_58_WORK,X_6_A_PAULFELLOWS_168,R_6_61__APOS_LL_BE,R_6_60_THAT,R_6_63_FINE,R_6_66_TEST,Z_6_A_PAULFELLOWS_187,R_6_5_THE_I2C_DRIVERS,R_6_65_JUST,R_6_1_I] :
      ( today(R_6_24_TODAY)
      & aRM(R_6_23_ARM)
      & the_ARX_implementation(R_6_37_THE_ARX_IMPLEMENTATION)
      & you(R_6_49_YOU)
      & actually(R_6_9_ACTUALLY)
      & some_I2C_drivers(R_6_13_SOME_I2C_DRIVERS)
      & modula2(R_6_30_MODULA2)
      & john_Biggs(R_6_17_JOHN_BIGGS)
      & this(R_6_46_THIS)
      & real(R_6_55_REAL)
      & that(R_6_60_THAT)
      & fine(R_6_63_FINE)
      & the_I2C_drivers(R_6_5_THE_I2C_DRIVERS)
      & just(R_6_65_JUST)
      & i(R_6_1_I)
      & _apos_s(R_6_21__APOS_S,R_6_17_JOHN_BIGGS)
      & nim69(R_6_21__APOS_S,R_6_24_TODAY)
      & at_clr66(R_6_21__APOS_S,R_6_23_ARM)
      & had_been_ripped_off(R_6_32_HAD_BEEN_RIPPED_OFF,Z_6_A_PAULFELLOWS_102,R_6_30_MODULA2)
      & out_of_nim111(R_6_32_HAD_BEEN_RIPPED_OFF,R_6_37_THE_ARX_IMPLEMENTATION)
      & do(R_6_50_DO,R_6_49_YOU,R_6_5_THE_I2C_DRIVERS)
      & nim142(R_6_50_DO,Z_6_A_PAULFELLOWS_140)
      & z_6_a_paulfellows_2(Z_6_A_PAULFELLOWS_2)
      & conj1(Z_6_A_PAULFELLOWS_2,R_6_2_GOT_TO_WRITE)
      & got_to_write(R_6_2_GOT_TO_WRITE,R_6_1_I,R_6_5_THE_I2C_DRIVERS)
      & conj2(Z_6_A_PAULFELLOWS_2,Z_6_A_PAULFELLOWS_25)
      & z_6_a_paulfellows_25(Z_6_A_PAULFELLOWS_25)
      & conj1(Z_6_A_PAULFELLOWS_25,Z_6_A_PAULFELLOWS_27)
      & z_6_a_paulfellows_27(Z_6_A_PAULFELLOWS_27)
      & conj1(Z_6_A_PAULFELLOWS_27,R_6_11_WAS_GIVEN)
      & was_given(R_6_11_WAS_GIVEN,R_6_17_JOHN_BIGGS,R_6_13_SOME_I2C_DRIVERS,R_6_1_I)
      & nim29(R_6_11_WAS_GIVEN,R_6_9_ACTUALLY)
      & conj2(Z_6_A_PAULFELLOWS_27,R_6_27_WERE_WRITTEN)
      & were_written(R_6_27_WERE_WRITTEN,Z_6_A_PAULFELLOWS_82,R_6_13_SOME_I2C_DRIVERS)
      & in_nim89(R_6_27_WERE_WRITTEN,R_6_30_MODULA2)
      & conj2(Z_6_A_PAULFELLOWS_25,R_6_42_SAID)
      & said(R_6_42_SAID,R_6_17_JOHN_BIGGS,UTTERANCE_6_A_PAULFELLOWS_129)
      & utterance_6_a_paulfellows_129(UTTERANCE_6_A_PAULFELLOWS_129)
      & part1(UTTERANCE_6_A_PAULFELLOWS_129,R_6_44_HERE_IS)
      & here_is(R_6_44_HERE_IS,R_6_46_THIS,Z_6_A_PAULFELLOWS_140)
      & part2(UTTERANCE_6_A_PAULFELLOWS_129,R_6_53_MAKE)
      & make(R_6_53_MAKE,Z_6_A_PAULFELLOWS_155,R_6_54_THE_TIME_CLOCK,R_6_58_WORK)
      & the_Time_Clock(R_6_54_THE_TIME_CLOCK)
      & attrib161(R_6_54_THE_TIME_CLOCK,R_6_55_REAL)
      & work(R_6_58_WORK,X_6_A_PAULFELLOWS_168)
      & part3(UTTERANCE_6_A_PAULFELLOWS_129,R_6_61__APOS_LL_BE)
      & _apos_ll_be(R_6_61__APOS_LL_BE,R_6_60_THAT,R_6_63_FINE)
      & part4(UTTERANCE_6_A_PAULFELLOWS_129,R_6_66_TEST)
      & test(R_6_66_TEST,Z_6_A_PAULFELLOWS_187,R_6_5_THE_I2C_DRIVERS)
      & nim188(R_6_66_TEST,R_6_65_JUST)
      & for_nim199(R_6_66_TEST,R_6_1_I) ) ).



n6_a_paulfellows n6_a_paulfellows_6 I n6_a_paulfellows_8 got n6_a_paulfellows_11 to n6_a_paulfellows_13 write n6_a_paulfellows_16 the n6_a_paulfellows_18 I2C n6_a_paulfellows_20 drivers n6_a_paulfellows_22 , n6_a_paulfellows_31 actually n6_a_paulfellows_34 I n6_a_paulfellows_36 was n6_a_paulfellows_39 given n6_a_paulfellows_42 some n6_a_paulfellows_44 I2C n6_a_paulfellows_46 drivers n6_a_paulfellows_49 by n6_a_paulfellows_52 John n6_a_paulfellows_54 Biggs n6_a_paulfellows_56 , n6_a_paulfellows_60 who n6_a_paulfellows_62 's n6_a_paulfellows_65 at n6_a_paulfellows_68 ARM n6_a_paulfellows_71 today n6_a_paulfellows_73 , n6_a_paulfellows_78 they n6_a_paulfellows_80 were n6_a_paulfellows_83 * n6_a_paulfellows_85 written n6_a_paulfellows_88 in n6_a_paulfellows_91 Modula2 n6_a_paulfellows_95 which n6_a_paulfellows_97 had n6_a_paulfellows_100 been n6_a_paulfellows_103 * n6_a_paulfellows_105 ripped n6_a_paulfellows_107 off n6_a_paulfellows_110 out_of n6_a_paulfellows_113 the n6_a_paulfellows_115 ARX n6_a_paulfellows_117 implementation n6_a_paulfellows_119 , n6_a_paulfellows_124 he n6_a_paulfellows_126 said n6_a_paulfellows_128 <ldquo> n6_a_paulfellows_132 here n6_a_paulfellows_134 , n6_a_paulfellows_137 this n6_a_paulfellows_139 is n6_a_paulfellows_144 how n6_a_paulfellows_147 you n6_a_paulfellows_149 do n6_a_paulfellows_152 it n6_a_paulfellows_154 , n6_a_paulfellows_157 make n6_a_paulfellows_160 the n6_a_paulfellows_163 Real n6_a_paulfellows_165 Time n6_a_paulfellows_167 Clock n6_a_paulfellows_170 work n6_a_paulfellows_172 , n6_a_paulfellows_176 that n6_a_paulfellows_178 'll n6_a_paulfellows_181 be n6_a_paulfellows_184 fine n6_a_paulfellows_186 , n6_a_paulfellows_190 just n6_a_paulfellows_192 test n6_a_paulfellows_195 it n6_a_paulfellows_198 for n6_a_paulfellows_201 me n6_a_paulfellows_205 will n6_a_paulfellows_208 you n6_a_paulfellows_210 ? n6_a_paulfellows_212 <rdquo> n6_a_paulfellows_214 . n6_a_paulfellows_1 IP-MAT n6_a_paulfellows_2 ILYR n6_a_paulfellows_1->n6_a_paulfellows_2 n6_a_paulfellows_213 PUNC n6_a_paulfellows_1->n6_a_paulfellows_213 n6_a_paulfellows_3 ILYR n6_a_paulfellows_2->n6_a_paulfellows_3 n6_a_paulfellows_21 PUNC n6_a_paulfellows_2->n6_a_paulfellows_21 n6_a_paulfellows_23 CONJP n6_a_paulfellows_2->n6_a_paulfellows_23 n6_a_paulfellows_4 NP-SBJ n6_a_paulfellows_3->n6_a_paulfellows_4 n6_a_paulfellows_7 VBD;_cat_Vt_ n6_a_paulfellows_3->n6_a_paulfellows_7 n6_a_paulfellows_9 IP-INF-CAT n6_a_paulfellows_3->n6_a_paulfellows_9 n6_a_paulfellows_5 PRO n6_a_paulfellows_4->n6_a_paulfellows_5 n6_a_paulfellows_5->n6_a_paulfellows_6 n6_a_paulfellows_7->n6_a_paulfellows_8 n6_a_paulfellows_10 TO n6_a_paulfellows_9->n6_a_paulfellows_10 n6_a_paulfellows_12 VB;_Tn_ n6_a_paulfellows_9->n6_a_paulfellows_12 n6_a_paulfellows_14 NP-OB1 n6_a_paulfellows_9->n6_a_paulfellows_14 n6_a_paulfellows_10->n6_a_paulfellows_11 n6_a_paulfellows_12->n6_a_paulfellows_13 n6_a_paulfellows_15 D n6_a_paulfellows_14->n6_a_paulfellows_15 n6_a_paulfellows_17 NPR n6_a_paulfellows_14->n6_a_paulfellows_17 n6_a_paulfellows_19 NS n6_a_paulfellows_14->n6_a_paulfellows_19 n6_a_paulfellows_15->n6_a_paulfellows_16 n6_a_paulfellows_17->n6_a_paulfellows_18 n6_a_paulfellows_19->n6_a_paulfellows_20 n6_a_paulfellows_21->n6_a_paulfellows_22 n6_a_paulfellows_24 ILYR n6_a_paulfellows_23->n6_a_paulfellows_24 n6_a_paulfellows_25 ILYR n6_a_paulfellows_24->n6_a_paulfellows_25 n6_a_paulfellows_26 ILYR n6_a_paulfellows_25->n6_a_paulfellows_26 n6_a_paulfellows_118 PUNC n6_a_paulfellows_25->n6_a_paulfellows_118 n6_a_paulfellows_120 CONJP n6_a_paulfellows_25->n6_a_paulfellows_120 n6_a_paulfellows_27 ILYR n6_a_paulfellows_26->n6_a_paulfellows_27 n6_a_paulfellows_28 ILYR n6_a_paulfellows_27->n6_a_paulfellows_28 n6_a_paulfellows_72 PUNC n6_a_paulfellows_27->n6_a_paulfellows_72 n6_a_paulfellows_74 CONJP n6_a_paulfellows_27->n6_a_paulfellows_74 n6_a_paulfellows_29 ADVP-NIM n6_a_paulfellows_28->n6_a_paulfellows_29 n6_a_paulfellows_32 NP-SBJ n6_a_paulfellows_28->n6_a_paulfellows_32 n6_a_paulfellows_35 BED;_cat_VePASS_ n6_a_paulfellows_28->n6_a_paulfellows_35 n6_a_paulfellows_37 IP-PPL-CAT n6_a_paulfellows_28->n6_a_paulfellows_37 n6_a_paulfellows_30 ADV n6_a_paulfellows_29->n6_a_paulfellows_30 n6_a_paulfellows_30->n6_a_paulfellows_31 n6_a_paulfellows_33 PRO n6_a_paulfellows_32->n6_a_paulfellows_33 n6_a_paulfellows_33->n6_a_paulfellows_34 n6_a_paulfellows_35->n6_a_paulfellows_36 n6_a_paulfellows_38 VVN;_Dn.n_ n6_a_paulfellows_37->n6_a_paulfellows_38 n6_a_paulfellows_40 NP-OB1 n6_a_paulfellows_37->n6_a_paulfellows_40 n6_a_paulfellows_47 PP-LGS n6_a_paulfellows_37->n6_a_paulfellows_47 n6_a_paulfellows_38->n6_a_paulfellows_39 n6_a_paulfellows_41 D n6_a_paulfellows_40->n6_a_paulfellows_41 n6_a_paulfellows_43 NPR n6_a_paulfellows_40->n6_a_paulfellows_43 n6_a_paulfellows_45 NS n6_a_paulfellows_40->n6_a_paulfellows_45 n6_a_paulfellows_41->n6_a_paulfellows_42 n6_a_paulfellows_43->n6_a_paulfellows_44 n6_a_paulfellows_45->n6_a_paulfellows_46 n6_a_paulfellows_48 P-ROLE;_lgs_ n6_a_paulfellows_47->n6_a_paulfellows_48 n6_a_paulfellows_50 NP n6_a_paulfellows_47->n6_a_paulfellows_50 n6_a_paulfellows_48->n6_a_paulfellows_49 n6_a_paulfellows_51 NPR n6_a_paulfellows_50->n6_a_paulfellows_51 n6_a_paulfellows_53 NPR n6_a_paulfellows_50->n6_a_paulfellows_53 n6_a_paulfellows_55 PUNC n6_a_paulfellows_50->n6_a_paulfellows_55 n6_a_paulfellows_57 IP-REL n6_a_paulfellows_50->n6_a_paulfellows_57 n6_a_paulfellows_51->n6_a_paulfellows_52 n6_a_paulfellows_53->n6_a_paulfellows_54 n6_a_paulfellows_55->n6_a_paulfellows_56 n6_a_paulfellows_58 NP-SBJ n6_a_paulfellows_57->n6_a_paulfellows_58 n6_a_paulfellows_61 BEP;_Ipr_ n6_a_paulfellows_57->n6_a_paulfellows_61 n6_a_paulfellows_63 PP-CLR n6_a_paulfellows_57->n6_a_paulfellows_63 n6_a_paulfellows_69 NP-NIM n6_a_paulfellows_57->n6_a_paulfellows_69 n6_a_paulfellows_59 RPRO n6_a_paulfellows_58->n6_a_paulfellows_59 n6_a_paulfellows_59->n6_a_paulfellows_60 n6_a_paulfellows_61->n6_a_paulfellows_62 n6_a_paulfellows_64 P-ROLE n6_a_paulfellows_63->n6_a_paulfellows_64 n6_a_paulfellows_66 NP n6_a_paulfellows_63->n6_a_paulfellows_66 n6_a_paulfellows_64->n6_a_paulfellows_65 n6_a_paulfellows_67 N n6_a_paulfellows_66->n6_a_paulfellows_67 n6_a_paulfellows_67->n6_a_paulfellows_68 n6_a_paulfellows_70 N n6_a_paulfellows_69->n6_a_paulfellows_70 n6_a_paulfellows_70->n6_a_paulfellows_71 n6_a_paulfellows_72->n6_a_paulfellows_73 n6_a_paulfellows_75 ILYR n6_a_paulfellows_74->n6_a_paulfellows_75 n6_a_paulfellows_76 NP-SBJ n6_a_paulfellows_75->n6_a_paulfellows_76 n6_a_paulfellows_79 BED;_cat_VePASS_ n6_a_paulfellows_75->n6_a_paulfellows_79 n6_a_paulfellows_81 IP-PPL-CAT n6_a_paulfellows_75->n6_a_paulfellows_81 n6_a_paulfellows_77 PRO n6_a_paulfellows_76->n6_a_paulfellows_77 n6_a_paulfellows_77->n6_a_paulfellows_78 n6_a_paulfellows_79->n6_a_paulfellows_80 n6_a_paulfellows_82 NP-LGS n6_a_paulfellows_81->n6_a_paulfellows_82 n6_a_paulfellows_84 VVN;_Tn_ n6_a_paulfellows_81->n6_a_paulfellows_84 n6_a_paulfellows_86 PP-NIM n6_a_paulfellows_81->n6_a_paulfellows_86 n6_a_paulfellows_82->n6_a_paulfellows_83 n6_a_paulfellows_84->n6_a_paulfellows_85 n6_a_paulfellows_87 P-ROLE n6_a_paulfellows_86->n6_a_paulfellows_87 n6_a_paulfellows_89 NP n6_a_paulfellows_86->n6_a_paulfellows_89 n6_a_paulfellows_87->n6_a_paulfellows_88 n6_a_paulfellows_90 NPR n6_a_paulfellows_89->n6_a_paulfellows_90 n6_a_paulfellows_92 IP-REL n6_a_paulfellows_89->n6_a_paulfellows_92 n6_a_paulfellows_90->n6_a_paulfellows_91 n6_a_paulfellows_93 NP-SBJ n6_a_paulfellows_92->n6_a_paulfellows_93 n6_a_paulfellows_96 HVD;_cat_Ve_ n6_a_paulfellows_92->n6_a_paulfellows_96 n6_a_paulfellows_98 IP-PPL-CAT n6_a_paulfellows_92->n6_a_paulfellows_98 n6_a_paulfellows_94 RPRO n6_a_paulfellows_93->n6_a_paulfellows_94 n6_a_paulfellows_94->n6_a_paulfellows_95 n6_a_paulfellows_96->n6_a_paulfellows_97 n6_a_paulfellows_99 BEN;_cat_VePASS_ n6_a_paulfellows_98->n6_a_paulfellows_99 n6_a_paulfellows_101 IP-PPL-CAT n6_a_paulfellows_98->n6_a_paulfellows_101 n6_a_paulfellows_99->n6_a_paulfellows_100 n6_a_paulfellows_102 NP-LGS n6_a_paulfellows_101->n6_a_paulfellows_102 n6_a_paulfellows_104 VVN;__ n6_a_paulfellows_101->n6_a_paulfellows_104 n6_a_paulfellows_106 RP n6_a_paulfellows_101->n6_a_paulfellows_106 n6_a_paulfellows_108 PP-NIM n6_a_paulfellows_101->n6_a_paulfellows_108 n6_a_paulfellows_102->n6_a_paulfellows_103 n6_a_paulfellows_104->n6_a_paulfellows_105 n6_a_paulfellows_106->n6_a_paulfellows_107 n6_a_paulfellows_109 P-ROLE n6_a_paulfellows_108->n6_a_paulfellows_109 n6_a_paulfellows_111 NP n6_a_paulfellows_108->n6_a_paulfellows_111 n6_a_paulfellows_109->n6_a_paulfellows_110 n6_a_paulfellows_112 D n6_a_paulfellows_111->n6_a_paulfellows_112 n6_a_paulfellows_114 NPR n6_a_paulfellows_111->n6_a_paulfellows_114 n6_a_paulfellows_116 N n6_a_paulfellows_111->n6_a_paulfellows_116 n6_a_paulfellows_112->n6_a_paulfellows_113 n6_a_paulfellows_114->n6_a_paulfellows_115 n6_a_paulfellows_116->n6_a_paulfellows_117 n6_a_paulfellows_118->n6_a_paulfellows_119 n6_a_paulfellows_121 ILYR n6_a_paulfellows_120->n6_a_paulfellows_121 n6_a_paulfellows_122 NP-SBJ n6_a_paulfellows_121->n6_a_paulfellows_122 n6_a_paulfellows_125 VBD;_Tr_ n6_a_paulfellows_121->n6_a_paulfellows_125 n6_a_paulfellows_127 PULQ n6_a_paulfellows_121->n6_a_paulfellows_127 n6_a_paulfellows_129 utterance-OB1 n6_a_paulfellows_121->n6_a_paulfellows_129 n6_a_paulfellows_211 PURQ n6_a_paulfellows_121->n6_a_paulfellows_211 n6_a_paulfellows_123 PRO n6_a_paulfellows_122->n6_a_paulfellows_123 n6_a_paulfellows_123->n6_a_paulfellows_124 n6_a_paulfellows_125->n6_a_paulfellows_126 n6_a_paulfellows_127->n6_a_paulfellows_128 n6_a_paulfellows_130 IP-MAT n6_a_paulfellows_129->n6_a_paulfellows_130 n6_a_paulfellows_155 IP-IMP n6_a_paulfellows_129->n6_a_paulfellows_155 n6_a_paulfellows_173 IP-MAT n6_a_paulfellows_129->n6_a_paulfellows_173 n6_a_paulfellows_187 IP-IMP n6_a_paulfellows_129->n6_a_paulfellows_187 n6_a_paulfellows_131 REACT n6_a_paulfellows_130->n6_a_paulfellows_131 n6_a_paulfellows_133 PUNC n6_a_paulfellows_130->n6_a_paulfellows_133 n6_a_paulfellows_135 NP-SBJ n6_a_paulfellows_130->n6_a_paulfellows_135 n6_a_paulfellows_138 BEP;_Ln_ n6_a_paulfellows_130->n6_a_paulfellows_138 n6_a_paulfellows_140 NP-PRD n6_a_paulfellows_130->n6_a_paulfellows_140 n6_a_paulfellows_153 PUNC n6_a_paulfellows_130->n6_a_paulfellows_153 n6_a_paulfellows_131->n6_a_paulfellows_132 n6_a_paulfellows_133->n6_a_paulfellows_134 n6_a_paulfellows_136 D;_nphd_ n6_a_paulfellows_135->n6_a_paulfellows_136 n6_a_paulfellows_136->n6_a_paulfellows_137 n6_a_paulfellows_138->n6_a_paulfellows_139 n6_a_paulfellows_141 IP-REL n6_a_paulfellows_140->n6_a_paulfellows_141 n6_a_paulfellows_142 ADVP-NIM n6_a_paulfellows_141->n6_a_paulfellows_142 n6_a_paulfellows_145 NP-SBJ n6_a_paulfellows_141->n6_a_paulfellows_145 n6_a_paulfellows_148 DOP;_Tn_ n6_a_paulfellows_141->n6_a_paulfellows_148 n6_a_paulfellows_150 NP-OB1 n6_a_paulfellows_141->n6_a_paulfellows_150 n6_a_paulfellows_143 RADV n6_a_paulfellows_142->n6_a_paulfellows_143 n6_a_paulfellows_143->n6_a_paulfellows_144 n6_a_paulfellows_146 PRO n6_a_paulfellows_145->n6_a_paulfellows_146 n6_a_paulfellows_146->n6_a_paulfellows_147 n6_a_paulfellows_148->n6_a_paulfellows_149 n6_a_paulfellows_151 PRO n6_a_paulfellows_150->n6_a_paulfellows_151 n6_a_paulfellows_151->n6_a_paulfellows_152 n6_a_paulfellows_153->n6_a_paulfellows_154 n6_a_paulfellows_156 VB;_Cn.i_ n6_a_paulfellows_155->n6_a_paulfellows_156 n6_a_paulfellows_158 NP-OB1 n6_a_paulfellows_155->n6_a_paulfellows_158 n6_a_paulfellows_168 IP-INF-PRD n6_a_paulfellows_155->n6_a_paulfellows_168 n6_a_paulfellows_171 PUNC n6_a_paulfellows_155->n6_a_paulfellows_171 n6_a_paulfellows_156->n6_a_paulfellows_157 n6_a_paulfellows_159 D n6_a_paulfellows_158->n6_a_paulfellows_159 n6_a_paulfellows_161 ADJP n6_a_paulfellows_158->n6_a_paulfellows_161 n6_a_paulfellows_164 N n6_a_paulfellows_158->n6_a_paulfellows_164 n6_a_paulfellows_166 N n6_a_paulfellows_158->n6_a_paulfellows_166 n6_a_paulfellows_159->n6_a_paulfellows_160 n6_a_paulfellows_162 ADJ n6_a_paulfellows_161->n6_a_paulfellows_162 n6_a_paulfellows_162->n6_a_paulfellows_163 n6_a_paulfellows_164->n6_a_paulfellows_165 n6_a_paulfellows_166->n6_a_paulfellows_167 n6_a_paulfellows_169 VB;_I_ n6_a_paulfellows_168->n6_a_paulfellows_169 n6_a_paulfellows_169->n6_a_paulfellows_170 n6_a_paulfellows_171->n6_a_paulfellows_172 n6_a_paulfellows_174 NP-SBJ n6_a_paulfellows_173->n6_a_paulfellows_174 n6_a_paulfellows_177 MD;_cat_Vi_ n6_a_paulfellows_173->n6_a_paulfellows_177 n6_a_paulfellows_179 IP-INF-CAT n6_a_paulfellows_173->n6_a_paulfellows_179 n6_a_paulfellows_185 PUNC n6_a_paulfellows_173->n6_a_paulfellows_185 n6_a_paulfellows_175 D;_nphd_ n6_a_paulfellows_174->n6_a_paulfellows_175 n6_a_paulfellows_175->n6_a_paulfellows_176 n6_a_paulfellows_177->n6_a_paulfellows_178 n6_a_paulfellows_180 BE;_La_ n6_a_paulfellows_179->n6_a_paulfellows_180 n6_a_paulfellows_182 ADJP-PRD n6_a_paulfellows_179->n6_a_paulfellows_182 n6_a_paulfellows_180->n6_a_paulfellows_181 n6_a_paulfellows_183 ADJ n6_a_paulfellows_182->n6_a_paulfellows_183 n6_a_paulfellows_183->n6_a_paulfellows_184 n6_a_paulfellows_185->n6_a_paulfellows_186 n6_a_paulfellows_188 ADVP-NIM n6_a_paulfellows_187->n6_a_paulfellows_188 n6_a_paulfellows_191 VB;_Tn_ n6_a_paulfellows_187->n6_a_paulfellows_191 n6_a_paulfellows_193 NP-OB1 n6_a_paulfellows_187->n6_a_paulfellows_193 n6_a_paulfellows_196 PP-NIM n6_a_paulfellows_187->n6_a_paulfellows_196 n6_a_paulfellows_202 CP-QUE-TAG n6_a_paulfellows_187->n6_a_paulfellows_202 n6_a_paulfellows_209 PUNC n6_a_paulfellows_187->n6_a_paulfellows_209 n6_a_paulfellows_189 ADV n6_a_paulfellows_188->n6_a_paulfellows_189 n6_a_paulfellows_189->n6_a_paulfellows_190 n6_a_paulfellows_191->n6_a_paulfellows_192 n6_a_paulfellows_194 PRO n6_a_paulfellows_193->n6_a_paulfellows_194 n6_a_paulfellows_194->n6_a_paulfellows_195 n6_a_paulfellows_197 P-ROLE n6_a_paulfellows_196->n6_a_paulfellows_197 n6_a_paulfellows_199 NP n6_a_paulfellows_196->n6_a_paulfellows_199 n6_a_paulfellows_197->n6_a_paulfellows_198 n6_a_paulfellows_200 PRO n6_a_paulfellows_199->n6_a_paulfellows_200 n6_a_paulfellows_200->n6_a_paulfellows_201 n6_a_paulfellows_203 IP-SUB n6_a_paulfellows_202->n6_a_paulfellows_203 n6_a_paulfellows_204 MD;_cat_Vi_ n6_a_paulfellows_203->n6_a_paulfellows_204 n6_a_paulfellows_206 NP-SBJ n6_a_paulfellows_203->n6_a_paulfellows_206 n6_a_paulfellows_204->n6_a_paulfellows_205 n6_a_paulfellows_207 PRO n6_a_paulfellows_206->n6_a_paulfellows_207 n6_a_paulfellows_207->n6_a_paulfellows_208 n6_a_paulfellows_209->n6_a_paulfellows_210 n6_a_paulfellows_211->n6_a_paulfellows_212 n6_a_paulfellows_213->n6_a_paulfellows_214
( (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))