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.

n12_a_planetoid n12_a_planetoid__1_1_1 Look n12_a_planetoid__1_2_1 out n12_a_planetoid__1_3_1_1 when n12_a_planetoid__1_3_2_1_1_1_1 only n12_a_planetoid__1_3_2_1_2_1 one n12_a_planetoid__1_3_2_1_3_1 life n12_a_planetoid__1_3_2_1_4_1 - n12_a_planetoid__1_3_2_1_5_1 form n12_a_planetoid__1_3_2_2_1 remains n12_a_planetoid__1_4_1 , n12_a_planetoid__1_5_1_1 since n12_a_planetoid__1_5_2_1_1_1 if n12_a_planetoid__1_5_2_1_2_1_1_1 the n12_a_planetoid__1_5_2_1_2_1_2_1 raider n12_a_planetoid__1_5_2_1_2_1_3_1_1 abducting n12_a_planetoid__1_5_2_1_2_1_3_2_1_1 him n12_a_planetoid__1_5_2_1_2_2_1 reaches n12_a_planetoid__1_5_2_1_2_3_1_1 the n12_a_planetoid__1_5_2_1_2_3_2_1 top n12_a_planetoid__1_5_2_1_2_3_3_1_1 of n12_a_planetoid__1_5_2_1_2_3_3_2_1_1 the n12_a_planetoid__1_5_2_1_2_3_3_2_2_1 screen n12_a_planetoid__1_5_2_2_1_1_1_1 the n12_a_planetoid__1_5_2_2_1_1_2_1 planetoid n12_a_planetoid__1_5_2_2_1_2_1 explodes n12_a_planetoid__1_5_2_2_2_1 , n12_a_planetoid__1_5_2_2_3_1_1 and n12_a_planetoid__1_5_2_2_3_2_1_1_1 all n12_a_planetoid__1_5_2_2_3_2_1_2_1_1 the n12_a_planetoid__1_5_2_2_3_2_1_2_2_1 raiders n12_a_planetoid__1_5_2_2_3_2_2_1 become n12_a_planetoid__1_5_2_2_3_2_3_1_1 mutants n12_a_planetoid__1_6_1 . n12_a_planetoid__1 IP-IMP n12_a_planetoid__1_1 VB;_phr_Vp_ n12_a_planetoid__1->n12_a_planetoid__1_1 n12_a_planetoid__1_2 RP n12_a_planetoid__1->n12_a_planetoid__1_2 n12_a_planetoid__1_3 PP-SCON n12_a_planetoid__1->n12_a_planetoid__1_3 n12_a_planetoid__1_4 PUNC n12_a_planetoid__1->n12_a_planetoid__1_4 n12_a_planetoid__1_5 PP-SCON n12_a_planetoid__1->n12_a_planetoid__1_5 n12_a_planetoid__1_6 PUNC n12_a_planetoid__1->n12_a_planetoid__1_6 n12_a_planetoid__1_1->n12_a_planetoid__1_1_1 n12_a_planetoid__1_2->n12_a_planetoid__1_2_1 n12_a_planetoid__1_3_1 P-CONN n12_a_planetoid__1_3->n12_a_planetoid__1_3_1 n12_a_planetoid__1_3_2 IP-ADV n12_a_planetoid__1_3->n12_a_planetoid__1_3_2 n12_a_planetoid__1_3_1->n12_a_planetoid__1_3_1_1 n12_a_planetoid__1_3_2_1 NP-SBJ n12_a_planetoid__1_3_2->n12_a_planetoid__1_3_2_1 n12_a_planetoid__1_3_2_2 VBP;_I_ n12_a_planetoid__1_3_2->n12_a_planetoid__1_3_2_2 n12_a_planetoid__1_3_2_1_1 ADVP n12_a_planetoid__1_3_2_1->n12_a_planetoid__1_3_2_1_1 n12_a_planetoid__1_3_2_1_2 NUM n12_a_planetoid__1_3_2_1->n12_a_planetoid__1_3_2_1_2 n12_a_planetoid__1_3_2_1_3 N n12_a_planetoid__1_3_2_1->n12_a_planetoid__1_3_2_1_3 n12_a_planetoid__1_3_2_1_4 PUNC n12_a_planetoid__1_3_2_1->n12_a_planetoid__1_3_2_1_4 n12_a_planetoid__1_3_2_1_5 N n12_a_planetoid__1_3_2_1->n12_a_planetoid__1_3_2_1_5 n12_a_planetoid__1_3_2_1_1_1 ADV n12_a_planetoid__1_3_2_1_1->n12_a_planetoid__1_3_2_1_1_1 n12_a_planetoid__1_3_2_1_1_1->n12_a_planetoid__1_3_2_1_1_1_1 n12_a_planetoid__1_3_2_1_2->n12_a_planetoid__1_3_2_1_2_1 n12_a_planetoid__1_3_2_1_3->n12_a_planetoid__1_3_2_1_3_1 n12_a_planetoid__1_3_2_1_4->n12_a_planetoid__1_3_2_1_4_1 n12_a_planetoid__1_3_2_1_5->n12_a_planetoid__1_3_2_1_5_1 n12_a_planetoid__1_3_2_2->n12_a_planetoid__1_3_2_2_1 n12_a_planetoid__1_4->n12_a_planetoid__1_4_1 n12_a_planetoid__1_5_1 P-CONN n12_a_planetoid__1_5->n12_a_planetoid__1_5_1 n12_a_planetoid__1_5_2 IP-ADV n12_a_planetoid__1_5->n12_a_planetoid__1_5_2 n12_a_planetoid__1_5_1->n12_a_planetoid__1_5_1_1 n12_a_planetoid__1_5_2_1 PP-SCON n12_a_planetoid__1_5_2->n12_a_planetoid__1_5_2_1 n12_a_planetoid__1_5_2_2 ILYR n12_a_planetoid__1_5_2->n12_a_planetoid__1_5_2_2 n12_a_planetoid__1_5_2_1_1 P-CONN n12_a_planetoid__1_5_2_1->n12_a_planetoid__1_5_2_1_1 n12_a_planetoid__1_5_2_1_2 IP-ADV n12_a_planetoid__1_5_2_1->n12_a_planetoid__1_5_2_1_2 n12_a_planetoid__1_5_2_1_1->n12_a_planetoid__1_5_2_1_1_1 n12_a_planetoid__1_5_2_1_2_1 NP-SBJ n12_a_planetoid__1_5_2_1_2->n12_a_planetoid__1_5_2_1_2_1 n12_a_planetoid__1_5_2_1_2_2 VBP;_Tn_ n12_a_planetoid__1_5_2_1_2->n12_a_planetoid__1_5_2_1_2_2 n12_a_planetoid__1_5_2_1_2_3 NP-OB1 n12_a_planetoid__1_5_2_1_2->n12_a_planetoid__1_5_2_1_2_3 n12_a_planetoid__1_5_2_1_2_1_1 D n12_a_planetoid__1_5_2_1_2_1->n12_a_planetoid__1_5_2_1_2_1_1 n12_a_planetoid__1_5_2_1_2_1_2 N n12_a_planetoid__1_5_2_1_2_1->n12_a_planetoid__1_5_2_1_2_1_2 n12_a_planetoid__1_5_2_1_2_1_3 IP-PPL n12_a_planetoid__1_5_2_1_2_1->n12_a_planetoid__1_5_2_1_2_1_3 n12_a_planetoid__1_5_2_1_2_1_1->n12_a_planetoid__1_5_2_1_2_1_1_1 n12_a_planetoid__1_5_2_1_2_1_2->n12_a_planetoid__1_5_2_1_2_1_2_1 n12_a_planetoid__1_5_2_1_2_1_3_1 VAG;_Tn_ n12_a_planetoid__1_5_2_1_2_1_3->n12_a_planetoid__1_5_2_1_2_1_3_1 n12_a_planetoid__1_5_2_1_2_1_3_2 NP-OB1 n12_a_planetoid__1_5_2_1_2_1_3->n12_a_planetoid__1_5_2_1_2_1_3_2 n12_a_planetoid__1_5_2_1_2_1_3_1->n12_a_planetoid__1_5_2_1_2_1_3_1_1 n12_a_planetoid__1_5_2_1_2_1_3_2_1 PRO n12_a_planetoid__1_5_2_1_2_1_3_2->n12_a_planetoid__1_5_2_1_2_1_3_2_1 n12_a_planetoid__1_5_2_1_2_1_3_2_1->n12_a_planetoid__1_5_2_1_2_1_3_2_1_1 n12_a_planetoid__1_5_2_1_2_2->n12_a_planetoid__1_5_2_1_2_2_1 n12_a_planetoid__1_5_2_1_2_3_1 D n12_a_planetoid__1_5_2_1_2_3->n12_a_planetoid__1_5_2_1_2_3_1 n12_a_planetoid__1_5_2_1_2_3_2 N n12_a_planetoid__1_5_2_1_2_3->n12_a_planetoid__1_5_2_1_2_3_2 n12_a_planetoid__1_5_2_1_2_3_3 PP n12_a_planetoid__1_5_2_1_2_3->n12_a_planetoid__1_5_2_1_2_3_3 n12_a_planetoid__1_5_2_1_2_3_1->n12_a_planetoid__1_5_2_1_2_3_1_1 n12_a_planetoid__1_5_2_1_2_3_2->n12_a_planetoid__1_5_2_1_2_3_2_1 n12_a_planetoid__1_5_2_1_2_3_3_1 P-ROLE n12_a_planetoid__1_5_2_1_2_3_3->n12_a_planetoid__1_5_2_1_2_3_3_1 n12_a_planetoid__1_5_2_1_2_3_3_2 NP n12_a_planetoid__1_5_2_1_2_3_3->n12_a_planetoid__1_5_2_1_2_3_3_2 n12_a_planetoid__1_5_2_1_2_3_3_1->n12_a_planetoid__1_5_2_1_2_3_3_1_1 n12_a_planetoid__1_5_2_1_2_3_3_2_1 D n12_a_planetoid__1_5_2_1_2_3_3_2->n12_a_planetoid__1_5_2_1_2_3_3_2_1 n12_a_planetoid__1_5_2_1_2_3_3_2_2 N n12_a_planetoid__1_5_2_1_2_3_3_2->n12_a_planetoid__1_5_2_1_2_3_3_2_2 n12_a_planetoid__1_5_2_1_2_3_3_2_1->n12_a_planetoid__1_5_2_1_2_3_3_2_1_1 n12_a_planetoid__1_5_2_1_2_3_3_2_2->n12_a_planetoid__1_5_2_1_2_3_3_2_2_1 n12_a_planetoid__1_5_2_2_1 ILYR n12_a_planetoid__1_5_2_2->n12_a_planetoid__1_5_2_2_1 n12_a_planetoid__1_5_2_2_2 PUNC n12_a_planetoid__1_5_2_2->n12_a_planetoid__1_5_2_2_2 n12_a_planetoid__1_5_2_2_3 CONJP n12_a_planetoid__1_5_2_2->n12_a_planetoid__1_5_2_2_3 n12_a_planetoid__1_5_2_2_1_1 NP-SBJ n12_a_planetoid__1_5_2_2_1->n12_a_planetoid__1_5_2_2_1_1 n12_a_planetoid__1_5_2_2_1_2 VBP;_I_ n12_a_planetoid__1_5_2_2_1->n12_a_planetoid__1_5_2_2_1_2 n12_a_planetoid__1_5_2_2_1_1_1 D n12_a_planetoid__1_5_2_2_1_1->n12_a_planetoid__1_5_2_2_1_1_1 n12_a_planetoid__1_5_2_2_1_1_2 N n12_a_planetoid__1_5_2_2_1_1->n12_a_planetoid__1_5_2_2_1_1_2 n12_a_planetoid__1_5_2_2_1_1_1->n12_a_planetoid__1_5_2_2_1_1_1_1 n12_a_planetoid__1_5_2_2_1_1_2->n12_a_planetoid__1_5_2_2_1_1_2_1 n12_a_planetoid__1_5_2_2_1_2->n12_a_planetoid__1_5_2_2_1_2_1 n12_a_planetoid__1_5_2_2_2->n12_a_planetoid__1_5_2_2_2_1 n12_a_planetoid__1_5_2_2_3_1 CONJ n12_a_planetoid__1_5_2_2_3->n12_a_planetoid__1_5_2_2_3_1 n12_a_planetoid__1_5_2_2_3_2 ILYR n12_a_planetoid__1_5_2_2_3->n12_a_planetoid__1_5_2_2_3_2 n12_a_planetoid__1_5_2_2_3_1->n12_a_planetoid__1_5_2_2_3_1_1 n12_a_planetoid__1_5_2_2_3_2_1 NP-SBJ n12_a_planetoid__1_5_2_2_3_2->n12_a_planetoid__1_5_2_2_3_2_1 n12_a_planetoid__1_5_2_2_3_2_2 VBP;_Ln_ n12_a_planetoid__1_5_2_2_3_2->n12_a_planetoid__1_5_2_2_3_2_2 n12_a_planetoid__1_5_2_2_3_2_3 NP-PRD n12_a_planetoid__1_5_2_2_3_2->n12_a_planetoid__1_5_2_2_3_2_3 n12_a_planetoid__1_5_2_2_3_2_1_1 Q;_nphd_ n12_a_planetoid__1_5_2_2_3_2_1->n12_a_planetoid__1_5_2_2_3_2_1_1 n12_a_planetoid__1_5_2_2_3_2_1_2 NLYR n12_a_planetoid__1_5_2_2_3_2_1->n12_a_planetoid__1_5_2_2_3_2_1_2 n12_a_planetoid__1_5_2_2_3_2_1_1->n12_a_planetoid__1_5_2_2_3_2_1_1_1 n12_a_planetoid__1_5_2_2_3_2_1_2_1 D n12_a_planetoid__1_5_2_2_3_2_1_2->n12_a_planetoid__1_5_2_2_3_2_1_2_1 n12_a_planetoid__1_5_2_2_3_2_1_2_2 NS n12_a_planetoid__1_5_2_2_3_2_1_2->n12_a_planetoid__1_5_2_2_3_2_1_2_2 n12_a_planetoid__1_5_2_2_3_2_1_2_1->n12_a_planetoid__1_5_2_2_3_2_1_2_1_1 n12_a_planetoid__1_5_2_2_3_2_1_2_2->n12_a_planetoid__1_5_2_2_3_2_1_2_2_1 n12_a_planetoid__1_5_2_2_3_2_2->n12_a_planetoid__1_5_2_2_3_2_2_1 n12_a_planetoid__1_5_2_2_3_2_3_1 NS n12_a_planetoid__1_5_2_2_3_2_3->n12_a_planetoid__1_5_2_2_3_2_3_1 n12_a_planetoid__1_5_2_2_3_2_3_1->n12_a_planetoid__1_5_2_2_3_2_3_1_1 n12_a_planetoid__1_6->n12_a_planetoid__1_6_1 
( (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})
                                                      (NLYR (D the;{the})
                                                            (NS raiders;{raider})))
                                              (VBP;_Ln_ become;{become})
                                              (NP-PRD (NS mutants;{mutant})))))))
          (PUNC .))
  (ID 12_a_planetoid))


%3 z_0012_5016 r_0012_0029__the_r_0012_0030__raiders the raiders z_0012_5016->r_0012_0029__the_r_0012_0030__raiders [nim] r_0012_0031__become become r_0012_0031__become->z_0012_5016 [arg0] r_0012_0032__mutants mutants r_0012_0031__become->r_0012_0032__mutants [prd] r_0012_0028__all__quant all [quant] r_0012_0028__all__quant->z_0012_5016 [restriction] r_0012_0028__all__quant->r_0012_0031__become [scope] r_0012_0027__and and r_0012_0027__and->r_0012_0028__all__quant [conj2] r_0012_0025__explodes explodes r_0012_0027__and->r_0012_0025__explodes [conj1] 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_0018__the_r_0012_0019__top the top 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_0017__reaches reaches r_0012_0017__reaches->r_0012_0018__the_r_0012_0019__top [arg1] 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_0015__abducting abducting r_0012_0015__abducting->r_0012_0013__the_r_0012_0014__raider [inv_arg0] r_0012_0005__one_r_0012_0006__life_r_0012_0008__form one life form r_0012_0015__abducting->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg1] r_0012_0004__only only r_0012_0005__one_r_0012_0006__life_r_0012_0008__form->r_0012_0004__only [qual] r_0012_0012__if if r_0012_0012__if->r_0012_0027__and [scope] r_0012_0012__if->r_0012_0017__reaches [restriction] r_0012_0011__since since r_0012_0011__since->r_0012_0012__if [restriction] r_0012_0003__when when r_0012_0011__since->r_0012_0003__when [scope] r_0012_0009__remains remains r_0012_0003__when->r_0012_0009__remains [restriction] r_0012_0001__Look_r_0012_0002__out Look out r_0012_0003__when->r_0012_0001__Look_r_0012_0002__out [scope] r_0012_0009__remains->r_0012_0005__one_r_0012_0006__life_r_0012_0008__form [arg0] z_0012_5002 r_0012_0001__Look_r_0012_0002__out->z_0012_5002 [arg0] 
arc(r_0012_0001__Look_r_0012_0002__out,z_0012_5002,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,qual).
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,inv_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_0031__become,scope).
arc(r_0012_0028__all__quant,z_0012_5016,restriction).
arc(r_0012_0031__become,r_0012_0032__mutants,prd).
arc(r_0012_0031__become,z_0012_5016,arg0).
arc(z_0012_5016,r_0012_0029__the_r_0012_0030__raiders,nim).


%3 r_0012_0001__Look_r_0012_0002__out Look out z_0012_5002 r_0012_0001__Look_r_0012_0002__out->z_0012_5002 [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_0013__the_r_0012_0014__raider->r_0012_0015__abducting [inv_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_0031__become become r_0012_0028__all__quant->r_0012_0031__become [scope] z_0012_5016 r_0012_0028__all__quant->z_0012_5016 [restriction] r_0012_0031__become->z_0012_5016 [arg0] r_0012_0032__mutants mutants r_0012_0031__become->r_0012_0032__mutants [prd] r_0012_0029__the_r_0012_0030__raiders the raiders z_0012_5016->r_0012_0029__the_r_0012_0030__raiders [nim] 
fof(formula,axiom,
    ? [R_0012_0011__SINCE] :
      ( r_0012_0011__since(R_0012_0011__SINCE)
      & ! [R_0012_0017__REACHES,R_0012_0004__ONLY,R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM,R_0012_0015__ABDUCTING,R_0012_0013__THE_R_0012_0014__RAIDER,R_0012_0021__THE_R_0012_0022__SCREEN,R_0012_0018__THE_R_0012_0019__TOP] :
          ( ( r_0012_0004__only(R_0012_0004__ONLY)
            & r_0012_0021__the_r_0012_0022__screen(R_0012_0021__THE_R_0012_0022__SCREEN)
            & r_0012_0017__reaches(R_0012_0017__REACHES)
            & has_arg1(R_0012_0017__REACHES,R_0012_0018__THE_R_0012_0019__TOP)
            & r_0012_0018__the_r_0012_0019__top(R_0012_0018__THE_R_0012_0019__TOP)
            & has_r_0012_0020__of(R_0012_0018__THE_R_0012_0019__TOP,R_0012_0021__THE_R_0012_0022__SCREEN)
            & has_arg0(R_0012_0017__REACHES,R_0012_0013__THE_R_0012_0014__RAIDER)
            & r_0012_0013__the_r_0012_0014__raider(R_0012_0013__THE_R_0012_0014__RAIDER)
            & has_inv_arg0(R_0012_0013__THE_R_0012_0014__RAIDER,R_0012_0015__ABDUCTING)
            & r_0012_0015__abducting(R_0012_0015__ABDUCTING)
            & has_arg1(R_0012_0015__ABDUCTING,R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM)
            & r_0012_0005__one_r_0012_0006__life_r_0012_0008__form(R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM)
            & has_qual(R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM,R_0012_0004__ONLY) )
         => ? [R_0012_0023__THE_R_0012_0024__PLANETOID,R_0012_0025__EXPLODES,R_0012_0027__AND] :
              ( r_0012_0023__the_r_0012_0024__planetoid(R_0012_0023__THE_R_0012_0024__PLANETOID)
              & r_0012_0027__and(R_0012_0027__AND)
              & ! [Z_0012_5016,R_0012_0029__THE_R_0012_0030__RAIDERS] :
                  ( ( r_0012_0029__the_r_0012_0030__raiders(R_0012_0029__THE_R_0012_0030__RAIDERS)
                    & z_0012_5016(Z_0012_5016)
                    & has_nim(Z_0012_5016,R_0012_0029__THE_R_0012_0030__RAIDERS) )
                 => ? [R_0012_0032__MUTANTS,R_0012_0031__BECOME] :
                      ( r_0012_0032__mutants(R_0012_0032__MUTANTS)
                      & r_0012_0031__become(R_0012_0031__BECOME)
                      & has_arg0(R_0012_0031__BECOME,Z_0012_5016)
                      & has_prd(R_0012_0031__BECOME,R_0012_0032__MUTANTS) ) )
              & has_conj1(R_0012_0027__AND,R_0012_0025__EXPLODES)
              & r_0012_0025__explodes(R_0012_0025__EXPLODES)
              & has_arg0(R_0012_0025__EXPLODES,R_0012_0023__THE_R_0012_0024__PLANETOID) ) )
      & ! [R_0012_0009__REMAINS,R_0012_0004__ONLY,R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM] :
          ( ( r_0012_0004__only(R_0012_0004__ONLY)
            & r_0012_0009__remains(R_0012_0009__REMAINS)
            & has_arg0(R_0012_0009__REMAINS,R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM)
            & r_0012_0005__one_r_0012_0006__life_r_0012_0008__form(R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM)
            & has_qual(R_0012_0005__ONE_R_0012_0006__LIFE_R_0012_0008__FORM,R_0012_0004__ONLY) )
         => ? [Z_0012_5002,R_0012_0001__LOOK_R_0012_0002__OUT] :
              ( z_0012_5002(Z_0012_5002)
              & r_0012_0001__Look_r_0012_0002__out(R_0012_0001__LOOK_R_0012_0002__OUT)
              & has_arg0(R_0012_0001__LOOK_R_0012_0002__OUT,Z_0012_5002) ) ) ) ).