Context                Previous, Next                Top


75_a_paulfellows
So they did their demonstration and we turned up, Tim Dobson had written a clock program, we turned up with an A305 with 256 KB RAM, an Arthur desktop and a ticking clock program, and we ran 16 of them which ticked smoothly, and ARX got cancelled the next day.

%3 r_0075_0003__did did r_0075_0001__So So r_0075_0003__did->r_0075_0001__So [nim] r_0075_0002__they they r_0075_0003__did->r_0075_0002__they [arg0] r_0075_0005__demonstration demonstration r_0075_0003__did->r_0075_0005__demonstration [arg1] r_0075_0005__demonstration->r_0075_0002__they [gen] r_0075_0006__and and r_0075_0006__and->r_0075_0003__did [conj1] r_0075_0008__turned_r_0075_0009__up turned up r_0075_0006__and->r_0075_0008__turned_r_0075_0009__up [conj2] r_0075_0007__we we r_0075_0008__turned_r_0075_0009__up->r_0075_0007__we [arg0] r_0075_0020__turned_r_0075_0021__up turned up r_0075_0020__turned_r_0075_0021__up->r_0075_0007__we [arg0] r_0075_0033__and and r_0075_0020__turned_r_0075_0021__up->r_0075_0033__and with [nim] r_0075_0023__an_r_0075_0024__A305 an A305 r_0075_0033__and->r_0075_0023__an_r_0075_0024__A305 [conj1] r_0075_0030__an_r_0075_0031__Arthur_r_0075_0032__desktop an Arthur desktop r_0075_0033__and->r_0075_0030__an_r_0075_0031__Arthur_r_0075_0032__desktop [conj2] r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program a clock program r_0075_0033__and->r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program [conj3] r_0075_0026__256_r_0075_0027__KB_r_0075_0028__RAM 256 KB RAM r_0075_0023__an_r_0075_0024__A305->r_0075_0026__256_r_0075_0027__KB_r_0075_0028__RAM with r_0075_0035__ticking ticking r_0075_0035__ticking->r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program [arg0] r_0075_0039__and and r_0075_0039__and->r_0075_0020__turned_r_0075_0021__up [conj1] r_0075_0041__ran ran r_0075_0039__and->r_0075_0041__ran [conj2] r_0075_0041__ran->r_0075_0007__we [arg0] r_0075_0042__16 16 r_0075_0041__ran->r_0075_0042__16 [arg1] r_0075_0044__them them r_0075_0042__16->r_0075_0044__them of r_0075_0046__ticked ticked r_0075_0046__ticked->r_0075_0042__16 [arg0] r_0075_0047__smoothly smoothly r_0075_0046__ticked->r_0075_0047__smoothly [nim] r_0075_0049__and and r_0075_0049__and->r_0075_0039__and [conj1] r_0075_0051__got got r_0075_0049__and->r_0075_0051__got [conj2] r_0075_0052__cancelled cancelled r_0075_0051__got->r_0075_0052__cancelled [scope] r_0075_0050__ARX ARX r_0075_0052__cancelled->r_0075_0050__ARX [arg1] r_0075_0053__the_r_0075_0055__day the day r_0075_0052__cancelled->r_0075_0053__the_r_0075_0055__day [nim] z_000_75_a_paulfellows_151 r_0075_0052__cancelled->z_000_75_a_paulfellows_151 [arg0] r_0075_0054__next next r_0075_0053__the_r_0075_0055__day->r_0075_0054__next [attrib] z_000_75_a_paulfellows_2 z_000_75_a_paulfellows_2->r_0075_0006__and [conj1] z_000_75_a_paulfellows_2->r_0075_0049__and [conj2] 
arc(r_0075_0003__did, r_0075_0001__So, nim6).
arc(r_0075_0003__did, r_0075_0002__they, arg0).
arc(r_0075_0003__did, r_0075_0005__demonstration, arg1).
arc(r_0075_0005__demonstration, r_0075_0002__they, gen).
arc(r_0075_0006__and, r_0075_0003__did, conj1).
arc(r_0075_0006__and, r_0075_0008__turned_r_0075_0009__up, conj2).
arc(r_0075_0008__turned_r_0075_0009__up, r_0075_0007__we, arg0).
arc(r_0075_0020__turned_r_0075_0021__up, r_0075_0007__we, arg0).
arc(r_0075_0020__turned_r_0075_0021__up, r_0075_0033__and, r_0075_0022__with_nim70).
arc(r_0075_0023__an_r_0075_0024__A305, r_0075_0026__256_r_0075_0027__KB_r_0075_0028__RAM, r_0075_0025__with).
arc(r_0075_0033__and, r_0075_0023__an_r_0075_0024__A305, conj1).
arc(r_0075_0033__and, r_0075_0030__an_r_0075_0031__Arthur_r_0075_0032__desktop, conj2).
arc(r_0075_0033__and, r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program, conj3).
arc(r_0075_0035__ticking, r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program, arg0).
arc(r_0075_0039__and, r_0075_0020__turned_r_0075_0021__up, conj1).
arc(r_0075_0039__and, r_0075_0041__ran, conj2).
arc(r_0075_0041__ran, r_0075_0007__we, arg0).
arc(r_0075_0041__ran, r_0075_0042__16, arg1).
arc(r_0075_0042__16, r_0075_0044__them, r_0075_0043__of).
arc(r_0075_0046__ticked, r_0075_0042__16, arg0).
arc(r_0075_0046__ticked, r_0075_0047__smoothly, nim136).
arc(r_0075_0049__and, r_0075_0039__and, conj1).
arc(r_0075_0049__and, r_0075_0051__got, conj2).
arc(r_0075_0051__got, r_0075_0052__cancelled, scope).
arc(r_0075_0052__cancelled, r_0075_0050__ARX, arg1).
arc(r_0075_0052__cancelled, r_0075_0053__the_r_0075_0055__day, nim155).
arc(r_0075_0052__cancelled, z_000_75_a_paulfellows_151, arg0).
arc(r_0075_0053__the_r_0075_0055__day, r_0075_0054__next, attrib158).
arc(z_000_75_a_paulfellows_2, r_0075_0006__and, conj1).
arc(z_000_75_a_paulfellows_2, r_0075_0049__and, conj2).


%3 r_0075_0003__did did r_0075_0001__So So r_0075_0003__did->r_0075_0001__So [nim] r_0075_0002__they they r_0075_0003__did->r_0075_0002__they [arg0] r_0075_0005__demonstration demonstration r_0075_0003__did->r_0075_0005__demonstration [arg1] r_0075_0005__demonstration->r_0075_0002__they [gen] r_0075_0006__and and r_0075_0006__and->r_0075_0003__did [conj1] r_0075_0008__turned_r_0075_0009__up turned up r_0075_0006__and->r_0075_0008__turned_r_0075_0009__up [conj2] r_0075_0007__we we r_0075_0008__turned_r_0075_0009__up->r_0075_0007__we [arg0] r_0075_0020__turned_r_0075_0021__up turned up r_0075_0020__turned_r_0075_0021__up->r_0075_0007__we [arg0] r_0075_0033__and and r_0075_0020__turned_r_0075_0021__up->r_0075_0033__and with [nim] r_0075_0023__an_r_0075_0024__A305 an A305 r_0075_0033__and->r_0075_0023__an_r_0075_0024__A305 [conj1] r_0075_0030__an_r_0075_0031__Arthur_r_0075_0032__desktop an Arthur desktop r_0075_0033__and->r_0075_0030__an_r_0075_0031__Arthur_r_0075_0032__desktop [conj2] r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program a clock program r_0075_0033__and->r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program [conj3] r_0075_0026__256_r_0075_0027__KB_r_0075_0028__RAM 256 KB RAM r_0075_0023__an_r_0075_0024__A305->r_0075_0026__256_r_0075_0027__KB_r_0075_0028__RAM with r_0075_0035__ticking ticking r_0075_0035__ticking->r_0075_0034__a_r_0075_0036__clock_r_0075_0037__program [arg0] r_0075_0039__and and r_0075_0039__and->r_0075_0020__turned_r_0075_0021__up [conj1] r_0075_0041__ran ran r_0075_0039__and->r_0075_0041__ran [conj2] r_0075_0041__ran->r_0075_0007__we [arg0] r_0075_0042__16 16 r_0075_0041__ran->r_0075_0042__16 [arg1] r_0075_0044__them them r_0075_0042__16->r_0075_0044__them of r_0075_0046__ticked ticked r_0075_0046__ticked->r_0075_0042__16 [arg0] r_0075_0047__smoothly smoothly r_0075_0046__ticked->r_0075_0047__smoothly [nim] r_0075_0049__and and r_0075_0049__and->r_0075_0039__and [conj1] r_0075_0051__got_r_0075_0052__cancelled got cancelled r_0075_0049__and->r_0075_0051__got_r_0075_0052__cancelled [conj2] r_0075_0050__ARX ARX r_0075_0051__got_r_0075_0052__cancelled->r_0075_0050__ARX [arg1] r_0075_0053__the_r_0075_0055__day the day r_0075_0051__got_r_0075_0052__cancelled->r_0075_0053__the_r_0075_0055__day [nim] z_000_75_a_paulfellows_151 r_0075_0051__got_r_0075_0052__cancelled->z_000_75_a_paulfellows_151 [arg0] r_0075_0054__next next r_0075_0053__the_r_0075_0055__day->r_0075_0054__next [attrib] z_000_75_a_paulfellows_2 z_000_75_a_paulfellows_2->r_0075_0006__and [conj1] z_000_75_a_paulfellows_2->r_0075_0049__and [conj2] 
fof(formula,axiom,
    ? [R_75_35_TICKING,R_75_46_TICKED,R_75_47_SMOOTHLY,Z_75_A_PAULFELLOWS_2,R_75_6_AND,R_75_3_DID,R_75_5_DEMONSTRATION,R_75_2_THEY,R_75_1_SO,R_75_8_TURNED_UP,R_75_49_AND,R_75_39_AND,R_75_20_TURNED_UP,R_75_33_AND,R_75_23_AN_A305,R_75_26_256_KB_RAM,R_75_30_AN_ARTHUR_DESKTOP,R_75_34_A_CLOCK_PROGRAM,R_75_41_RAN,R_75_7_WE,R_75_42_16,R_75_44_THEM,R_75_51_GOT_CANCELLED,Z_75_A_PAULFELLOWS_151,R_75_50_ARX,R_75_53_THE_DAY,R_75_54_NEXT] :
      ( smoothly(R_75_47_SMOOTHLY)
      & they(R_75_2_THEY)
      & so(R_75_1_SO)
      & 256_KB_RAM(R_75_26_256_KB_RAM)
      & an_Arthur_desktop(R_75_30_AN_ARTHUR_DESKTOP)
      & a_clock_program(R_75_34_A_CLOCK_PROGRAM)
      & we(R_75_7_WE)
      & them(R_75_44_THEM)
      & aRX(R_75_50_ARX)
      & next(R_75_54_NEXT)
      & ticking(R_75_35_TICKING,R_75_34_A_CLOCK_PROGRAM)
      & ticked(R_75_46_TICKED,R_75_42_16)
      & 16(R_75_42_16)
      & of(R_75_42_16,R_75_44_THEM)
      & nim136(R_75_46_TICKED,R_75_47_SMOOTHLY)
      & z_75_a_paulfellows_2(Z_75_A_PAULFELLOWS_2)
      & conj1(Z_75_A_PAULFELLOWS_2,R_75_6_AND)
      & and(R_75_6_AND)
      & conj1(R_75_6_AND,R_75_3_DID)
      & did(R_75_3_DID,R_75_2_THEY,R_75_5_DEMONSTRATION)
      & demonstration(R_75_5_DEMONSTRATION)
      & gen(R_75_5_DEMONSTRATION,R_75_2_THEY)
      & nim6(R_75_3_DID,R_75_1_SO)
      & conj2(R_75_6_AND,R_75_8_TURNED_UP)
      & turned_up(R_75_8_TURNED_UP,R_75_7_WE)
      & conj2(Z_75_A_PAULFELLOWS_2,R_75_49_AND)
      & and(R_75_49_AND)
      & conj1(R_75_49_AND,R_75_39_AND)
      & and(R_75_39_AND)
      & conj1(R_75_39_AND,R_75_20_TURNED_UP)
      & turned_up(R_75_20_TURNED_UP,R_75_7_WE)
      & with_nim70(R_75_20_TURNED_UP,R_75_33_AND)
      & and(R_75_33_AND)
      & conj1(R_75_33_AND,R_75_23_AN_A305)
      & an_A305(R_75_23_AN_A305)
      & with(R_75_23_AN_A305,R_75_26_256_KB_RAM)
      & conj2(R_75_33_AND,R_75_30_AN_ARTHUR_DESKTOP)
      & conj3(R_75_33_AND,R_75_34_A_CLOCK_PROGRAM)
      & conj2(R_75_39_AND,R_75_41_RAN)
      & ran(R_75_41_RAN,R_75_7_WE,R_75_42_16)
      & conj2(R_75_49_AND,R_75_51_GOT_CANCELLED)
      & got_cancelled(R_75_51_GOT_CANCELLED,Z_75_A_PAULFELLOWS_151,R_75_50_ARX)
      & nim155(R_75_51_GOT_CANCELLED,R_75_53_THE_DAY)
      & the_day(R_75_53_THE_DAY)
      & attrib158(R_75_53_THE_DAY,R_75_54_NEXT) ) ).


n75_a_paulfellows n75_a_paulfellows_8 So n75_a_paulfellows_11 they n75_a_paulfellows_13 did n75_a_paulfellows_17 their n75_a_paulfellows_19 demonstration n75_a_paulfellows_22 and n75_a_paulfellows_26 we n75_a_paulfellows_28 turned n75_a_paulfellows_30 up n75_a_paulfellows_32 , n75_a_paulfellows_37 Tim n75_a_paulfellows_39 Dobson n75_a_paulfellows_41 had n75_a_paulfellows_44 written n75_a_paulfellows_47 a n75_a_paulfellows_49 clock n75_a_paulfellows_51 program n75_a_paulfellows_53 , n75_a_paulfellows_62 we n75_a_paulfellows_64 turned n75_a_paulfellows_66 up n75_a_paulfellows_69 with n75_a_paulfellows_74 an n75_a_paulfellows_76 A305 n75_a_paulfellows_79 with n75_a_paulfellows_82 256 n75_a_paulfellows_84 KB n75_a_paulfellows_86 RAM n75_a_paulfellows_88 , n75_a_paulfellows_92 an n75_a_paulfellows_94 Arthur n75_a_paulfellows_96 desktop n75_a_paulfellows_99 and n75_a_paulfellows_102 a n75_a_paulfellows_105 ticking n75_a_paulfellows_107 clock n75_a_paulfellows_109 program n75_a_paulfellows_111 , n75_a_paulfellows_114 and n75_a_paulfellows_118 we n75_a_paulfellows_120 ran n75_a_paulfellows_123 16 n75_a_paulfellows_126 of n75_a_paulfellows_129 them n75_a_paulfellows_133 which n75_a_paulfellows_135 ticked n75_a_paulfellows_138 smoothly n75_a_paulfellows_140 , n75_a_paulfellows_143 and n75_a_paulfellows_147 ARX n75_a_paulfellows_149 got n75_a_paulfellows_152 * n75_a_paulfellows_154 cancelled n75_a_paulfellows_157 the n75_a_paulfellows_160 next n75_a_paulfellows_162 day n75_a_paulfellows_164 . n75_a_paulfellows_1 IP-MAT n75_a_paulfellows_2 ILYR n75_a_paulfellows_1->n75_a_paulfellows_2 n75_a_paulfellows_163 PUNC n75_a_paulfellows_1->n75_a_paulfellows_163 n75_a_paulfellows_3 ILYR n75_a_paulfellows_2->n75_a_paulfellows_3 n75_a_paulfellows_52 PUNC n75_a_paulfellows_2->n75_a_paulfellows_52 n75_a_paulfellows_54 CONJP n75_a_paulfellows_2->n75_a_paulfellows_54 n75_a_paulfellows_4 ILYR n75_a_paulfellows_3->n75_a_paulfellows_4 n75_a_paulfellows_5 ILYR n75_a_paulfellows_4->n75_a_paulfellows_5 n75_a_paulfellows_20 CONJP n75_a_paulfellows_4->n75_a_paulfellows_20 n75_a_paulfellows_6 ADVP-NIM n75_a_paulfellows_5->n75_a_paulfellows_6 n75_a_paulfellows_9 NP-SBJ n75_a_paulfellows_5->n75_a_paulfellows_9 n75_a_paulfellows_12 DOD;_Tn_ n75_a_paulfellows_5->n75_a_paulfellows_12 n75_a_paulfellows_14 NP-OB1 n75_a_paulfellows_5->n75_a_paulfellows_14 n75_a_paulfellows_7 ADV n75_a_paulfellows_6->n75_a_paulfellows_7 n75_a_paulfellows_7->n75_a_paulfellows_8 n75_a_paulfellows_10 PRO n75_a_paulfellows_9->n75_a_paulfellows_10 n75_a_paulfellows_10->n75_a_paulfellows_11 n75_a_paulfellows_12->n75_a_paulfellows_13 n75_a_paulfellows_15 NP-GEN n75_a_paulfellows_14->n75_a_paulfellows_15 n75_a_paulfellows_18 N n75_a_paulfellows_14->n75_a_paulfellows_18 n75_a_paulfellows_16 PRO;_genm_ n75_a_paulfellows_15->n75_a_paulfellows_16 n75_a_paulfellows_16->n75_a_paulfellows_17 n75_a_paulfellows_18->n75_a_paulfellows_19 n75_a_paulfellows_21 CONJ n75_a_paulfellows_20->n75_a_paulfellows_21 n75_a_paulfellows_23 ILYR n75_a_paulfellows_20->n75_a_paulfellows_23 n75_a_paulfellows_21->n75_a_paulfellows_22 n75_a_paulfellows_24 NP-SBJ n75_a_paulfellows_23->n75_a_paulfellows_24 n75_a_paulfellows_27 VBD;_phr_Vp_ n75_a_paulfellows_23->n75_a_paulfellows_27 n75_a_paulfellows_29 RP n75_a_paulfellows_23->n75_a_paulfellows_29 n75_a_paulfellows_31 PUNC n75_a_paulfellows_23->n75_a_paulfellows_31 n75_a_paulfellows_33 PRN n75_a_paulfellows_23->n75_a_paulfellows_33 n75_a_paulfellows_25 PRO n75_a_paulfellows_24->n75_a_paulfellows_25 n75_a_paulfellows_25->n75_a_paulfellows_26 n75_a_paulfellows_27->n75_a_paulfellows_28 n75_a_paulfellows_29->n75_a_paulfellows_30 n75_a_paulfellows_31->n75_a_paulfellows_32 n75_a_paulfellows_34 IP-MAT n75_a_paulfellows_33->n75_a_paulfellows_34 n75_a_paulfellows_35 NP-SBJ n75_a_paulfellows_34->n75_a_paulfellows_35 n75_a_paulfellows_40 HVD;_cat_Ve_ n75_a_paulfellows_34->n75_a_paulfellows_40 n75_a_paulfellows_42 IP-PPL-CAT n75_a_paulfellows_34->n75_a_paulfellows_42 n75_a_paulfellows_36 NPR n75_a_paulfellows_35->n75_a_paulfellows_36 n75_a_paulfellows_38 NPR n75_a_paulfellows_35->n75_a_paulfellows_38 n75_a_paulfellows_36->n75_a_paulfellows_37 n75_a_paulfellows_38->n75_a_paulfellows_39 n75_a_paulfellows_40->n75_a_paulfellows_41 n75_a_paulfellows_43 VVN;__ n75_a_paulfellows_42->n75_a_paulfellows_43 n75_a_paulfellows_45 NP-OB1 n75_a_paulfellows_42->n75_a_paulfellows_45 n75_a_paulfellows_43->n75_a_paulfellows_44 n75_a_paulfellows_46 D n75_a_paulfellows_45->n75_a_paulfellows_46 n75_a_paulfellows_48 N n75_a_paulfellows_45->n75_a_paulfellows_48 n75_a_paulfellows_50 N n75_a_paulfellows_45->n75_a_paulfellows_50 n75_a_paulfellows_46->n75_a_paulfellows_47 n75_a_paulfellows_48->n75_a_paulfellows_49 n75_a_paulfellows_50->n75_a_paulfellows_51 n75_a_paulfellows_52->n75_a_paulfellows_53 n75_a_paulfellows_55 ILYR n75_a_paulfellows_54->n75_a_paulfellows_55 n75_a_paulfellows_56 ILYR n75_a_paulfellows_55->n75_a_paulfellows_56 n75_a_paulfellows_57 ILYR n75_a_paulfellows_56->n75_a_paulfellows_57 n75_a_paulfellows_139 PUNC n75_a_paulfellows_56->n75_a_paulfellows_139 n75_a_paulfellows_141 CONJP n75_a_paulfellows_56->n75_a_paulfellows_141 n75_a_paulfellows_58 ILYR n75_a_paulfellows_57->n75_a_paulfellows_58 n75_a_paulfellows_59 ILYR n75_a_paulfellows_58->n75_a_paulfellows_59 n75_a_paulfellows_110 PUNC n75_a_paulfellows_58->n75_a_paulfellows_110 n75_a_paulfellows_112 CONJP n75_a_paulfellows_58->n75_a_paulfellows_112 n75_a_paulfellows_60 NP-SBJ n75_a_paulfellows_59->n75_a_paulfellows_60 n75_a_paulfellows_63 VBD;_phr_Vp_ n75_a_paulfellows_59->n75_a_paulfellows_63 n75_a_paulfellows_65 RP n75_a_paulfellows_59->n75_a_paulfellows_65 n75_a_paulfellows_67 PP-NIM n75_a_paulfellows_59->n75_a_paulfellows_67 n75_a_paulfellows_61 PRO n75_a_paulfellows_60->n75_a_paulfellows_61 n75_a_paulfellows_61->n75_a_paulfellows_62 n75_a_paulfellows_63->n75_a_paulfellows_64 n75_a_paulfellows_65->n75_a_paulfellows_66 n75_a_paulfellows_68 P-ROLE n75_a_paulfellows_67->n75_a_paulfellows_68 n75_a_paulfellows_70 NP n75_a_paulfellows_67->n75_a_paulfellows_70 n75_a_paulfellows_68->n75_a_paulfellows_69 n75_a_paulfellows_71 NLYR n75_a_paulfellows_70->n75_a_paulfellows_71 n75_a_paulfellows_72 NLYR n75_a_paulfellows_71->n75_a_paulfellows_72 n75_a_paulfellows_87 PUNC n75_a_paulfellows_71->n75_a_paulfellows_87 n75_a_paulfellows_89 CONJP n75_a_paulfellows_71->n75_a_paulfellows_89 n75_a_paulfellows_97 CONJP n75_a_paulfellows_71->n75_a_paulfellows_97 n75_a_paulfellows_73 D n75_a_paulfellows_72->n75_a_paulfellows_73 n75_a_paulfellows_75 NPR n75_a_paulfellows_72->n75_a_paulfellows_75 n75_a_paulfellows_77 PP n75_a_paulfellows_72->n75_a_paulfellows_77 n75_a_paulfellows_73->n75_a_paulfellows_74 n75_a_paulfellows_75->n75_a_paulfellows_76 n75_a_paulfellows_78 P-ROLE n75_a_paulfellows_77->n75_a_paulfellows_78 n75_a_paulfellows_80 NP n75_a_paulfellows_77->n75_a_paulfellows_80 n75_a_paulfellows_78->n75_a_paulfellows_79 n75_a_paulfellows_81 NUM n75_a_paulfellows_80->n75_a_paulfellows_81 n75_a_paulfellows_83 N n75_a_paulfellows_80->n75_a_paulfellows_83 n75_a_paulfellows_85 N n75_a_paulfellows_80->n75_a_paulfellows_85 n75_a_paulfellows_81->n75_a_paulfellows_82 n75_a_paulfellows_83->n75_a_paulfellows_84 n75_a_paulfellows_85->n75_a_paulfellows_86 n75_a_paulfellows_87->n75_a_paulfellows_88 n75_a_paulfellows_90 NLYR n75_a_paulfellows_89->n75_a_paulfellows_90 n75_a_paulfellows_91 D n75_a_paulfellows_90->n75_a_paulfellows_91 n75_a_paulfellows_93 NPR n75_a_paulfellows_90->n75_a_paulfellows_93 n75_a_paulfellows_95 N n75_a_paulfellows_90->n75_a_paulfellows_95 n75_a_paulfellows_91->n75_a_paulfellows_92 n75_a_paulfellows_93->n75_a_paulfellows_94 n75_a_paulfellows_95->n75_a_paulfellows_96 n75_a_paulfellows_98 CONJ n75_a_paulfellows_97->n75_a_paulfellows_98 n75_a_paulfellows_100 NLYR n75_a_paulfellows_97->n75_a_paulfellows_100 n75_a_paulfellows_98->n75_a_paulfellows_99 n75_a_paulfellows_101 D n75_a_paulfellows_100->n75_a_paulfellows_101 n75_a_paulfellows_103 IP-PPL n75_a_paulfellows_100->n75_a_paulfellows_103 n75_a_paulfellows_106 N n75_a_paulfellows_100->n75_a_paulfellows_106 n75_a_paulfellows_108 N n75_a_paulfellows_100->n75_a_paulfellows_108 n75_a_paulfellows_101->n75_a_paulfellows_102 n75_a_paulfellows_104 VAG;__ n75_a_paulfellows_103->n75_a_paulfellows_104 n75_a_paulfellows_104->n75_a_paulfellows_105 n75_a_paulfellows_106->n75_a_paulfellows_107 n75_a_paulfellows_108->n75_a_paulfellows_109 n75_a_paulfellows_110->n75_a_paulfellows_111 n75_a_paulfellows_113 CONJ n75_a_paulfellows_112->n75_a_paulfellows_113 n75_a_paulfellows_115 ILYR n75_a_paulfellows_112->n75_a_paulfellows_115 n75_a_paulfellows_113->n75_a_paulfellows_114 n75_a_paulfellows_116 NP-SBJ n75_a_paulfellows_115->n75_a_paulfellows_116 n75_a_paulfellows_119 VBD;__ n75_a_paulfellows_115->n75_a_paulfellows_119 n75_a_paulfellows_121 NP-OB1 n75_a_paulfellows_115->n75_a_paulfellows_121 n75_a_paulfellows_117 PRO n75_a_paulfellows_116->n75_a_paulfellows_117 n75_a_paulfellows_117->n75_a_paulfellows_118 n75_a_paulfellows_119->n75_a_paulfellows_120 n75_a_paulfellows_122 NUM n75_a_paulfellows_121->n75_a_paulfellows_122 n75_a_paulfellows_124 PP n75_a_paulfellows_121->n75_a_paulfellows_124 n75_a_paulfellows_130 IP-REL n75_a_paulfellows_121->n75_a_paulfellows_130 n75_a_paulfellows_122->n75_a_paulfellows_123 n75_a_paulfellows_125 P-ROLE n75_a_paulfellows_124->n75_a_paulfellows_125 n75_a_paulfellows_127 NP n75_a_paulfellows_124->n75_a_paulfellows_127 n75_a_paulfellows_125->n75_a_paulfellows_126 n75_a_paulfellows_128 PRO n75_a_paulfellows_127->n75_a_paulfellows_128 n75_a_paulfellows_128->n75_a_paulfellows_129 n75_a_paulfellows_131 NP-SBJ n75_a_paulfellows_130->n75_a_paulfellows_131 n75_a_paulfellows_134 VBD;__ n75_a_paulfellows_130->n75_a_paulfellows_134 n75_a_paulfellows_136 ADVP-NIM n75_a_paulfellows_130->n75_a_paulfellows_136 n75_a_paulfellows_132 RPRO n75_a_paulfellows_131->n75_a_paulfellows_132 n75_a_paulfellows_132->n75_a_paulfellows_133 n75_a_paulfellows_134->n75_a_paulfellows_135 n75_a_paulfellows_137 ADV n75_a_paulfellows_136->n75_a_paulfellows_137 n75_a_paulfellows_137->n75_a_paulfellows_138 n75_a_paulfellows_139->n75_a_paulfellows_140 n75_a_paulfellows_142 CONJ n75_a_paulfellows_141->n75_a_paulfellows_142 n75_a_paulfellows_144 ILYR n75_a_paulfellows_141->n75_a_paulfellows_144 n75_a_paulfellows_142->n75_a_paulfellows_143 n75_a_paulfellows_145 NP-SBJ n75_a_paulfellows_144->n75_a_paulfellows_145 n75_a_paulfellows_148 VBD;_cat_VePASS_ n75_a_paulfellows_144->n75_a_paulfellows_148 n75_a_paulfellows_150 IP-PPL-CAT n75_a_paulfellows_144->n75_a_paulfellows_150 n75_a_paulfellows_146 NPR n75_a_paulfellows_145->n75_a_paulfellows_146 n75_a_paulfellows_146->n75_a_paulfellows_147 n75_a_paulfellows_148->n75_a_paulfellows_149 n75_a_paulfellows_151 NP-LGS n75_a_paulfellows_150->n75_a_paulfellows_151 n75_a_paulfellows_153 VVN;_Tn_ n75_a_paulfellows_150->n75_a_paulfellows_153 n75_a_paulfellows_155 NP-NIM n75_a_paulfellows_150->n75_a_paulfellows_155 n75_a_paulfellows_151->n75_a_paulfellows_152 n75_a_paulfellows_153->n75_a_paulfellows_154 n75_a_paulfellows_156 D n75_a_paulfellows_155->n75_a_paulfellows_156 n75_a_paulfellows_158 ADJP n75_a_paulfellows_155->n75_a_paulfellows_158 n75_a_paulfellows_161 N n75_a_paulfellows_155->n75_a_paulfellows_161 n75_a_paulfellows_156->n75_a_paulfellows_157 n75_a_paulfellows_159 ADJ n75_a_paulfellows_158->n75_a_paulfellows_159 n75_a_paulfellows_159->n75_a_paulfellows_160 n75_a_paulfellows_161->n75_a_paulfellows_162 n75_a_paulfellows_163->n75_a_paulfellows_164 
( (IP-MAT (ILYR (ILYR (ILYR (ILYR (ADVP-NIM (ADV So;{so}))
                                  (NP-SBJ;{PA_TEAM} (PRO they;{they}))
                                  (DOD;_Tn_ did;{do})
                                  (NP-OB1 (NP-GEN;{PA_TEAM} (PRO;_genm_ their;{their}))
                                          (N demonstration;{demonstration})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-SBJ (PRO we;{we}))
                                         (VBD;_phr_Vp_ turned;{turn[up]})
                                         (RP up;{up})
                                         (PUNC ,)
                                         (PRN (IP-MAT (NP-SBJ (NPR Tim;{Tim})
                                                              (NPR Dobson;{Dobson}))
                                                      (HVD;_cat_Ve_ had;{have})
                                                      (IP-PPL-CAT (VVN;__ written;{write})
                                                                  (NP-OB1;{CLOCK} (D a;{a})
                                                                                  (N clock;{clock})
                                                                                  (N program;{program})))))))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (ILYR (ILYR (NP-SBJ (PRO we;{we}))
                                                     (VBD;_phr_Vp_ turned;{turn[up]})
                                                     (RP up;{up})
                                                     (PP-NIM (P-ROLE with;{with})
                                                             (NP (NLYR (NLYR (D an;{an})
                                                                             (NPR A305;{A305})
                                                                             (PP (P-ROLE with;{with})
                                                                                 (NP (NUM 256)
                                                                                     (N KB)
                                                                                     (N RAM;{ram}))))
                                                                       (PUNC ,)
                                                                       (CONJP (NLYR (D an;{an})
                                                                                    (NPR Arthur;{Arthur})
                                                                                    (N desktop;{desktop})))
                                                                       (CONJP (CONJ and;{and})
                                                                              (NLYR (D a;{a})
                                                                                    (IP-PPL (VAG;__ ticking;{tick}))
                                                                                    (N clock;{clock})
                                                                                    (N program;{program})))))))
                                               (PUNC ,)
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (NP-SBJ (PRO we;{we}))
                                                            (VBD;__ ran;{run})
                                                            (NP-OB1 (NUM 16)
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP;{CLOCK} (PRO them;{they})))
                                                                    (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                            (VBD;__ ticked;{tick})
                                                                            (ADVP-NIM (ADV smoothly;{smoothly}))))))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (NPR ARX;{ARX}))
                                                (VBD;_cat_VePASS_ got;{get})
                                                (IP-PPL-CAT (NP-LGS *)
                                                            (VVN;_Tn_ cancelled;{cancel})
                                                            (NP-NIM (D the;{the})
                                                                    (ADJP (ADJ next;{next}))
                                                                    (N day;{day})))))))))
          (PUNC .))
  (ID 75_a_paulfellows))