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 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_0015__everything_quant everything [quant] r_0031_0003__everything_quant->r_0031_0015__everything_quant [restriction] r_0031_0016__running_r_0031_0017__on running on r_0031_0015__everything_quant->r_0031_0016__running_r_0031_0017__on [restriction] z_000_31_a_paulfellows_17 r_0031_0015__everything_quant->z_000_31_a_paulfellows_17 [scope] 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_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] z_000_31_a_paulfellows_17->z_000_31_a_paulfellows_7 [arg0] z_000_31_a_paulfellows_17->r_0031_0014__and [prd] r_0031_0021__initial initial r_0031_0020__the_r_0031_0022__systems->r_0031_0021__initial [attrib] 
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_4 We n31_a_paulfellows_6 got n31_a_paulfellows_9 everything n31_a_paulfellows_11 *ICH*-175 n31_a_paulfellows_14 going n31_a_paulfellows_16 , n31_a_paulfellows_22 the n31_a_paulfellows_24 sound n31_a_paulfellows_26 , n31_a_paulfellows_30 graphics n31_a_paulfellows_32 , n31_a_paulfellows_36 the n31_a_paulfellows_38 memory n31_a_paulfellows_40 management n31_a_paulfellows_43 and n31_a_paulfellows_46 everything n31_a_paulfellows_49 running n31_a_paulfellows_51 on n31_a_paulfellows_54 here n31_a_paulfellows_57 as n31_a_paulfellows_60 the n31_a_paulfellows_63 initial n31_a_paulfellows_65 systems n31_a_paulfellows_67 . n31_a_paulfellows_1 IP-MAT n31_a_paulfellows_2 NP-SBJ n31_a_paulfellows_1->n31_a_paulfellows_2 n31_a_paulfellows_5 VBD;_Cn.a_ n31_a_paulfellows_1->n31_a_paulfellows_5 n31_a_paulfellows_7 NP-OB1 n31_a_paulfellows_1->n31_a_paulfellows_7 n31_a_paulfellows_12 ADJP-PRD n31_a_paulfellows_1->n31_a_paulfellows_12 n31_a_paulfellows_15 PUNC n31_a_paulfellows_1->n31_a_paulfellows_15 n31_a_paulfellows_17 IP-PPL-EPD-175 n31_a_paulfellows_1->n31_a_paulfellows_17 n31_a_paulfellows_66 PUNC n31_a_paulfellows_1->n31_a_paulfellows_66 n31_a_paulfellows_3 PRO n31_a_paulfellows_2->n31_a_paulfellows_3 n31_a_paulfellows_3->n31_a_paulfellows_4 n31_a_paulfellows_5->n31_a_paulfellows_6 n31_a_paulfellows_8 Q;_nphd_ n31_a_paulfellows_7->n31_a_paulfellows_8 n31_a_paulfellows_10 IP-PPL n31_a_paulfellows_7->n31_a_paulfellows_10 n31_a_paulfellows_8->n31_a_paulfellows_9 n31_a_paulfellows_10->n31_a_paulfellows_11 n31_a_paulfellows_13 ADJ n31_a_paulfellows_12->n31_a_paulfellows_13 n31_a_paulfellows_13->n31_a_paulfellows_14 n31_a_paulfellows_15->n31_a_paulfellows_16 n31_a_paulfellows_18 NP-PRD n31_a_paulfellows_17->n31_a_paulfellows_18 n31_a_paulfellows_19 NLYR n31_a_paulfellows_18->n31_a_paulfellows_19 n31_a_paulfellows_20 NLYR n31_a_paulfellows_19->n31_a_paulfellows_20 n31_a_paulfellows_25 PUNC n31_a_paulfellows_19->n31_a_paulfellows_25 n31_a_paulfellows_27 CONJP n31_a_paulfellows_19->n31_a_paulfellows_27 n31_a_paulfellows_31 PUNC n31_a_paulfellows_19->n31_a_paulfellows_31 n31_a_paulfellows_33 CONJP n31_a_paulfellows_19->n31_a_paulfellows_33 n31_a_paulfellows_41 CONJP n31_a_paulfellows_19->n31_a_paulfellows_41 n31_a_paulfellows_21 D n31_a_paulfellows_20->n31_a_paulfellows_21 n31_a_paulfellows_23 N n31_a_paulfellows_20->n31_a_paulfellows_23 n31_a_paulfellows_21->n31_a_paulfellows_22 n31_a_paulfellows_23->n31_a_paulfellows_24 n31_a_paulfellows_25->n31_a_paulfellows_26 n31_a_paulfellows_28 NLYR n31_a_paulfellows_27->n31_a_paulfellows_28 n31_a_paulfellows_29 NS n31_a_paulfellows_28->n31_a_paulfellows_29 n31_a_paulfellows_29->n31_a_paulfellows_30 n31_a_paulfellows_31->n31_a_paulfellows_32 n31_a_paulfellows_34 NLYR n31_a_paulfellows_33->n31_a_paulfellows_34 n31_a_paulfellows_35 D n31_a_paulfellows_34->n31_a_paulfellows_35 n31_a_paulfellows_37 N n31_a_paulfellows_34->n31_a_paulfellows_37 n31_a_paulfellows_39 N n31_a_paulfellows_34->n31_a_paulfellows_39 n31_a_paulfellows_35->n31_a_paulfellows_36 n31_a_paulfellows_37->n31_a_paulfellows_38 n31_a_paulfellows_39->n31_a_paulfellows_40 n31_a_paulfellows_42 CONJ n31_a_paulfellows_41->n31_a_paulfellows_42 n31_a_paulfellows_44 NLYR n31_a_paulfellows_41->n31_a_paulfellows_44 n31_a_paulfellows_42->n31_a_paulfellows_43 n31_a_paulfellows_45 Q;_nphd_ n31_a_paulfellows_44->n31_a_paulfellows_45 n31_a_paulfellows_47 IP-PPL n31_a_paulfellows_44->n31_a_paulfellows_47 n31_a_paulfellows_45->n31_a_paulfellows_46 n31_a_paulfellows_48 VAG;_Ip_ n31_a_paulfellows_47->n31_a_paulfellows_48 n31_a_paulfellows_50 RP n31_a_paulfellows_47->n31_a_paulfellows_50 n31_a_paulfellows_52 ADVP-NIM n31_a_paulfellows_47->n31_a_paulfellows_52 n31_a_paulfellows_55 PP-NIM n31_a_paulfellows_47->n31_a_paulfellows_55 n31_a_paulfellows_48->n31_a_paulfellows_49 n31_a_paulfellows_50->n31_a_paulfellows_51 n31_a_paulfellows_53 ADV n31_a_paulfellows_52->n31_a_paulfellows_53 n31_a_paulfellows_53->n31_a_paulfellows_54 n31_a_paulfellows_56 P-ROLE n31_a_paulfellows_55->n31_a_paulfellows_56 n31_a_paulfellows_58 NP n31_a_paulfellows_55->n31_a_paulfellows_58 n31_a_paulfellows_56->n31_a_paulfellows_57 n31_a_paulfellows_59 D n31_a_paulfellows_58->n31_a_paulfellows_59 n31_a_paulfellows_61 ADJP n31_a_paulfellows_58->n31_a_paulfellows_61 n31_a_paulfellows_64 NS n31_a_paulfellows_58->n31_a_paulfellows_64 n31_a_paulfellows_59->n31_a_paulfellows_60 n31_a_paulfellows_62 ADJ n31_a_paulfellows_61->n31_a_paulfellows_62 n31_a_paulfellows_62->n31_a_paulfellows_63 n31_a_paulfellows_64->n31_a_paulfellows_65 n31_a_paulfellows_66->n31_a_paulfellows_67 
( (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))