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

arc(r_0046_0002__spent,r_0046_0001__We,arg0).
arc(r_0046_0002__spent,r_0046_0003__ages,arg1).
arc(r_0046_0004__trying,r_0046_0001__We,arg0).
arc(r_0046_0004__trying,z_0046_5005,clr).
arc(r_0046_0006__create,r_0046_0001__We,arg0).
arc(r_0046_0006__create,r_0046_0007__some_r_0046_0008__code,arg1).
arc(r_0046_0006__create,r_0046_0010__the_r_0046_0011__ARM_r_0046_0012__end,r_0046_0009__on__nim).
arc(r_0046_0013__make,r_0046_0001__We,arg0).
arc(r_0046_0013__make,r_0046_0014__it,arg1).
arc(r_0046_0013__make,r_0046_0018__and,prd).
arc(r_0046_0016__boot_r_0046_0017__up,r_0046_0015__reliably,nim).
arc(r_0046_0016__boot_r_0046_0017__up,z_0046_5011,arg0).
arc(r_0046_0018__and,r_0046_0016__boot_r_0046_0017__up,conj1).
arc(r_0046_0018__and,r_0046_0019__start,conj2).
arc(r_0046_0019__start,r_0046_0015__reliably,nim).
arc(r_0046_0019__start,r_0046_0020__the_r_0046_0021__keyboard,arg1).
arc(r_0046_0019__start,r_0046_0022__properly,nim).
arc(r_0046_0019__start,z_0046_5011,arg0).
arc(z_0046_5002,r_0046_0002__spent,scope).
arc(z_0046_5002,r_0046_0004__trying,restriction).
arc(z_0046_5005,r_0046_0006__create,conj1).
arc(z_0046_5005,r_0046_0013__make,conj2).

fof(formula,axiom,
    ? [R_0046_0001__WE,R_0046_0003__AGES,R_0046_0002__SPENT,R_0046_0007__SOME_R_0046_0008__CODE,R_0046_0010__THE_R_0046_0011__ARM_R_0046_0012__END,R_0046_0006__CREATE,R_0046_0014__IT,R_0046_0015__RELIABLY,Z_0046_5011,R_0046_0016__BOOT_R_0046_0017__UP,R_0046_0020__THE_R_0046_0021__KEYBOARD,R_0046_0022__PROPERLY,R_0046_0019__START,R_0046_0018__AND,R_0046_0013__MAKE,Z_0046_5005,R_0046_0004__TRYING,Z_0046_5002] :
      ( r_0046_0001__We(R_0046_0001__WE)
      & r_0046_0003__ages(R_0046_0003__AGES)
      & r_0046_0007__some_r_0046_0008__code(R_0046_0007__SOME_R_0046_0008__CODE)
      & r_0046_0010__the_r_0046_0011__ARM_r_0046_0012__end(R_0046_0010__THE_R_0046_0011__ARM_R_0046_0012__END)
      & r_0046_0014__it(R_0046_0014__IT)
      & r_0046_0015__reliably(R_0046_0015__RELIABLY)
      & r_0046_0020__the_r_0046_0021__keyboard(R_0046_0020__THE_R_0046_0021__KEYBOARD)
      & r_0046_0022__properly(R_0046_0022__PROPERLY)
      & z_0046_5011(Z_0046_5011)
      & z_0046_5002(Z_0046_5002)
      & has_conj1(Z_0046_5002,R_0046_0004__TRYING)
      & r_0046_0004__trying(R_0046_0004__TRYING)
      & has_clr(R_0046_0004__TRYING,Z_0046_5005)
      & z_0046_5005(Z_0046_5005)
      & has_conj2(Z_0046_5005,R_0046_0013__MAKE)
      & r_0046_0013__make(R_0046_0013__MAKE)
      & has_prd(R_0046_0013__MAKE,R_0046_0018__AND)
      & r_0046_0018__and(R_0046_0018__AND)
      & has_conj2(R_0046_0018__AND,R_0046_0019__START)
      & r_0046_0019__start(R_0046_0019__START)
      & has_arg0(R_0046_0019__START,Z_0046_5011)
      & has_nim(R_0046_0019__START,R_0046_0022__PROPERLY)
      & has_arg1(R_0046_0019__START,R_0046_0020__THE_R_0046_0021__KEYBOARD)
      & has_nim(R_0046_0019__START,R_0046_0015__RELIABLY)
      & has_conj1(R_0046_0018__AND,R_0046_0016__BOOT_R_0046_0017__UP)
      & r_0046_0016__boot_r_0046_0017__up(R_0046_0016__BOOT_R_0046_0017__UP)
      & has_arg0(R_0046_0016__BOOT_R_0046_0017__UP,Z_0046_5011)
      & has_nim(R_0046_0016__BOOT_R_0046_0017__UP,R_0046_0015__RELIABLY)
      & has_arg1(R_0046_0013__MAKE,R_0046_0014__IT)
      & has_arg0(R_0046_0013__MAKE,R_0046_0001__WE)
      & has_conj1(Z_0046_5005,R_0046_0006__CREATE)
      & r_0046_0006__create(R_0046_0006__CREATE)
      & has_r_0046_0009__on__nim(R_0046_0006__CREATE,R_0046_0010__THE_R_0046_0011__ARM_R_0046_0012__END)
      & has_arg1(R_0046_0006__CREATE,R_0046_0007__SOME_R_0046_0008__CODE)
      & has_arg0(R_0046_0006__CREATE,R_0046_0001__WE)
      & has_arg0(R_0046_0004__TRYING,R_0046_0001__WE)
      & has_conj2(Z_0046_5002,R_0046_0002__SPENT)
      & r_0046_0002__spent(R_0046_0002__SPENT)
      & has_arg1(R_0046_0002__SPENT,R_0046_0003__AGES)
      & has_arg0(R_0046_0002__SPENT,R_0046_0001__WE) ) ).