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

fof(formula,axiom,
    ? [R_0047_0001__WE,R_0047_0003__AGES,R_0047_0002__SPENT,R_0047_0007__SOME_R_0047_0008__CODE,R_0047_0010__THE_R_0047_0011__ARM_R_0047_0012__END,R_0047_0006__CREATE,R_0047_0015__RELIABLY,X_000_47_A_PAULFELLOWS_43,R_0047_0016__BOOT_R_0047_0017__UP,R_0047_0020__THE_R_0047_0021__KEYBOARD,R_0047_0022__PROPERLY,R_0047_0019__START,R_0047_0018__AND,R_0047_0013__MAKE,Z_000_47_A_PAULFELLOWS_17,R_0047_0004__TRYING,Z_000_47_A_PAULFELLOWS_10] :
      ( r_0047_0001__We(R_0047_0001__WE)
      & r_0047_0003__ages(R_0047_0003__AGES)
      & r_0047_0007__some_r_0047_0008__code(R_0047_0007__SOME_R_0047_0008__CODE)
      & r_0047_0010__the_r_0047_0011__ARM_r_0047_0012__end(R_0047_0010__THE_R_0047_0011__ARM_R_0047_0012__END)
      & r_0047_0015__reliably(R_0047_0015__RELIABLY)
      & r_0047_0020__the_r_0047_0021__keyboard(R_0047_0020__THE_R_0047_0021__KEYBOARD)
      & r_0047_0022__properly(R_0047_0022__PROPERLY)
      & x_000_47_a_paulfellows_43(X_000_47_A_PAULFELLOWS_43)
      & z_000_47_a_paulfellows_10(Z_000_47_A_PAULFELLOWS_10)
      & has_conj1(Z_000_47_A_PAULFELLOWS_10,R_0047_0004__TRYING)
      & r_0047_0004__trying(R_0047_0004__TRYING)
      & has_clr14(R_0047_0004__TRYING,Z_000_47_A_PAULFELLOWS_17)
      & z_000_47_a_paulfellows_17(Z_000_47_A_PAULFELLOWS_17)
      & has_conj2(Z_000_47_A_PAULFELLOWS_17,R_0047_0013__MAKE)
      & r_0047_0013__make(R_0047_0013__MAKE)
      & has_prd(R_0047_0013__MAKE,R_0047_0018__AND)
      & r_0047_0018__and(R_0047_0018__AND)
      & has_conj2(R_0047_0018__AND,R_0047_0019__START)
      & r_0047_0019__start(R_0047_0019__START)
      & has_arg0(R_0047_0019__START,X_000_47_A_PAULFELLOWS_43)
      & has_nim64(R_0047_0019__START,R_0047_0022__PROPERLY)
      & has_arg1(R_0047_0019__START,R_0047_0020__THE_R_0047_0021__KEYBOARD)
      & has_nim44(R_0047_0019__START,R_0047_0015__RELIABLY)
      & has_conj1(R_0047_0018__AND,R_0047_0016__BOOT_R_0047_0017__UP)
      & r_0047_0016__boot_r_0047_0017__up(R_0047_0016__BOOT_R_0047_0017__UP)
      & has_arg0(R_0047_0016__BOOT_R_0047_0017__UP,X_000_47_A_PAULFELLOWS_43)
      & has_nim44(R_0047_0016__BOOT_R_0047_0017__UP,R_0047_0015__RELIABLY)
      & has_arg1(R_0047_0013__MAKE,R_0047_0003__AGES)
      & has_arg0(R_0047_0013__MAKE,R_0047_0001__WE)
      & has_conj1(Z_000_47_A_PAULFELLOWS_17,R_0047_0006__CREATE)
      & r_0047_0006__create(R_0047_0006__CREATE)
      & has_r_0047_0009__on_nim29(R_0047_0006__CREATE,R_0047_0010__THE_R_0047_0011__ARM_R_0047_0012__END)
      & has_arg1(R_0047_0006__CREATE,R_0047_0007__SOME_R_0047_0008__CODE)
      & has_arg0(R_0047_0006__CREATE,R_0047_0001__WE)
      & has_arg0(R_0047_0004__TRYING,R_0047_0001__WE)
      & has_conj2(Z_000_47_A_PAULFELLOWS_10,R_0047_0002__SPENT)
      & r_0047_0002__spent(R_0047_0002__SPENT)
      & has_arg1(R_0047_0002__SPENT,R_0047_0003__AGES)
      & has_arg0(R_0047_0002__SPENT,R_0047_0001__WE) ) ).

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