Context                Previous, Next                Top


12_a_planetoid
Look out when only one life - form remains, since if the raider abducting him reaches the top of the screen the planetoid explodes, and all the raiders become mutants.

%3 r_0012_0001__Look_r_0012_0002__out Look out z_000_12_a_planetoid_1 r_0012_0001__Look_r_0012_0002__out->z_000_12_a_planetoid_1 [arg0] r_0012_0003__when when r_0012_0003__when->r_0012_0001__Look_r_0012_0002__out [scope] r_0012_0009__remains remains r_0012_0003__when->r_0012_0009__remains [restriction] r_0012_0005__one_r_0012_0006__life_r_0012_0008__form one life form r_0012_0009__remains->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg0] r_0012_0004__only only r_0012_0005__one_r_0012_0006__life_r_0012_0008__form->r_0012_0004__only [qual] r_0012_0011__since since r_0012_0011__since->r_0012_0003__when [scope] r_0012_0012__if if r_0012_0011__since->r_0012_0012__if [restriction] r_0012_0017__reaches reaches r_0012_0012__if->r_0012_0017__reaches [restriction] r_0012_0027__and and r_0012_0012__if->r_0012_0027__and [scope] r_0012_0013__the_r_0012_0014__raider the raider r_0012_0017__reaches->r_0012_0013__the_r_0012_0014__raider [arg0] r_0012_0018__the_r_0012_0019__top the top r_0012_0017__reaches->r_0012_0018__the_r_0012_0019__top [arg1] r_0012_0025__explodes explodes r_0012_0027__and->r_0012_0025__explodes [conj1] r_0012_0028__all_quant all [quant] r_0012_0027__and->r_0012_0028__all_quant [conj2] r_0012_0015__abducting abducting r_0012_0015__abducting->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg1] r_0012_0015__abducting->r_0012_0013__the_r_0012_0014__raider [arg0] r_0012_0021__the_r_0012_0022__screen the screen r_0012_0018__the_r_0012_0019__top->r_0012_0021__the_r_0012_0022__screen of r_0012_0023__the_r_0012_0024__planetoid the planetoid r_0012_0025__explodes->r_0012_0023__the_r_0012_0024__planetoid [arg0] r_0012_0029__the_r_0012_0030__raiders the raiders r_0012_0028__all_quant->r_0012_0029__the_r_0012_0030__raiders [restriction] r_0012_0031__become become r_0012_0028__all_quant->r_0012_0031__become [scope] r_0012_0031__become->r_0012_0029__the_r_0012_0030__raiders [arg0] r_0012_0032__mutants mutants r_0012_0031__become->r_0012_0032__mutants [prd] 
arc(r_0012_0001__Look_r_0012_0002__out, z_000_12_a_planetoid_1, arg0).
arc(r_0012_0003__when, r_0012_0001__Look_r_0012_0002__out, scope).
arc(r_0012_0003__when, r_0012_0009__remains, restriction).
arc(r_0012_0005__one_r_0012_0006__life_r_0012_0008__form, r_0012_0004__only, qual11).
arc(r_0012_0009__remains, r_0012_0005__one_r_0012_0006__life_r_0012_0008__form, arg0).
arc(r_0012_0011__since, r_0012_0003__when, scope).
arc(r_0012_0011__since, r_0012_0012__if, restriction).
arc(r_0012_0012__if, r_0012_0017__reaches, restriction).
arc(r_0012_0012__if, r_0012_0027__and, scope).
arc(r_0012_0015__abducting, r_0012_0005__one_r_0012_0006__life_r_0012_0008__form, arg1).
arc(r_0012_0015__abducting, r_0012_0013__the_r_0012_0014__raider, arg0).
arc(r_0012_0017__reaches, r_0012_0013__the_r_0012_0014__raider, arg0).
arc(r_0012_0017__reaches, r_0012_0018__the_r_0012_0019__top, arg1).
arc(r_0012_0018__the_r_0012_0019__top, r_0012_0021__the_r_0012_0022__screen, r_0012_0020__of).
arc(r_0012_0025__explodes, r_0012_0023__the_r_0012_0024__planetoid, arg0).
arc(r_0012_0027__and, r_0012_0025__explodes, conj1).
arc(r_0012_0027__and, r_0012_0028__all_quant, conj2).
arc(r_0012_0028__all_quant, r_0012_0029__the_r_0012_0030__raiders, restriction).
arc(r_0012_0028__all_quant, r_0012_0031__become, scope).
arc(r_0012_0031__become, r_0012_0029__the_r_0012_0030__raiders, arg0).
arc(r_0012_0031__become, r_0012_0032__mutants, prd).


%3 r_0012_0001__Look_r_0012_0002__out Look out z_000_12_a_planetoid_1 r_0012_0001__Look_r_0012_0002__out->z_000_12_a_planetoid_1 [arg0] r_0012_0003__when when r_0012_0003__when->r_0012_0001__Look_r_0012_0002__out [scope] r_0012_0009__remains remains r_0012_0003__when->r_0012_0009__remains [restriction] r_0012_0005__one_r_0012_0006__life_r_0012_0008__form one life form r_0012_0009__remains->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg0] r_0012_0004__only only r_0012_0005__one_r_0012_0006__life_r_0012_0008__form->r_0012_0004__only [qual] r_0012_0011__since since r_0012_0011__since->r_0012_0003__when [conj2] r_0012_0012__if if r_0012_0011__since->r_0012_0012__if [conj1] r_0012_0017__reaches reaches r_0012_0012__if->r_0012_0017__reaches [restriction] r_0012_0027__and and r_0012_0012__if->r_0012_0027__and [scope] r_0012_0013__the_r_0012_0014__raider the raider r_0012_0017__reaches->r_0012_0013__the_r_0012_0014__raider [arg0] r_0012_0018__the_r_0012_0019__top the top r_0012_0017__reaches->r_0012_0018__the_r_0012_0019__top [arg1] r_0012_0025__explodes explodes r_0012_0027__and->r_0012_0025__explodes [conj1] r_0012_0028__all_quant all [quant] r_0012_0027__and->r_0012_0028__all_quant [conj2] r_0012_0015__abducting abducting r_0012_0015__abducting->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg1] r_0012_0015__abducting->r_0012_0013__the_r_0012_0014__raider [arg0] r_0012_0021__the_r_0012_0022__screen the screen r_0012_0018__the_r_0012_0019__top->r_0012_0021__the_r_0012_0022__screen of r_0012_0023__the_r_0012_0024__planetoid the planetoid r_0012_0025__explodes->r_0012_0023__the_r_0012_0024__planetoid [arg0] r_0012_0029__the_r_0012_0030__raiders the raiders r_0012_0028__all_quant->r_0012_0029__the_r_0012_0030__raiders [restriction] r_0012_0031__become become r_0012_0028__all_quant->r_0012_0031__become [scope] r_0012_0031__become->r_0012_0029__the_r_0012_0030__raiders [arg0] r_0012_0032__mutants mutants r_0012_0031__become->r_0012_0032__mutants [prd] 
fof(formula,axiom,
    ? [R_12_11_SINCE,R_12_15_ABDUCTING,R_12_13_THE_RAIDER,R_12_5_ONE_LIFE_FORM,R_12_4_ONLY] :
      ( the_raider(R_12_13_THE_RAIDER)
      & only(R_12_4_ONLY)
      & ! [R_12_9_REMAINS] :
          ( remains(R_12_9_REMAINS,R_12_5_ONE_LIFE_FORM)
         => ? [R_12_1_LOOK_OUT,Z_12_A_PLANETOID_1] : look_out(R_12_1_LOOK_OUT,Z_12_A_PLANETOID_1) )
      & conj2(CONJ2)
      & ! [R_12_17_REACHES,R_12_18_THE_TOP,R_12_21_THE_SCREEN] :
          ( ( the_screen(R_12_21_THE_SCREEN)
            & reaches(R_12_17_REACHES,R_12_13_THE_RAIDER,R_12_18_THE_TOP)
            & the_top(R_12_18_THE_TOP)
            & of(R_12_18_THE_TOP,R_12_21_THE_SCREEN) )
         => ? [R_12_27_AND,R_12_25_EXPLODES,R_12_23_THE_PLANETOID] :
              ( the_planetoid(R_12_23_THE_PLANETOID)
              & ! [R_12_29_THE_RAIDERS] :
                  ( the_raiders(R_12_29_THE_RAIDERS)
                 => ? [R_12_31_BECOME,R_12_32_MUTANTS] :
                      ( mutants(R_12_32_MUTANTS)
                      & become(R_12_31_BECOME,R_12_29_THE_RAIDERS,R_12_32_MUTANTS) ) )
              & conj2(CONJ2)
              & and(R_12_27_AND)
              & conj1(R_12_27_AND,R_12_25_EXPLODES)
              & explodes(R_12_25_EXPLODES,R_12_23_THE_PLANETOID) ) )
      & conj1(CONJ1)
      & since(R_12_11_SINCE)
      & abducting(R_12_15_ABDUCTING,R_12_13_THE_RAIDER,R_12_5_ONE_LIFE_FORM)
      & one_life_form(R_12_5_ONE_LIFE_FORM)
      & qual11(R_12_5_ONE_LIFE_FORM,R_12_4_ONLY) ) ).


n12_a_planetoid n12_a_planetoid_3 Look n12_a_planetoid_5 out n12_a_planetoid_8 when n12_a_planetoid_13 only n12_a_planetoid_15 one n12_a_planetoid_17 life n12_a_planetoid_19 - n12_a_planetoid_21 form n12_a_planetoid_23 remains n12_a_planetoid_25 , n12_a_planetoid_28 since n12_a_planetoid_32 if n12_a_planetoid_36 the n12_a_planetoid_38 raider n12_a_planetoid_41 abducting n12_a_planetoid_44 him n12_a_planetoid_46 reaches n12_a_planetoid_49 the n12_a_planetoid_51 top n12_a_planetoid_54 of n12_a_planetoid_57 the n12_a_planetoid_59 screen n12_a_planetoid_64 the n12_a_planetoid_66 planetoid n12_a_planetoid_68 explodes n12_a_planetoid_70 , n12_a_planetoid_73 and n12_a_planetoid_77 all n12_a_planetoid_79 the n12_a_planetoid_81 raiders n12_a_planetoid_83 become n12_a_planetoid_86 mutants n12_a_planetoid_88 . n12_a_planetoid_1 IP-IMP n12_a_planetoid_2 VB;_phr_Vp_ n12_a_planetoid_1->n12_a_planetoid_2 n12_a_planetoid_4 RP n12_a_planetoid_1->n12_a_planetoid_4 n12_a_planetoid_6 PP-SCON n12_a_planetoid_1->n12_a_planetoid_6 n12_a_planetoid_24 PUNC n12_a_planetoid_1->n12_a_planetoid_24 n12_a_planetoid_26 PP-SCON n12_a_planetoid_1->n12_a_planetoid_26 n12_a_planetoid_87 PUNC n12_a_planetoid_1->n12_a_planetoid_87 n12_a_planetoid_2->n12_a_planetoid_3 n12_a_planetoid_4->n12_a_planetoid_5 n12_a_planetoid_7 P-CONN n12_a_planetoid_6->n12_a_planetoid_7 n12_a_planetoid_9 IP-ADV n12_a_planetoid_6->n12_a_planetoid_9 n12_a_planetoid_7->n12_a_planetoid_8 n12_a_planetoid_10 NP-SBJ n12_a_planetoid_9->n12_a_planetoid_10 n12_a_planetoid_22 VBP;_I_ n12_a_planetoid_9->n12_a_planetoid_22 n12_a_planetoid_11 ADVP n12_a_planetoid_10->n12_a_planetoid_11 n12_a_planetoid_14 NUM n12_a_planetoid_10->n12_a_planetoid_14 n12_a_planetoid_16 N n12_a_planetoid_10->n12_a_planetoid_16 n12_a_planetoid_18 PUNC n12_a_planetoid_10->n12_a_planetoid_18 n12_a_planetoid_20 N n12_a_planetoid_10->n12_a_planetoid_20 n12_a_planetoid_12 ADV n12_a_planetoid_11->n12_a_planetoid_12 n12_a_planetoid_12->n12_a_planetoid_13 n12_a_planetoid_14->n12_a_planetoid_15 n12_a_planetoid_16->n12_a_planetoid_17 n12_a_planetoid_18->n12_a_planetoid_19 n12_a_planetoid_20->n12_a_planetoid_21 n12_a_planetoid_22->n12_a_planetoid_23 n12_a_planetoid_24->n12_a_planetoid_25 n12_a_planetoid_27 P-CONN n12_a_planetoid_26->n12_a_planetoid_27 n12_a_planetoid_29 IP-ADV n12_a_planetoid_26->n12_a_planetoid_29 n12_a_planetoid_27->n12_a_planetoid_28 n12_a_planetoid_30 PP-SCON n12_a_planetoid_29->n12_a_planetoid_30 n12_a_planetoid_60 ILYR n12_a_planetoid_29->n12_a_planetoid_60 n12_a_planetoid_31 P-CONN n12_a_planetoid_30->n12_a_planetoid_31 n12_a_planetoid_33 IP-ADV n12_a_planetoid_30->n12_a_planetoid_33 n12_a_planetoid_31->n12_a_planetoid_32 n12_a_planetoid_34 NP-SBJ n12_a_planetoid_33->n12_a_planetoid_34 n12_a_planetoid_45 VBP;_Tn_ n12_a_planetoid_33->n12_a_planetoid_45 n12_a_planetoid_47 NP-OB1 n12_a_planetoid_33->n12_a_planetoid_47 n12_a_planetoid_35 D n12_a_planetoid_34->n12_a_planetoid_35 n12_a_planetoid_37 N n12_a_planetoid_34->n12_a_planetoid_37 n12_a_planetoid_39 IP-PPL n12_a_planetoid_34->n12_a_planetoid_39 n12_a_planetoid_35->n12_a_planetoid_36 n12_a_planetoid_37->n12_a_planetoid_38 n12_a_planetoid_40 VAG;_Tn_ n12_a_planetoid_39->n12_a_planetoid_40 n12_a_planetoid_42 NP-OB1 n12_a_planetoid_39->n12_a_planetoid_42 n12_a_planetoid_40->n12_a_planetoid_41 n12_a_planetoid_43 PRO n12_a_planetoid_42->n12_a_planetoid_43 n12_a_planetoid_43->n12_a_planetoid_44 n12_a_planetoid_45->n12_a_planetoid_46 n12_a_planetoid_48 D n12_a_planetoid_47->n12_a_planetoid_48 n12_a_planetoid_50 N n12_a_planetoid_47->n12_a_planetoid_50 n12_a_planetoid_52 PP n12_a_planetoid_47->n12_a_planetoid_52 n12_a_planetoid_48->n12_a_planetoid_49 n12_a_planetoid_50->n12_a_planetoid_51 n12_a_planetoid_53 P-ROLE n12_a_planetoid_52->n12_a_planetoid_53 n12_a_planetoid_55 NP n12_a_planetoid_52->n12_a_planetoid_55 n12_a_planetoid_53->n12_a_planetoid_54 n12_a_planetoid_56 D n12_a_planetoid_55->n12_a_planetoid_56 n12_a_planetoid_58 N n12_a_planetoid_55->n12_a_planetoid_58 n12_a_planetoid_56->n12_a_planetoid_57 n12_a_planetoid_58->n12_a_planetoid_59 n12_a_planetoid_61 ILYR n12_a_planetoid_60->n12_a_planetoid_61 n12_a_planetoid_69 PUNC n12_a_planetoid_60->n12_a_planetoid_69 n12_a_planetoid_71 CONJP n12_a_planetoid_60->n12_a_planetoid_71 n12_a_planetoid_62 NP-SBJ n12_a_planetoid_61->n12_a_planetoid_62 n12_a_planetoid_67 VBP;_I_ n12_a_planetoid_61->n12_a_planetoid_67 n12_a_planetoid_63 D n12_a_planetoid_62->n12_a_planetoid_63 n12_a_planetoid_65 N n12_a_planetoid_62->n12_a_planetoid_65 n12_a_planetoid_63->n12_a_planetoid_64 n12_a_planetoid_65->n12_a_planetoid_66 n12_a_planetoid_67->n12_a_planetoid_68 n12_a_planetoid_69->n12_a_planetoid_70 n12_a_planetoid_72 CONJ n12_a_planetoid_71->n12_a_planetoid_72 n12_a_planetoid_74 ILYR n12_a_planetoid_71->n12_a_planetoid_74 n12_a_planetoid_72->n12_a_planetoid_73 n12_a_planetoid_75 NP-SBJ n12_a_planetoid_74->n12_a_planetoid_75 n12_a_planetoid_82 VBP;_Ln_ n12_a_planetoid_74->n12_a_planetoid_82 n12_a_planetoid_84 NP-PRD n12_a_planetoid_74->n12_a_planetoid_84 n12_a_planetoid_76 Q;_nphd_ n12_a_planetoid_75->n12_a_planetoid_76 n12_a_planetoid_78 D n12_a_planetoid_75->n12_a_planetoid_78 n12_a_planetoid_80 NS n12_a_planetoid_75->n12_a_planetoid_80 n12_a_planetoid_76->n12_a_planetoid_77 n12_a_planetoid_78->n12_a_planetoid_79 n12_a_planetoid_80->n12_a_planetoid_81 n12_a_planetoid_82->n12_a_planetoid_83 n12_a_planetoid_85 NS n12_a_planetoid_84->n12_a_planetoid_85 n12_a_planetoid_85->n12_a_planetoid_86 n12_a_planetoid_87->n12_a_planetoid_88 
( (IP-IMP (VB;_phr_Vp_ Look;{look[out]})
          (RP out;{out})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{LIFE_FORM3} (ADVP (ADV only;{only}))
                                                (NUM one;{one})
                                                (N life;{life})
                                                (PUNC <hyphen>)
                                                (N form;{form}))
                           (VBP;_I_ remains;{remain})))
          (PUNC ,)
          (PP-SCON (P-CONN since;{since})
                   (IP-ADV (PP-SCON (P-CONN if;{if})
                                    (IP-ADV (NP-SBJ (D the;{the})
                                                    (N raider;{raider})
                                                    (IP-PPL (VAG;_Tn_ abducting;{abduct})
                                                            (NP-OB1;{LIFE_FORM3} (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}))))))
                           (ILYR (ILYR (NP-SBJ (D the;{the})
                                               (N planetoid;{planetoid}))
                                       (VBP;_I_ explodes;{explode}))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                                      (D the;{the})
                                                      (NS raiders;{raider}))
                                              (VBP;_Ln_ become;{become})
                                              (NP-PRD (NS mutants;{mutant})))))))
          (PUNC .))
  (ID 12_a_planetoid))