Context                Previous, Next                Top


31_a_paulfellows
We got everything going, the sound, graphics, the memory management and everything running on here as the initial systems.

%3 r_0031_0002__got got r_0031_0001__We We r_0031_0002__got->r_0031_0001__We [arg0] r_0031_0004__going going r_0031_0002__got->r_0031_0004__going [prd] z_000_31_a_paulfellows_7 r_0031_0002__got->z_000_31_a_paulfellows_7 [arg1] r_0031_0003__everything_quant everything [quant] r_0031_0003__everything_quant->r_0031_0002__got [scope] r_0031_0003__everything_quant->z_000_31_a_paulfellows_7 [restriction] r_0031_0014__and and r_0031_0006__the_r_0031_0007__sound the sound r_0031_0014__and->r_0031_0006__the_r_0031_0007__sound [conj1] r_0031_0009__graphics graphics r_0031_0014__and->r_0031_0009__graphics [conj2] r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management the memory management r_0031_0014__and->r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management [conj3] z_000_31_a_paulfellows_44 r_0031_0014__and->z_000_31_a_paulfellows_44 [conj4] r_0031_0015__everything_quant everything [quant] r_0031_0015__everything_quant->r_0031_0014__and [scope] r_0031_0015__everything_quant->z_000_31_a_paulfellows_44 [restriction] r_0031_0016__running_r_0031_0017__on running on r_0031_0016__running_r_0031_0017__on->z_000_31_a_paulfellows_44 [arg0] r_0031_0018__here here r_0031_0016__running_r_0031_0017__on->r_0031_0018__here [nim] r_0031_0020__the_r_0031_0022__systems the systems r_0031_0016__running_r_0031_0017__on->r_0031_0020__the_r_0031_0022__systems as [nim] r_0031_0021__initial initial r_0031_0020__the_r_0031_0022__systems->r_0031_0021__initial [attrib] z_000_31_a_paulfellows_17 z_000_31_a_paulfellows_17->z_000_31_a_paulfellows_7 [arg0] z_000_31_a_paulfellows_17->r_0031_0014__and [prd] 
arc(r_0031_0002__got, r_0031_0001__We, arg0).
arc(r_0031_0002__got, r_0031_0004__going, prd).
arc(r_0031_0002__got, z_000_31_a_paulfellows_7, arg1).
arc(r_0031_0003__everything_quant, r_0031_0002__got, scope).
arc(r_0031_0003__everything_quant, z_000_31_a_paulfellows_7, restriction).
arc(r_0031_0014__and, r_0031_0006__the_r_0031_0007__sound, conj1).
arc(r_0031_0014__and, r_0031_0009__graphics, conj2).
arc(r_0031_0014__and, r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management, conj3).
arc(r_0031_0014__and, z_000_31_a_paulfellows_44, conj4).
arc(r_0031_0015__everything_quant, r_0031_0014__and, scope).
arc(r_0031_0015__everything_quant, z_000_31_a_paulfellows_44, restriction).
arc(r_0031_0016__running_r_0031_0017__on, r_0031_0018__here, nim52).
arc(r_0031_0016__running_r_0031_0017__on, r_0031_0020__the_r_0031_0022__systems, r_0031_0019__as_nim58).
arc(r_0031_0016__running_r_0031_0017__on, z_000_31_a_paulfellows_44, arg0).
arc(r_0031_0020__the_r_0031_0022__systems, r_0031_0021__initial, attrib61).
arc(z_000_31_a_paulfellows_17, r_0031_0014__and, prd).
arc(z_000_31_a_paulfellows_17, z_000_31_a_paulfellows_7, arg0).


%3 z_000_31_a_paulfellows_17 z_000_31_a_paulfellows_7 z_000_31_a_paulfellows_17->z_000_31_a_paulfellows_7 [arg0] r_0031_0014__and and z_000_31_a_paulfellows_17->r_0031_0014__and [prd] z_000_31_a_paulfellows_44 r_0031_0014__and->z_000_31_a_paulfellows_44 [conj4] r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management the memory management r_0031_0014__and->r_0031_0011__the_r_0031_0012__memory_r_0031_0013__management [conj3] r_0031_0009__graphics graphics r_0031_0014__and->r_0031_0009__graphics [conj2] r_0031_0006__the_r_0031_0007__sound the sound r_0031_0014__and->r_0031_0006__the_r_0031_0007__sound [conj1] r_0031_0020__the_r_0031_0022__systems the systems r_0031_0021__initial initial r_0031_0020__the_r_0031_0022__systems->r_0031_0021__initial [attrib] r_0031_0016__running_r_0031_0017__on running on r_0031_0016__running_r_0031_0017__on->r_0031_0020__the_r_0031_0022__systems as [nim] r_0031_0016__running_r_0031_0017__on->z_000_31_a_paulfellows_44 [arg0] r_0031_0018__here here r_0031_0016__running_r_0031_0017__on->r_0031_0018__here [nim] r_0031_0015__everything_quant everything [quant] r_0031_0015__everything_quant->z_000_31_a_paulfellows_17 [scope] r_0031_0015__everything_quant->r_0031_0016__running_r_0031_0017__on [restriction] r_0031_0003__everything_quant everything [quant] r_0031_0003__everything_quant->r_0031_0015__everything_quant [restriction] r_0031_0002__got got r_0031_0003__everything_quant->r_0031_0002__got [scope] r_0031_0002__got->z_000_31_a_paulfellows_7 [arg1] r_0031_0004__going going r_0031_0002__got->r_0031_0004__going [prd] r_0031_0001__We We r_0031_0002__got->r_0031_0001__We [arg0] 
fof(formula,axiom,
    ( ! [R_31_16_RUNNING_ON,Z_31_A_PAULFELLOWS_44,R_31_18_HERE,R_31_20_THE_SYSTEMS,R_31_21_INITIAL] :
        ( ( here(R_31_18_HERE)
          & initial(R_31_21_INITIAL)
          & running_on(R_31_16_RUNNING_ON,Z_31_A_PAULFELLOWS_44)
          & nim52(R_31_16_RUNNING_ON,R_31_18_HERE)
          & as_nim58(R_31_16_RUNNING_ON,R_31_20_THE_SYSTEMS)
          & the_systems(R_31_20_THE_SYSTEMS)
          & attrib61(R_31_20_THE_SYSTEMS,R_31_21_INITIAL) )
       => ? [Z_31_A_PAULFELLOWS_17,Z_31_A_PAULFELLOWS_7,R_31_14_AND,R_31_6_THE_SOUND,R_31_9_GRAPHICS,R_31_11_THE_MEMORY_MANAGEMENT] :
            ( the_sound(R_31_6_THE_SOUND)
            & graphics(R_31_9_GRAPHICS)
            & the_memory_management(R_31_11_THE_MEMORY_MANAGEMENT)
            & z_31_a_paulfellows_17(Z_31_A_PAULFELLOWS_17,Z_31_A_PAULFELLOWS_7,R_31_14_AND)
            & and(R_31_14_AND)
            & conj1(R_31_14_AND,R_31_6_THE_SOUND)
            & conj2(R_31_14_AND,R_31_9_GRAPHICS)
            & conj3(R_31_14_AND,R_31_11_THE_MEMORY_MANAGEMENT)
            & conj4(R_31_14_AND,Z_31_A_PAULFELLOWS_44) ) )
   => ? [R_31_2_GOT,R_31_1_WE,Z_31_A_PAULFELLOWS_7,R_31_4_GOING] :
        ( we(R_31_1_WE)
        & going(R_31_4_GOING)
        & got(R_31_2_GOT,R_31_1_WE,Z_31_A_PAULFELLOWS_7,R_31_4_GOING) ) ) ).


n31_a_paulfellows n31_a_paulfellows__1_1_1_1 We n31_a_paulfellows__1_2_1 got n31_a_paulfellows__1_3_1_1 everything n31_a_paulfellows__1_3_2_1 *ICH*-175 n31_a_paulfellows__1_4_1_1 going n31_a_paulfellows__1_5_1 , n31_a_paulfellows__1_6_1_1_1_1_1 the n31_a_paulfellows__1_6_1_1_1_2_1 sound n31_a_paulfellows__1_6_1_1_2_1 , n31_a_paulfellows__1_6_1_1_3_1_1_1 graphics n31_a_paulfellows__1_6_1_1_4_1 , n31_a_paulfellows__1_6_1_1_5_1_1_1 the n31_a_paulfellows__1_6_1_1_5_1_2_1 memory n31_a_paulfellows__1_6_1_1_5_1_3_1 management n31_a_paulfellows__1_6_1_1_6_1_1 and n31_a_paulfellows__1_6_1_1_6_2_1_1 everything n31_a_paulfellows__1_6_1_1_6_2_2_1_1 running n31_a_paulfellows__1_6_1_1_6_2_2_2_1 on n31_a_paulfellows__1_6_1_1_6_2_2_3_1_1 here n31_a_paulfellows__1_6_1_1_6_2_2_4_1_1 as n31_a_paulfellows__1_6_1_1_6_2_2_4_2_1_1 the n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2_1_1 initial n31_a_paulfellows__1_6_1_1_6_2_2_4_2_3_1 systems n31_a_paulfellows__1_7_1 . n31_a_paulfellows__1 IP-MAT n31_a_paulfellows__1_1 NP-SBJ n31_a_paulfellows__1->n31_a_paulfellows__1_1 n31_a_paulfellows__1_2 VBD;_Cn.a_ n31_a_paulfellows__1->n31_a_paulfellows__1_2 n31_a_paulfellows__1_3 NP-OB1 n31_a_paulfellows__1->n31_a_paulfellows__1_3 n31_a_paulfellows__1_4 ADJP-PRD n31_a_paulfellows__1->n31_a_paulfellows__1_4 n31_a_paulfellows__1_5 PUNC n31_a_paulfellows__1->n31_a_paulfellows__1_5 n31_a_paulfellows__1_6 IP-PPL-EPD-175 n31_a_paulfellows__1->n31_a_paulfellows__1_6 n31_a_paulfellows__1_7 PUNC n31_a_paulfellows__1->n31_a_paulfellows__1_7 n31_a_paulfellows__1_1_1 PRO n31_a_paulfellows__1_1->n31_a_paulfellows__1_1_1 n31_a_paulfellows__1_1_1->n31_a_paulfellows__1_1_1_1 n31_a_paulfellows__1_2->n31_a_paulfellows__1_2_1 n31_a_paulfellows__1_3_1 Q;_nphd_ n31_a_paulfellows__1_3->n31_a_paulfellows__1_3_1 n31_a_paulfellows__1_3_2 IP-PPL n31_a_paulfellows__1_3->n31_a_paulfellows__1_3_2 n31_a_paulfellows__1_3_1->n31_a_paulfellows__1_3_1_1 n31_a_paulfellows__1_3_2->n31_a_paulfellows__1_3_2_1 n31_a_paulfellows__1_4_1 ADJ n31_a_paulfellows__1_4->n31_a_paulfellows__1_4_1 n31_a_paulfellows__1_4_1->n31_a_paulfellows__1_4_1_1 n31_a_paulfellows__1_5->n31_a_paulfellows__1_5_1 n31_a_paulfellows__1_6_1 NP-PRD n31_a_paulfellows__1_6->n31_a_paulfellows__1_6_1 n31_a_paulfellows__1_6_1_1 NLYR n31_a_paulfellows__1_6_1->n31_a_paulfellows__1_6_1_1 n31_a_paulfellows__1_6_1_1_1 NLYR n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_1 n31_a_paulfellows__1_6_1_1_2 PUNC n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_2 n31_a_paulfellows__1_6_1_1_3 CONJP n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_3 n31_a_paulfellows__1_6_1_1_4 PUNC n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_4 n31_a_paulfellows__1_6_1_1_5 CONJP n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_5 n31_a_paulfellows__1_6_1_1_6 CONJP n31_a_paulfellows__1_6_1_1->n31_a_paulfellows__1_6_1_1_6 n31_a_paulfellows__1_6_1_1_1_1 D n31_a_paulfellows__1_6_1_1_1->n31_a_paulfellows__1_6_1_1_1_1 n31_a_paulfellows__1_6_1_1_1_2 N n31_a_paulfellows__1_6_1_1_1->n31_a_paulfellows__1_6_1_1_1_2 n31_a_paulfellows__1_6_1_1_1_1->n31_a_paulfellows__1_6_1_1_1_1_1 n31_a_paulfellows__1_6_1_1_1_2->n31_a_paulfellows__1_6_1_1_1_2_1 n31_a_paulfellows__1_6_1_1_2->n31_a_paulfellows__1_6_1_1_2_1 n31_a_paulfellows__1_6_1_1_3_1 NLYR n31_a_paulfellows__1_6_1_1_3->n31_a_paulfellows__1_6_1_1_3_1 n31_a_paulfellows__1_6_1_1_3_1_1 NS n31_a_paulfellows__1_6_1_1_3_1->n31_a_paulfellows__1_6_1_1_3_1_1 n31_a_paulfellows__1_6_1_1_3_1_1->n31_a_paulfellows__1_6_1_1_3_1_1_1 n31_a_paulfellows__1_6_1_1_4->n31_a_paulfellows__1_6_1_1_4_1 n31_a_paulfellows__1_6_1_1_5_1 NLYR n31_a_paulfellows__1_6_1_1_5->n31_a_paulfellows__1_6_1_1_5_1 n31_a_paulfellows__1_6_1_1_5_1_1 D n31_a_paulfellows__1_6_1_1_5_1->n31_a_paulfellows__1_6_1_1_5_1_1 n31_a_paulfellows__1_6_1_1_5_1_2 N n31_a_paulfellows__1_6_1_1_5_1->n31_a_paulfellows__1_6_1_1_5_1_2 n31_a_paulfellows__1_6_1_1_5_1_3 N n31_a_paulfellows__1_6_1_1_5_1->n31_a_paulfellows__1_6_1_1_5_1_3 n31_a_paulfellows__1_6_1_1_5_1_1->n31_a_paulfellows__1_6_1_1_5_1_1_1 n31_a_paulfellows__1_6_1_1_5_1_2->n31_a_paulfellows__1_6_1_1_5_1_2_1 n31_a_paulfellows__1_6_1_1_5_1_3->n31_a_paulfellows__1_6_1_1_5_1_3_1 n31_a_paulfellows__1_6_1_1_6_1 CONJ n31_a_paulfellows__1_6_1_1_6->n31_a_paulfellows__1_6_1_1_6_1 n31_a_paulfellows__1_6_1_1_6_2 NLYR n31_a_paulfellows__1_6_1_1_6->n31_a_paulfellows__1_6_1_1_6_2 n31_a_paulfellows__1_6_1_1_6_1->n31_a_paulfellows__1_6_1_1_6_1_1 n31_a_paulfellows__1_6_1_1_6_2_1 Q;_nphd_ n31_a_paulfellows__1_6_1_1_6_2->n31_a_paulfellows__1_6_1_1_6_2_1 n31_a_paulfellows__1_6_1_1_6_2_2 IP-PPL n31_a_paulfellows__1_6_1_1_6_2->n31_a_paulfellows__1_6_1_1_6_2_2 n31_a_paulfellows__1_6_1_1_6_2_1->n31_a_paulfellows__1_6_1_1_6_2_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_1 VAG;_Ip_ n31_a_paulfellows__1_6_1_1_6_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_1 n31_a_paulfellows__1_6_1_1_6_2_2_2 RP n31_a_paulfellows__1_6_1_1_6_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_2 n31_a_paulfellows__1_6_1_1_6_2_2_3 ADVP-NIM n31_a_paulfellows__1_6_1_1_6_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_3 n31_a_paulfellows__1_6_1_1_6_2_2_4 PP-NIM n31_a_paulfellows__1_6_1_1_6_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_4 n31_a_paulfellows__1_6_1_1_6_2_2_1->n31_a_paulfellows__1_6_1_1_6_2_2_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_2_1 n31_a_paulfellows__1_6_1_1_6_2_2_3_1 ADV n31_a_paulfellows__1_6_1_1_6_2_2_3->n31_a_paulfellows__1_6_1_1_6_2_2_3_1 n31_a_paulfellows__1_6_1_1_6_2_2_3_1->n31_a_paulfellows__1_6_1_1_6_2_2_3_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_1 P-ROLE n31_a_paulfellows__1_6_1_1_6_2_2_4->n31_a_paulfellows__1_6_1_1_6_2_2_4_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2 NP n31_a_paulfellows__1_6_1_1_6_2_2_4->n31_a_paulfellows__1_6_1_1_6_2_2_4_2 n31_a_paulfellows__1_6_1_1_6_2_2_4_1->n31_a_paulfellows__1_6_1_1_6_2_2_4_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_1 D n31_a_paulfellows__1_6_1_1_6_2_2_4_2->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2 ADJP n31_a_paulfellows__1_6_1_1_6_2_2_4_2->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_3 NS n31_a_paulfellows__1_6_1_1_6_2_2_4_2->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_3 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_1->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2_1 ADJ n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2_1->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_2_1_1 n31_a_paulfellows__1_6_1_1_6_2_2_4_2_3->n31_a_paulfellows__1_6_1_1_6_2_2_4_2_3_1 n31_a_paulfellows__1_7->n31_a_paulfellows__1_7_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBD;_Cn.a_ got;{get})
          (NP-OB1 (Q;_nphd_ everything;{everything})
                  (IP-PPL *ICH*-175))
          (ADJP-PRD (ADJ going;{going}))
          (PUNC ,)
          (IP-PPL-EPD-175 (NP-PRD (NLYR (NLYR (D the;{the})
                                              (N sound;{sound}))
                                        (PUNC ,)
                                        (CONJP (NLYR (NS graphics;{graphic})))
                                        (PUNC ,)
                                        (CONJP (NLYR (D the;{the})
                                                     (N memory;{memory})
                                                     (N management;{management})))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (Q;_nphd_ everything;{everything})
                                                     (IP-PPL (VAG;_Ip_ running;{run[on]})
                                                             (RP on;{on})
                                                             (ADVP-NIM (ADV here;{here}))
                                                             (PP-NIM (P-ROLE as;{as})
                                                                     (NP (D the;{the})
                                                                         (ADJP (ADJ initial;{initial}))
                                                                         (NS systems;{system})))))))))
          (PUNC .))
  (ID 31_a_paulfellows))