Context                Previous, Next                Top


10_a_paulfellows
That brought it out of reset, powered it up, organised all the memory and so forth.

%3 r_0010_0002__brought brought r_0010_0001__That That r_0010_0002__brought->r_0010_0001__That [arg0] r_0010_0003__it it r_0010_0002__brought->r_0010_0003__it [arg1] r_0010_0005__reset reset r_0010_0002__brought->r_0010_0005__reset out of [clr] r_0010_0007__powered_r_0010_0009__up powered up r_0010_0007__powered_r_0010_0009__up->r_0010_0001__That [arg0] r_0010_0007__powered_r_0010_0009__up->r_0010_0005__reset [arg1] r_0010_0011__organised organised r_0010_0011__organised->r_0010_0001__That [arg0] r_0010_0013__the_r_0010_0014__memory the memory r_0010_0011__organised->r_0010_0013__the_r_0010_0014__memory [arg1] r_0010_0012__all_quant all [quant] r_0010_0012__all_quant->r_0010_0011__organised [scope] r_0010_0012__all_quant->r_0010_0013__the_r_0010_0014__memory [restriction] r_0010_0015__and and r_0010_0015__and->r_0010_0002__brought [conj1] r_0010_0015__and->r_0010_0007__powered_r_0010_0009__up [conj2] r_0010_0015__and->r_0010_0012__all_quant [conj3] z_000_10_a_paulfellows_45 r_0010_0015__and->z_000_10_a_paulfellows_45 [conj4] z_000_10_a_paulfellows_45->r_0010_0001__That [arg0] r_0010_0016__so_forth so forth z_000_10_a_paulfellows_45->r_0010_0016__so_forth [nim] 
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).


%3 z_000_10_a_paulfellows_45 r_0010_0016__so_forth so forth z_000_10_a_paulfellows_45->r_0010_0016__so_forth [nim] r_0010_0001__That That z_000_10_a_paulfellows_45->r_0010_0001__That [arg0] r_0010_0015__and and r_0010_0015__and->z_000_10_a_paulfellows_45 [conj4] r_0010_0012__all_quant all [quant] r_0010_0015__and->r_0010_0012__all_quant [conj3] r_0010_0007__powered_r_0010_0009__up powered up r_0010_0015__and->r_0010_0007__powered_r_0010_0009__up [conj2] r_0010_0002__brought brought r_0010_0015__and->r_0010_0002__brought [conj1] r_0010_0013__the_r_0010_0014__memory the memory r_0010_0012__all_quant->r_0010_0013__the_r_0010_0014__memory [restriction] r_0010_0011__organised organised r_0010_0012__all_quant->r_0010_0011__organised [scope] r_0010_0007__powered_r_0010_0009__up->r_0010_0001__That [arg0] r_0010_0005__reset reset r_0010_0007__powered_r_0010_0009__up->r_0010_0005__reset [arg1] r_0010_0002__brought->r_0010_0001__That [arg0] r_0010_0002__brought->r_0010_0005__reset out of [clr] r_0010_0003__it it r_0010_0002__brought->r_0010_0003__it [arg1] r_0010_0011__organised->r_0010_0001__That [arg0] r_0010_0011__organised->r_0010_0013__the_r_0010_0014__memory [arg1] 
fof(formula,axiom,
    ? [R_10_15_AND,R_10_2_BROUGHT,R_10_3_IT,R_10_7_POWERED_UP,R_10_5_RESET,Z_10_A_PAULFELLOWS_45,R_10_1_THAT,R_10_16_SO_FORTH] :
      ( it(R_10_3_IT)
      & reset(R_10_5_RESET)
      & that(R_10_1_THAT)
      & so_forth(R_10_16_SO_FORTH)
      & ! [R_10_13_THE_MEMORY] :
          ( the_memory(R_10_13_THE_MEMORY)
         => ? [R_10_11_ORGANISED] : organised(R_10_11_ORGANISED,R_10_1_THAT,R_10_13_THE_MEMORY) )
      & conj3(CONJ3)
      & and(R_10_15_AND)
      & conj1(R_10_15_AND,R_10_2_BROUGHT)
      & brought(R_10_2_BROUGHT,R_10_1_THAT,R_10_3_IT)
      & out_of_clr15(R_10_2_BROUGHT,R_10_5_RESET)
      & conj2(R_10_15_AND,R_10_7_POWERED_UP)
      & powered_up(R_10_7_POWERED_UP,R_10_1_THAT,R_10_5_RESET)
      & conj4(R_10_15_AND,Z_10_A_PAULFELLOWS_45)
      & z_10_a_paulfellows_45(Z_10_A_PAULFELLOWS_45,R_10_1_THAT)
      & nim46(Z_10_A_PAULFELLOWS_45,R_10_16_SO_FORTH) ) ).


n10_a_paulfellows n10_a_paulfellows__1_1_1_1 That n10_a_paulfellows__1_2_1_1_1 brought n10_a_paulfellows__1_2_1_2_1_1 it n10_a_paulfellows__1_2_1_3_1_1 out_of n10_a_paulfellows__1_2_1_3_2_1_1 reset n10_a_paulfellows__1_2_2_1 , n10_a_paulfellows__1_2_3_1_1_1 powered n10_a_paulfellows__1_2_3_1_2_1_1 it n10_a_paulfellows__1_2_3_1_3_1 up n10_a_paulfellows__1_2_4_1 , n10_a_paulfellows__1_2_5_1_1_1 organised n10_a_paulfellows__1_2_5_1_2_1_1 all n10_a_paulfellows__1_2_5_1_2_2_1 the n10_a_paulfellows__1_2_5_1_2_3_1 memory n10_a_paulfellows__1_2_6_1_1 and n10_a_paulfellows__1_2_6_2_1_1_1 so_forth n10_a_paulfellows__1_3_1 . n10_a_paulfellows__1 IP-MAT n10_a_paulfellows__1_1 NP-SBJ n10_a_paulfellows__1->n10_a_paulfellows__1_1 n10_a_paulfellows__1_2 ILYR n10_a_paulfellows__1->n10_a_paulfellows__1_2 n10_a_paulfellows__1_3 PUNC n10_a_paulfellows__1->n10_a_paulfellows__1_3 n10_a_paulfellows__1_1_1 D;_nphd_ n10_a_paulfellows__1_1->n10_a_paulfellows__1_1_1 n10_a_paulfellows__1_1_1->n10_a_paulfellows__1_1_1_1 n10_a_paulfellows__1_2_1 ILYR n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_1 n10_a_paulfellows__1_2_2 PUNC n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_2 n10_a_paulfellows__1_2_3 CONJP n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_3 n10_a_paulfellows__1_2_4 PUNC n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_4 n10_a_paulfellows__1_2_5 CONJP n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_5 n10_a_paulfellows__1_2_6 CONJP n10_a_paulfellows__1_2->n10_a_paulfellows__1_2_6 n10_a_paulfellows__1_2_1_1 VBD;_Tn.pr_ n10_a_paulfellows__1_2_1->n10_a_paulfellows__1_2_1_1 n10_a_paulfellows__1_2_1_2 NP-OB1 n10_a_paulfellows__1_2_1->n10_a_paulfellows__1_2_1_2 n10_a_paulfellows__1_2_1_3 PP-CLR n10_a_paulfellows__1_2_1->n10_a_paulfellows__1_2_1_3 n10_a_paulfellows__1_2_1_1->n10_a_paulfellows__1_2_1_1_1 n10_a_paulfellows__1_2_1_2_1 PRO n10_a_paulfellows__1_2_1_2->n10_a_paulfellows__1_2_1_2_1 n10_a_paulfellows__1_2_1_2_1->n10_a_paulfellows__1_2_1_2_1_1 n10_a_paulfellows__1_2_1_3_1 P-ROLE n10_a_paulfellows__1_2_1_3->n10_a_paulfellows__1_2_1_3_1 n10_a_paulfellows__1_2_1_3_2 NP n10_a_paulfellows__1_2_1_3->n10_a_paulfellows__1_2_1_3_2 n10_a_paulfellows__1_2_1_3_1->n10_a_paulfellows__1_2_1_3_1_1 n10_a_paulfellows__1_2_1_3_2_1 N n10_a_paulfellows__1_2_1_3_2->n10_a_paulfellows__1_2_1_3_2_1 n10_a_paulfellows__1_2_1_3_2_1->n10_a_paulfellows__1_2_1_3_2_1_1 n10_a_paulfellows__1_2_2->n10_a_paulfellows__1_2_2_1 n10_a_paulfellows__1_2_3_1 ILYR n10_a_paulfellows__1_2_3->n10_a_paulfellows__1_2_3_1 n10_a_paulfellows__1_2_3_1_1 VBD;_phr_Vn<=>p_ n10_a_paulfellows__1_2_3_1->n10_a_paulfellows__1_2_3_1_1 n10_a_paulfellows__1_2_3_1_2 NP-OB1 n10_a_paulfellows__1_2_3_1->n10_a_paulfellows__1_2_3_1_2 n10_a_paulfellows__1_2_3_1_3 RP n10_a_paulfellows__1_2_3_1->n10_a_paulfellows__1_2_3_1_3 n10_a_paulfellows__1_2_3_1_1->n10_a_paulfellows__1_2_3_1_1_1 n10_a_paulfellows__1_2_3_1_2_1 PRO n10_a_paulfellows__1_2_3_1_2->n10_a_paulfellows__1_2_3_1_2_1 n10_a_paulfellows__1_2_3_1_2_1->n10_a_paulfellows__1_2_3_1_2_1_1 n10_a_paulfellows__1_2_3_1_3->n10_a_paulfellows__1_2_3_1_3_1 n10_a_paulfellows__1_2_4->n10_a_paulfellows__1_2_4_1 n10_a_paulfellows__1_2_5_1 ILYR n10_a_paulfellows__1_2_5->n10_a_paulfellows__1_2_5_1 n10_a_paulfellows__1_2_5_1_1 VBD;_Tn_ n10_a_paulfellows__1_2_5_1->n10_a_paulfellows__1_2_5_1_1 n10_a_paulfellows__1_2_5_1_2 NP-OB1 n10_a_paulfellows__1_2_5_1->n10_a_paulfellows__1_2_5_1_2 n10_a_paulfellows__1_2_5_1_1->n10_a_paulfellows__1_2_5_1_1_1 n10_a_paulfellows__1_2_5_1_2_1 Q;_nphd_ n10_a_paulfellows__1_2_5_1_2->n10_a_paulfellows__1_2_5_1_2_1 n10_a_paulfellows__1_2_5_1_2_2 D n10_a_paulfellows__1_2_5_1_2->n10_a_paulfellows__1_2_5_1_2_2 n10_a_paulfellows__1_2_5_1_2_3 N n10_a_paulfellows__1_2_5_1_2->n10_a_paulfellows__1_2_5_1_2_3 n10_a_paulfellows__1_2_5_1_2_1->n10_a_paulfellows__1_2_5_1_2_1_1 n10_a_paulfellows__1_2_5_1_2_2->n10_a_paulfellows__1_2_5_1_2_2_1 n10_a_paulfellows__1_2_5_1_2_3->n10_a_paulfellows__1_2_5_1_2_3_1 n10_a_paulfellows__1_2_6_1 CONJ n10_a_paulfellows__1_2_6->n10_a_paulfellows__1_2_6_1 n10_a_paulfellows__1_2_6_2 ILYR n10_a_paulfellows__1_2_6->n10_a_paulfellows__1_2_6_2 n10_a_paulfellows__1_2_6_1->n10_a_paulfellows__1_2_6_1_1 n10_a_paulfellows__1_2_6_2_1 ADVP-NIM n10_a_paulfellows__1_2_6_2->n10_a_paulfellows__1_2_6_2_1 n10_a_paulfellows__1_2_6_2_1_1 ADV n10_a_paulfellows__1_2_6_2_1->n10_a_paulfellows__1_2_6_2_1_1 n10_a_paulfellows__1_2_6_2_1_1->n10_a_paulfellows__1_2_6_2_1_1_1 n10_a_paulfellows__1_3->n10_a_paulfellows__1_3_1 
( (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))