Context                Previous, Next                Top


47_a_paulfellows
We spent ages trying to create some code on the ARM end make it reliably boot up and start the keyboard properly.

%3 r_0047_0002__spent spent r_0047_0001__We We r_0047_0002__spent->r_0047_0001__We [arg0] r_0047_0003__ages ages r_0047_0002__spent->r_0047_0003__ages [arg1] r_0047_0004__trying trying r_0047_0004__trying->r_0047_0001__We [arg0] z_000_47_a_paulfellows_17 r_0047_0004__trying->z_000_47_a_paulfellows_17 [clr] r_0047_0006__create create z_000_47_a_paulfellows_17->r_0047_0006__create [conj1] r_0047_0013__make make z_000_47_a_paulfellows_17->r_0047_0013__make [conj2] r_0047_0006__create->r_0047_0001__We [arg0] r_0047_0007__some_r_0047_0008__code some code r_0047_0006__create->r_0047_0007__some_r_0047_0008__code [arg1] r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end the ARM end r_0047_0006__create->r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end on [nim] r_0047_0013__make->r_0047_0001__We [arg0] r_0047_0013__make->r_0047_0003__ages [arg1] r_0047_0018__and and r_0047_0013__make->r_0047_0018__and [prd] r_0047_0016__boot_r_0047_0017__up boot up r_0047_0018__and->r_0047_0016__boot_r_0047_0017__up [conj1] r_0047_0019__start start r_0047_0018__and->r_0047_0019__start [conj2] r_0047_0015__reliably reliably r_0047_0016__boot_r_0047_0017__up->r_0047_0015__reliably [nim] x_000_47_a_paulfellows_43 __ r_0047_0016__boot_r_0047_0017__up->x_000_47_a_paulfellows_43 [arg0] r_0047_0019__start->r_0047_0015__reliably [nim] r_0047_0019__start->x_000_47_a_paulfellows_43 [arg0] r_0047_0020__the_r_0047_0021__keyboard the keyboard r_0047_0019__start->r_0047_0020__the_r_0047_0021__keyboard [arg1] r_0047_0022__properly properly r_0047_0019__start->r_0047_0022__properly [nim] z_000_47_a_paulfellows_10 z_000_47_a_paulfellows_10->r_0047_0002__spent [scope] z_000_47_a_paulfellows_10->r_0047_0004__trying [restriction] 
arc(r_0047_0002__spent, r_0047_0001__We, arg0).
arc(r_0047_0002__spent, r_0047_0003__ages, arg1).
arc(r_0047_0004__trying, r_0047_0001__We, arg0).
arc(r_0047_0004__trying, z_000_47_a_paulfellows_17, clr14).
arc(r_0047_0006__create, r_0047_0001__We, arg0).
arc(r_0047_0006__create, r_0047_0007__some_r_0047_0008__code, arg1).
arc(r_0047_0006__create, r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end, r_0047_0009__on_nim29).
arc(r_0047_0013__make, r_0047_0001__We, arg0).
arc(r_0047_0013__make, r_0047_0003__ages, arg1).
arc(r_0047_0013__make, r_0047_0018__and, prd).
arc(r_0047_0016__boot_r_0047_0017__up, r_0047_0015__reliably, nim44).
arc(r_0047_0016__boot_r_0047_0017__up, x_000_47_a_paulfellows_43, arg0).
arc(r_0047_0018__and, r_0047_0016__boot_r_0047_0017__up, conj1).
arc(r_0047_0018__and, r_0047_0019__start, conj2).
arc(r_0047_0019__start, r_0047_0015__reliably, nim44).
arc(r_0047_0019__start, r_0047_0020__the_r_0047_0021__keyboard, arg1).
arc(r_0047_0019__start, r_0047_0022__properly, nim64).
arc(r_0047_0019__start, x_000_47_a_paulfellows_43, arg0).
arc(z_000_47_a_paulfellows_10, r_0047_0002__spent, scope).
arc(z_000_47_a_paulfellows_10, r_0047_0004__trying, restriction).
arc(z_000_47_a_paulfellows_17, r_0047_0006__create, conj1).
arc(z_000_47_a_paulfellows_17, r_0047_0013__make, conj2).


%3 z_000_47_a_paulfellows_17 r_0047_0013__make make z_000_47_a_paulfellows_17->r_0047_0013__make [conj2] r_0047_0006__create create z_000_47_a_paulfellows_17->r_0047_0006__create [conj1] r_0047_0018__and and r_0047_0013__make->r_0047_0018__and [prd] r_0047_0003__ages ages r_0047_0013__make->r_0047_0003__ages [arg1] r_0047_0001__We We r_0047_0013__make->r_0047_0001__We [arg0] r_0047_0006__create->r_0047_0001__We [arg0] r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end the ARM end r_0047_0006__create->r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end on [nim] r_0047_0007__some_r_0047_0008__code some code r_0047_0006__create->r_0047_0007__some_r_0047_0008__code [arg1] z_000_47_a_paulfellows_10 r_0047_0004__trying trying z_000_47_a_paulfellows_10->r_0047_0004__trying [conj1] r_0047_0002__spent spent z_000_47_a_paulfellows_10->r_0047_0002__spent [conj2] r_0047_0004__trying->z_000_47_a_paulfellows_17 [clr] r_0047_0004__trying->r_0047_0001__We [arg0] r_0047_0002__spent->r_0047_0003__ages [arg1] r_0047_0002__spent->r_0047_0001__We [arg0] r_0047_0019__start start x_000_47_a_paulfellows_43 __ r_0047_0019__start->x_000_47_a_paulfellows_43 [arg0] r_0047_0022__properly properly r_0047_0019__start->r_0047_0022__properly [nim] r_0047_0020__the_r_0047_0021__keyboard the keyboard r_0047_0019__start->r_0047_0020__the_r_0047_0021__keyboard [arg1] r_0047_0015__reliably reliably r_0047_0019__start->r_0047_0015__reliably [nim] r_0047_0018__and->r_0047_0019__start [conj2] r_0047_0016__boot_r_0047_0017__up boot up r_0047_0018__and->r_0047_0016__boot_r_0047_0017__up [conj1] r_0047_0016__boot_r_0047_0017__up->x_000_47_a_paulfellows_43 [arg0] r_0047_0016__boot_r_0047_0017__up->r_0047_0015__reliably [nim] 
fof(formula,axiom,
    ? [Z_47_A_PAULFELLOWS_10,R_47_4_TRYING,Z_47_A_PAULFELLOWS_17,R_47_6_CREATE,R_47_7_SOME_CODE,R_47_10_THE_ARM_END,R_47_13_MAKE,R_47_18_AND,R_47_16_BOOT_UP,R_47_19_START,X_47_A_PAULFELLOWS_43,R_47_20_THE_KEYBOARD,R_47_15_RELIABLY,R_47_22_PROPERLY,R_47_2_SPENT,R_47_1_WE,R_47_3_AGES] :
      ( some_code(R_47_7_SOME_CODE)
      & the_ARM_end(R_47_10_THE_ARM_END)
      & the_keyboard(R_47_20_THE_KEYBOARD)
      & reliably(R_47_15_RELIABLY)
      & properly(R_47_22_PROPERLY)
      & we(R_47_1_WE)
      & ages(R_47_3_AGES)
      & z_47_a_paulfellows_10(Z_47_A_PAULFELLOWS_10)
      & conj1(Z_47_A_PAULFELLOWS_10,R_47_4_TRYING)
      & trying(R_47_4_TRYING,R_47_1_WE)
      & clr14(R_47_4_TRYING,Z_47_A_PAULFELLOWS_17)
      & z_47_a_paulfellows_17(Z_47_A_PAULFELLOWS_17)
      & conj1(Z_47_A_PAULFELLOWS_17,R_47_6_CREATE)
      & create(R_47_6_CREATE,R_47_1_WE,R_47_7_SOME_CODE)
      & on_nim29(R_47_6_CREATE,R_47_10_THE_ARM_END)
      & conj2(Z_47_A_PAULFELLOWS_17,R_47_13_MAKE)
      & make(R_47_13_MAKE,R_47_1_WE,R_47_3_AGES,R_47_18_AND)
      & and(R_47_18_AND)
      & conj1(R_47_18_AND,R_47_16_BOOT_UP)
      & boot_up(R_47_16_BOOT_UP,X_47_A_PAULFELLOWS_43)
      & nim44(R_47_16_BOOT_UP,R_47_15_RELIABLY)
      & conj2(R_47_18_AND,R_47_19_START)
      & start(R_47_19_START,X_47_A_PAULFELLOWS_43,R_47_20_THE_KEYBOARD)
      & nim44(R_47_19_START,R_47_15_RELIABLY)
      & nim64(R_47_19_START,R_47_22_PROPERLY)
      & conj2(Z_47_A_PAULFELLOWS_10,R_47_2_SPENT)
      & spent(R_47_2_SPENT,R_47_1_WE,R_47_3_AGES) ) ).


n47_a_paulfellows n47_a_paulfellows__1_1_1_1 We n47_a_paulfellows__1_2_1 spent n47_a_paulfellows__1_3_1_1 ages n47_a_paulfellows__1_4_1_1_1 trying n47_a_paulfellows__1_4_1_2_1_1 to n47_a_paulfellows__1_4_1_2_2_1_1_1 create n47_a_paulfellows__1_4_1_2_2_1_2_1_1 some n47_a_paulfellows__1_4_1_2_2_1_2_2_1 code n47_a_paulfellows__1_4_1_2_2_1_3_1_1 on n47_a_paulfellows__1_4_1_2_2_1_3_2_1_1 the n47_a_paulfellows__1_4_1_2_2_1_3_2_2_1 ARM n47_a_paulfellows__1_4_1_2_2_1_3_2_3_1 end n47_a_paulfellows__1_4_1_2_2_2_1_1_1 make n47_a_paulfellows__1_4_1_2_2_2_1_2_1_1 it n47_a_paulfellows__1_4_1_2_2_2_1_3_1_1_1 reliably n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_1_1 boot n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_2_1 up n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_1_1 and n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_1_1 start n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_1_1 the n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_2_1 keyboard n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3_1_1 properly n47_a_paulfellows__1_5_1 . n47_a_paulfellows__1 IP-MAT n47_a_paulfellows__1_1 NP-SBJ n47_a_paulfellows__1->n47_a_paulfellows__1_1 n47_a_paulfellows__1_2 VBD;_Tn_ n47_a_paulfellows__1->n47_a_paulfellows__1_2 n47_a_paulfellows__1_3 NP-OB1 n47_a_paulfellows__1->n47_a_paulfellows__1_3 n47_a_paulfellows__1_4 PP-SCON n47_a_paulfellows__1->n47_a_paulfellows__1_4 n47_a_paulfellows__1_5 PUNC n47_a_paulfellows__1->n47_a_paulfellows__1_5 n47_a_paulfellows__1_1_1 PRO n47_a_paulfellows__1_1->n47_a_paulfellows__1_1_1 n47_a_paulfellows__1_1_1->n47_a_paulfellows__1_1_1_1 n47_a_paulfellows__1_2->n47_a_paulfellows__1_2_1 n47_a_paulfellows__1_3_1 NS n47_a_paulfellows__1_3->n47_a_paulfellows__1_3_1 n47_a_paulfellows__1_3_1->n47_a_paulfellows__1_3_1_1 n47_a_paulfellows__1_4_1 IP-PPL2 n47_a_paulfellows__1_4->n47_a_paulfellows__1_4_1 n47_a_paulfellows__1_4_1_1 VAG;_It_ n47_a_paulfellows__1_4_1->n47_a_paulfellows__1_4_1_1 n47_a_paulfellows__1_4_1_2 IP-INF-CLR n47_a_paulfellows__1_4_1->n47_a_paulfellows__1_4_1_2 n47_a_paulfellows__1_4_1_1->n47_a_paulfellows__1_4_1_1_1 n47_a_paulfellows__1_4_1_2_1 TO n47_a_paulfellows__1_4_1_2->n47_a_paulfellows__1_4_1_2_1 n47_a_paulfellows__1_4_1_2_2 ILYR n47_a_paulfellows__1_4_1_2->n47_a_paulfellows__1_4_1_2_2 n47_a_paulfellows__1_4_1_2_1->n47_a_paulfellows__1_4_1_2_1_1 n47_a_paulfellows__1_4_1_2_2_1 ILYR n47_a_paulfellows__1_4_1_2_2->n47_a_paulfellows__1_4_1_2_2_1 n47_a_paulfellows__1_4_1_2_2_2 CONJP n47_a_paulfellows__1_4_1_2_2->n47_a_paulfellows__1_4_1_2_2_2 n47_a_paulfellows__1_4_1_2_2_1_1 VB;_Tn_ n47_a_paulfellows__1_4_1_2_2_1->n47_a_paulfellows__1_4_1_2_2_1_1 n47_a_paulfellows__1_4_1_2_2_1_2 NP-OB1 n47_a_paulfellows__1_4_1_2_2_1->n47_a_paulfellows__1_4_1_2_2_1_2 n47_a_paulfellows__1_4_1_2_2_1_3 PP-NIM n47_a_paulfellows__1_4_1_2_2_1->n47_a_paulfellows__1_4_1_2_2_1_3 n47_a_paulfellows__1_4_1_2_2_1_1->n47_a_paulfellows__1_4_1_2_2_1_1_1 n47_a_paulfellows__1_4_1_2_2_1_2_1 D n47_a_paulfellows__1_4_1_2_2_1_2->n47_a_paulfellows__1_4_1_2_2_1_2_1 n47_a_paulfellows__1_4_1_2_2_1_2_2 N n47_a_paulfellows__1_4_1_2_2_1_2->n47_a_paulfellows__1_4_1_2_2_1_2_2 n47_a_paulfellows__1_4_1_2_2_1_2_1->n47_a_paulfellows__1_4_1_2_2_1_2_1_1 n47_a_paulfellows__1_4_1_2_2_1_2_2->n47_a_paulfellows__1_4_1_2_2_1_2_2_1 n47_a_paulfellows__1_4_1_2_2_1_3_1 P-ROLE n47_a_paulfellows__1_4_1_2_2_1_3->n47_a_paulfellows__1_4_1_2_2_1_3_1 n47_a_paulfellows__1_4_1_2_2_1_3_2 NP n47_a_paulfellows__1_4_1_2_2_1_3->n47_a_paulfellows__1_4_1_2_2_1_3_2 n47_a_paulfellows__1_4_1_2_2_1_3_1->n47_a_paulfellows__1_4_1_2_2_1_3_1_1 n47_a_paulfellows__1_4_1_2_2_1_3_2_1 D n47_a_paulfellows__1_4_1_2_2_1_3_2->n47_a_paulfellows__1_4_1_2_2_1_3_2_1 n47_a_paulfellows__1_4_1_2_2_1_3_2_2 NPR n47_a_paulfellows__1_4_1_2_2_1_3_2->n47_a_paulfellows__1_4_1_2_2_1_3_2_2 n47_a_paulfellows__1_4_1_2_2_1_3_2_3 N n47_a_paulfellows__1_4_1_2_2_1_3_2->n47_a_paulfellows__1_4_1_2_2_1_3_2_3 n47_a_paulfellows__1_4_1_2_2_1_3_2_1->n47_a_paulfellows__1_4_1_2_2_1_3_2_1_1 n47_a_paulfellows__1_4_1_2_2_1_3_2_2->n47_a_paulfellows__1_4_1_2_2_1_3_2_2_1 n47_a_paulfellows__1_4_1_2_2_1_3_2_3->n47_a_paulfellows__1_4_1_2_2_1_3_2_3_1 n47_a_paulfellows__1_4_1_2_2_2_1 ILYR n47_a_paulfellows__1_4_1_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_1 VB;_Cn.a_ n47_a_paulfellows__1_4_1_2_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_2 NP-OB1 n47_a_paulfellows__1_4_1_2_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_2 n47_a_paulfellows__1_4_1_2_2_2_1_3 IP-INF-PRD n47_a_paulfellows__1_4_1_2_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3 n47_a_paulfellows__1_4_1_2_2_2_1_1->n47_a_paulfellows__1_4_1_2_2_2_1_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_2_1 PRO n47_a_paulfellows__1_4_1_2_2_2_1_2->n47_a_paulfellows__1_4_1_2_2_2_1_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_1 ADVP-NIM n47_a_paulfellows__1_4_1_2_2_2_1_3->n47_a_paulfellows__1_4_1_2_2_2_1_3_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2 ILYR n47_a_paulfellows__1_4_1_2_2_2_1_3->n47_a_paulfellows__1_4_1_2_2_2_1_3_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_1_1 ADV n47_a_paulfellows__1_4_1_2_2_2_1_3_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_1_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_1_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1 ILYR n47_a_paulfellows__1_4_1_2_2_2_1_3_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2 CONJP n47_a_paulfellows__1_4_1_2_2_2_1_3_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_1 VB;_phr_Vp_ n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_2 RP n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_1_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_1 CONJ n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2 ILYR n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_1 VB;_Tn_ n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2 NP-OB1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3 ADVP-NIM n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_1 D n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_2 N n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_2 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_1_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_2->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_2_2_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3_1 ADV n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3_1 n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3_1->n47_a_paulfellows__1_4_1_2_2_2_1_3_2_2_2_3_1_1 n47_a_paulfellows__1_5->n47_a_paulfellows__1_5_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBD;_Tn_ spent;{spend})
          (NP-OB1 (NS ages;{age}))
          (PP-SCON (IP-PPL2 (VAG;_It_ trying;{try})
                            (IP-INF-CLR (TO to;{to})
                                        (ILYR (ILYR (VB;_Tn_ create;{create})
                                                    (NP-OB1 (D some;{some})
                                                            (N code;{code}))
                                                    (PP-NIM (P-ROLE on;{on})
                                                            (NP (D the;{the})
                                                                (NPR ARM;{ARM})
                                                                (N end;{end}))))
                                              (CONJP (ILYR (VB;_Cn.a_ make;{make})
                                                           (NP-OB1 (PRO it;{it}))
                                                           (IP-INF-PRD (ADVP-NIM (ADV reliably;{reliably}))
                                                                       (ILYR (ILYR (VB;_phr_Vp_ boot;{boot})
                                                                                   (RP up;{up}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (ILYR (VB;_Tn_ start;{start})
                                                                                          (NP-OB1 (D the;{the})
                                                                                                  (N keyboard;{keyboard}))
                                                                                          (ADVP-NIM (ADV properly;{properly}))))))))))))
          (PUNC .))
  (ID 47_a_paulfellows))