Context                Previous, Next                Top


8_a_planetoid
If you don't rescue a life - form before the raider carrying him reaches the top of the screen, the raider will mutate.

%3 r_0008_0001__If If r_0008_0004__n_apos_t n't r_0008_0001__If->r_0008_0004__n_apos_t [restriction] r_0008_0024__will will r_0008_0001__If->r_0008_0024__will [scope] r_0008_0010__before before r_0008_0004__n_apos_t->r_0008_0010__before [keep_scope] r_0008_0025__mutate mutate r_0008_0024__will->r_0008_0025__mutate [scope] r_0008_0003__do_r_0008_0005__rescue do rescue r_0008_0002__you you r_0008_0003__do_r_0008_0005__rescue->r_0008_0002__you [arg0] r_0008_0006__a_r_0008_0007__life_r_0008_0009__form a life form r_0008_0003__do_r_0008_0005__rescue->r_0008_0006__a_r_0008_0007__life_r_0008_0009__form [arg1] r_0008_0010__before->r_0008_0003__do_r_0008_0005__rescue [scope] r_0008_0015__reaches reaches r_0008_0010__before->r_0008_0015__reaches [restriction] r_0008_0011__the_r_0008_0012__raider the raider r_0008_0015__reaches->r_0008_0011__the_r_0008_0012__raider [arg0] r_0008_0016__the_r_0008_0017__top the top r_0008_0015__reaches->r_0008_0016__the_r_0008_0017__top [arg1] r_0008_0013__carrying carrying r_0008_0013__carrying->r_0008_0006__a_r_0008_0007__life_r_0008_0009__form [arg1] r_0008_0013__carrying->r_0008_0011__the_r_0008_0012__raider [arg0] r_0008_0019__the_r_0008_0020__screen the screen r_0008_0016__the_r_0008_0017__top->r_0008_0019__the_r_0008_0020__screen of r_0008_0022__the_r_0008_0023__raider the raider r_0008_0025__mutate->r_0008_0022__the_r_0008_0023__raider [arg0] 
arc(r_0008_0001__If, r_0008_0004__n_apos_t, restriction).
arc(r_0008_0001__If, r_0008_0024__will, scope).
arc(r_0008_0003__do_r_0008_0005__rescue, r_0008_0002__you, arg0).
arc(r_0008_0003__do_r_0008_0005__rescue, r_0008_0006__a_r_0008_0007__life_r_0008_0009__form, arg1).
arc(r_0008_0004__n_apos_t, r_0008_0010__before, keep_scope).
arc(r_0008_0010__before, r_0008_0003__do_r_0008_0005__rescue, scope).
arc(r_0008_0010__before, r_0008_0015__reaches, restriction).
arc(r_0008_0013__carrying, r_0008_0006__a_r_0008_0007__life_r_0008_0009__form, arg1).
arc(r_0008_0013__carrying, r_0008_0011__the_r_0008_0012__raider, arg0).
arc(r_0008_0015__reaches, r_0008_0011__the_r_0008_0012__raider, arg0).
arc(r_0008_0015__reaches, r_0008_0016__the_r_0008_0017__top, arg1).
arc(r_0008_0016__the_r_0008_0017__top, r_0008_0019__the_r_0008_0020__screen, r_0008_0018__of).
arc(r_0008_0024__will, r_0008_0025__mutate, scope).
arc(r_0008_0025__mutate, r_0008_0022__the_r_0008_0023__raider, arg0).


%3 r_0008_0001__If If r_0008_0004__n_apos_t n't r_0008_0001__If->r_0008_0004__n_apos_t [restriction] r_0008_0024__will_r_0008_0025__mutate will mutate r_0008_0001__If->r_0008_0024__will_r_0008_0025__mutate [scope] r_0008_0010__before before r_0008_0004__n_apos_t->r_0008_0010__before [keep_scope] r_0008_0022__the_r_0008_0023__raider the raider r_0008_0024__will_r_0008_0025__mutate->r_0008_0022__the_r_0008_0023__raider [arg0] r_0008_0003__do_r_0008_0005__rescue do rescue r_0008_0002__you you r_0008_0003__do_r_0008_0005__rescue->r_0008_0002__you [arg0] r_0008_0006__a_r_0008_0007__life_r_0008_0009__form a life form r_0008_0003__do_r_0008_0005__rescue->r_0008_0006__a_r_0008_0007__life_r_0008_0009__form [arg1] r_0008_0010__before->r_0008_0003__do_r_0008_0005__rescue [conj2] r_0008_0015__reaches reaches r_0008_0010__before->r_0008_0015__reaches [conj1] r_0008_0011__the_r_0008_0012__raider the raider r_0008_0015__reaches->r_0008_0011__the_r_0008_0012__raider [arg0] r_0008_0016__the_r_0008_0017__top the top r_0008_0015__reaches->r_0008_0016__the_r_0008_0017__top [arg1] r_0008_0013__carrying carrying r_0008_0013__carrying->r_0008_0006__a_r_0008_0007__life_r_0008_0009__form [arg1] r_0008_0013__carrying->r_0008_0011__the_r_0008_0012__raider [arg0] r_0008_0019__the_r_0008_0020__screen the screen r_0008_0016__the_r_0008_0017__top->r_0008_0019__the_r_0008_0020__screen of 
fof(formula,axiom,
    ? [R_8_13_CARRYING,R_8_11_THE_RAIDER,R_8_6_A_LIFE_FORM] :
      ( the_raider(R_8_11_THE_RAIDER)
      & a_life_form(R_8_6_A_LIFE_FORM)
      & ( ~ ? [R_8_10_BEFORE,R_8_15_REACHES,R_8_16_THE_TOP,R_8_19_THE_SCREEN,R_8_3_DO_RESCUE,R_8_2_YOU] :
              ( the_screen(R_8_19_THE_SCREEN)
              & you(R_8_2_YOU)
              & before(R_8_10_BEFORE)
              & conj1(R_8_10_BEFORE,R_8_15_REACHES)
              & reaches(R_8_15_REACHES,R_8_11_THE_RAIDER,R_8_16_THE_TOP)
              & the_top(R_8_16_THE_TOP)
              & of(R_8_16_THE_TOP,R_8_19_THE_SCREEN)
              & conj2(R_8_10_BEFORE,R_8_3_DO_RESCUE)
              & do_rescue(R_8_3_DO_RESCUE,R_8_2_YOU,R_8_6_A_LIFE_FORM) )
       => ? [R_8_24_WILL_MUTATE,R_8_22_THE_RAIDER] :
            ( the_raider(R_8_22_THE_RAIDER)
            & will_mutate(R_8_24_WILL_MUTATE,R_8_22_THE_RAIDER) ) )
      & carrying(R_8_13_CARRYING,R_8_11_THE_RAIDER,R_8_6_A_LIFE_FORM) ) ).


n8_a_planetoid n8_a_planetoid_4 If n8_a_planetoid_8 you n8_a_planetoid_10 do n8_a_planetoid_12 n't n8_a_planetoid_14 rescue n8_a_planetoid_17 a n8_a_planetoid_19 life n8_a_planetoid_21 - n8_a_planetoid_23 form n8_a_planetoid_26 before n8_a_planetoid_30 the n8_a_planetoid_32 raider n8_a_planetoid_35 carrying n8_a_planetoid_38 him n8_a_planetoid_40 reaches n8_a_planetoid_43 the n8_a_planetoid_45 top n8_a_planetoid_48 of n8_a_planetoid_51 the n8_a_planetoid_53 screen n8_a_planetoid_55 , n8_a_planetoid_58 the n8_a_planetoid_60 raider n8_a_planetoid_62 will n8_a_planetoid_65 mutate n8_a_planetoid_67 . n8_a_planetoid_1 IP-MAT n8_a_planetoid_2 PP-SCON n8_a_planetoid_1->n8_a_planetoid_2 n8_a_planetoid_54 PUNC n8_a_planetoid_1->n8_a_planetoid_54 n8_a_planetoid_56 NP-SBJ n8_a_planetoid_1->n8_a_planetoid_56 n8_a_planetoid_61 MD;_cat_Vi_ n8_a_planetoid_1->n8_a_planetoid_61 n8_a_planetoid_63 IP-INF-CAT n8_a_planetoid_1->n8_a_planetoid_63 n8_a_planetoid_66 PUNC n8_a_planetoid_1->n8_a_planetoid_66 n8_a_planetoid_3 P-CONN n8_a_planetoid_2->n8_a_planetoid_3 n8_a_planetoid_5 IP-ADV n8_a_planetoid_2->n8_a_planetoid_5 n8_a_planetoid_3->n8_a_planetoid_4 n8_a_planetoid_6 NP-SBJ n8_a_planetoid_5->n8_a_planetoid_6 n8_a_planetoid_9 DOP n8_a_planetoid_5->n8_a_planetoid_9 n8_a_planetoid_11 NEG;_clitic_;_high_ n8_a_planetoid_5->n8_a_planetoid_11 n8_a_planetoid_13 VB;_Tn_ n8_a_planetoid_5->n8_a_planetoid_13 n8_a_planetoid_15 NP-OB1 n8_a_planetoid_5->n8_a_planetoid_15 n8_a_planetoid_24 PP-SCON n8_a_planetoid_5->n8_a_planetoid_24 n8_a_planetoid_7 PRO n8_a_planetoid_6->n8_a_planetoid_7 n8_a_planetoid_7->n8_a_planetoid_8 n8_a_planetoid_9->n8_a_planetoid_10 n8_a_planetoid_11->n8_a_planetoid_12 n8_a_planetoid_13->n8_a_planetoid_14 n8_a_planetoid_16 D n8_a_planetoid_15->n8_a_planetoid_16 n8_a_planetoid_18 N n8_a_planetoid_15->n8_a_planetoid_18 n8_a_planetoid_20 PUNC n8_a_planetoid_15->n8_a_planetoid_20 n8_a_planetoid_22 N n8_a_planetoid_15->n8_a_planetoid_22 n8_a_planetoid_16->n8_a_planetoid_17 n8_a_planetoid_18->n8_a_planetoid_19 n8_a_planetoid_20->n8_a_planetoid_21 n8_a_planetoid_22->n8_a_planetoid_23 n8_a_planetoid_25 P-CONN n8_a_planetoid_24->n8_a_planetoid_25 n8_a_planetoid_27 IP-ADV n8_a_planetoid_24->n8_a_planetoid_27 n8_a_planetoid_25->n8_a_planetoid_26 n8_a_planetoid_28 NP-SBJ n8_a_planetoid_27->n8_a_planetoid_28 n8_a_planetoid_39 VBP;_Tn_ n8_a_planetoid_27->n8_a_planetoid_39 n8_a_planetoid_41 NP-OB1 n8_a_planetoid_27->n8_a_planetoid_41 n8_a_planetoid_29 D n8_a_planetoid_28->n8_a_planetoid_29 n8_a_planetoid_31 N n8_a_planetoid_28->n8_a_planetoid_31 n8_a_planetoid_33 IP-PPL n8_a_planetoid_28->n8_a_planetoid_33 n8_a_planetoid_29->n8_a_planetoid_30 n8_a_planetoid_31->n8_a_planetoid_32 n8_a_planetoid_34 VAG;_Tn_ n8_a_planetoid_33->n8_a_planetoid_34 n8_a_planetoid_36 NP-OB1 n8_a_planetoid_33->n8_a_planetoid_36 n8_a_planetoid_34->n8_a_planetoid_35 n8_a_planetoid_37 PRO n8_a_planetoid_36->n8_a_planetoid_37 n8_a_planetoid_37->n8_a_planetoid_38 n8_a_planetoid_39->n8_a_planetoid_40 n8_a_planetoid_42 D n8_a_planetoid_41->n8_a_planetoid_42 n8_a_planetoid_44 N n8_a_planetoid_41->n8_a_planetoid_44 n8_a_planetoid_46 PP n8_a_planetoid_41->n8_a_planetoid_46 n8_a_planetoid_42->n8_a_planetoid_43 n8_a_planetoid_44->n8_a_planetoid_45 n8_a_planetoid_47 P-ROLE n8_a_planetoid_46->n8_a_planetoid_47 n8_a_planetoid_49 NP n8_a_planetoid_46->n8_a_planetoid_49 n8_a_planetoid_47->n8_a_planetoid_48 n8_a_planetoid_50 D n8_a_planetoid_49->n8_a_planetoid_50 n8_a_planetoid_52 N n8_a_planetoid_49->n8_a_planetoid_52 n8_a_planetoid_50->n8_a_planetoid_51 n8_a_planetoid_52->n8_a_planetoid_53 n8_a_planetoid_54->n8_a_planetoid_55 n8_a_planetoid_57 D n8_a_planetoid_56->n8_a_planetoid_57 n8_a_planetoid_59 N n8_a_planetoid_56->n8_a_planetoid_59 n8_a_planetoid_57->n8_a_planetoid_58 n8_a_planetoid_59->n8_a_planetoid_60 n8_a_planetoid_61->n8_a_planetoid_62 n8_a_planetoid_64 VB;_I_ n8_a_planetoid_63->n8_a_planetoid_64 n8_a_planetoid_64->n8_a_planetoid_65 n8_a_planetoid_66->n8_a_planetoid_67 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (DOP do;{do})
                           (NEG;_clitic_;_high_ n<apos>t;{not})
                           (VB;_Tn_ rescue;{rescue})
                           (NP-OB1;{LIFE_FORM} (D a;{a})
                                               (N life;{life})
                                               (PUNC <hyphen>)
                                               (N form;{form}))
                           (PP-SCON (P-CONN before;{before})
                                    (IP-ADV (NP-SBJ;{RAIDER} (D the;{the})
                                                             (N raider;{raider})
                                                             (IP-PPL (VAG;_Tn_ carrying;{carry})
                                                                     (NP-OB1;{LIFE_FORM} (PRO him;{he}))))
                                            (VBP;_Tn_ reaches;{reach})
                                            (NP-OB1 (D the;{the})
                                                    (N top;{top})
                                                    (PP (P-ROLE of;{of})
                                                        (NP;{SCREEN} (D the;{the})
                                                                     (N screen;{screen}))))))))
          (PUNC ,)
          (NP-SBJ;{RAIDER} (D the;{the})
                           (N raider;{raider}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_I_ mutate;{mutate}))
          (PUNC .))
  (ID 8_a_planetoid))