arc(r_0010_0002__brought, r_0010_0001__That, arg0).
arc(r_0010_0002__brought, r_0010_0003__it, arg1).
arc(r_0010_0002__brought, r_0010_0005__reset, r_0010_0004__out_of_clr15).
arc(r_0010_0007__powered_r_0010_0009__up, r_0010_0001__That, arg0).
arc(r_0010_0007__powered_r_0010_0009__up, r_0010_0005__reset, arg1).
arc(r_0010_0011__organised, r_0010_0001__That, arg0).
arc(r_0010_0011__organised, r_0010_0013__the_r_0010_0014__memory, arg1).
arc(r_0010_0012__all_quant, r_0010_0011__organised, scope).
arc(r_0010_0012__all_quant, r_0010_0013__the_r_0010_0014__memory, restriction).
arc(r_0010_0015__and, r_0010_0002__brought, conj1).
arc(r_0010_0015__and, r_0010_0007__powered_r_0010_0009__up, conj2).
arc(r_0010_0015__and, r_0010_0012__all_quant, conj3).
arc(r_0010_0015__and, z_000_10_a_paulfellows_45, conj4).
arc(z_000_10_a_paulfellows_45, r_0010_0001__That, arg0).
arc(z_000_10_a_paulfellows_45, r_0010_0016__so_forth, nim46).

fof(formula,axiom,
    ? [R_0010_0001__THAT,R_0010_0003__IT,R_0010_0005__RESET,R_0010_0002__BROUGHT,R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0016__SO_FORTH,Z_000_10_A_PAULFELLOWS_45,R_0010_0015__AND] :
      ( r_0010_0001__That(R_0010_0001__THAT)
      & r_0010_0003__it(R_0010_0003__IT)
      & r_0010_0005__reset(R_0010_0005__RESET)
      & r_0010_0016__so_forth(R_0010_0016__SO_FORTH)
      & r_0010_0015__and(R_0010_0015__AND)
      & has_conj4(R_0010_0015__AND,Z_000_10_A_PAULFELLOWS_45)
      & z_000_10_a_paulfellows_45(Z_000_10_A_PAULFELLOWS_45)
      & has_nim46(Z_000_10_A_PAULFELLOWS_45,R_0010_0016__SO_FORTH)
      & has_arg0(Z_000_10_A_PAULFELLOWS_45,R_0010_0001__THAT)
      & ! [R_0010_0013__THE_R_0010_0014__MEMORY] :
          ( r_0010_0013__the_r_0010_0014__memory(R_0010_0013__THE_R_0010_0014__MEMORY)
         => ? [R_0010_0011__ORGANISED] :
              ( r_0010_0011__organised(R_0010_0011__ORGANISED)
              & has_arg1(R_0010_0011__ORGANISED,R_0010_0013__THE_R_0010_0014__MEMORY)
              & has_arg0(R_0010_0011__ORGANISED,R_0010_0001__THAT) ) )
      & has_conj2(R_0010_0015__AND,R_0010_0007__POWERED_R_0010_0009__UP)
      & r_0010_0007__powered_r_0010_0009__up(R_0010_0007__POWERED_R_0010_0009__UP)
      & has_arg1(R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0005__RESET)
      & has_arg0(R_0010_0007__POWERED_R_0010_0009__UP,R_0010_0001__THAT)
      & has_conj1(R_0010_0015__AND,R_0010_0002__BROUGHT)
      & r_0010_0002__brought(R_0010_0002__BROUGHT)
      & has_r_0010_0004__out_of_clr15(R_0010_0002__BROUGHT,R_0010_0005__RESET)
      & has_arg1(R_0010_0002__BROUGHT,R_0010_0003__IT)
      & has_arg0(R_0010_0002__BROUGHT,R_0010_0001__THAT) ) ).

( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
          (ILYR (ILYR (VBD;_Tn.pr_ brought;{bring[out_of]})
                      (NP-OB1 (PRO it;{it}))
                      (PP-CLR (P-ROLE out_of;{out_of})
                              (NP (N reset;{reset}))))
                (PUNC ,)
                (CONJP (ILYR (VBD;_phr_Vn<=>p_ powered;{power[up]})
                             (NP-OB1 (PRO it;{it}))
                             (RP up;{up})))
                (PUNC ,)
                (CONJP (ILYR (VBD;_Tn_ organised;{organise})
                             (NP-OB1 (Q;_nphd_ all;{all})
                                     (D the;{the})
                                     (N memory;{memory}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV so_forth;{so_forth})))))
          (PUNC .))
  (ID 10_a_paulfellows))