Context                Previous, Next                Top


6_a_planetoid
As a raider ascends with a life - form, you can destroy it with your lasers, or with the ‘smart bombs’ which disintegrate everything hostile within sight.

n6_a_planetoid n6_a_planetoid__1_1_1_1 As n6_a_planetoid__1_1_2_1_1_1 a n6_a_planetoid__1_1_2_1_2_1 raider n6_a_planetoid__1_1_2_2_1 ascends n6_a_planetoid__1_1_2_3_1_1 with n6_a_planetoid__1_1_2_3_2_1_1 a n6_a_planetoid__1_1_2_3_2_2_1 life n6_a_planetoid__1_1_2_3_2_3_1 - n6_a_planetoid__1_1_2_3_2_4_1 form n6_a_planetoid__1_2_1 , n6_a_planetoid__1_3_1_1 you n6_a_planetoid__1_4_1 can n6_a_planetoid__1_5_1_1 destroy n6_a_planetoid__1_5_2_1_1 it n6_a_planetoid__1_5_3_1_1_1 with n6_a_planetoid__1_5_3_1_2_1_1_1 your n6_a_planetoid__1_5_3_1_2_2_1 lasers n6_a_planetoid__1_5_3_2_1 , n6_a_planetoid__1_5_3_3_1_1 or n6_a_planetoid__1_5_3_3_2_1_1 with n6_a_planetoid__1_5_3_3_2_2_1_1 the n6_a_planetoid__1_5_3_3_2_2_2_1 <lsquo> n6_a_planetoid__1_5_3_3_2_2_3_1_1 smart n6_a_planetoid__1_5_3_3_2_2_4_1 bombs n6_a_planetoid__1_5_3_3_2_2_5_1 <rsquo> n6_a_planetoid__1_5_3_3_2_2_6_1_1_1 which n6_a_planetoid__1_5_3_3_2_2_6_2_1 disintegrate n6_a_planetoid__1_5_3_3_2_2_6_3_1_1 everything n6_a_planetoid__1_5_3_3_2_2_6_3_2_1_1 hostile n6_a_planetoid__1_5_3_3_2_2_6_3_3_1_1 within n6_a_planetoid__1_5_3_3_2_2_6_3_3_2_1_1 sight n6_a_planetoid__1_6_1 . n6_a_planetoid__1 IP-MAT n6_a_planetoid__1_1 PP-SCON n6_a_planetoid__1->n6_a_planetoid__1_1 n6_a_planetoid__1_2 PUNC n6_a_planetoid__1->n6_a_planetoid__1_2 n6_a_planetoid__1_3 NP-SBJ n6_a_planetoid__1->n6_a_planetoid__1_3 n6_a_planetoid__1_4 MD;_cat_Vi_ n6_a_planetoid__1->n6_a_planetoid__1_4 n6_a_planetoid__1_5 IP-INF-CAT n6_a_planetoid__1->n6_a_planetoid__1_5 n6_a_planetoid__1_6 PUNC n6_a_planetoid__1->n6_a_planetoid__1_6 n6_a_planetoid__1_1_1 P-CONN n6_a_planetoid__1_1->n6_a_planetoid__1_1_1 n6_a_planetoid__1_1_2 IP-ADV n6_a_planetoid__1_1->n6_a_planetoid__1_1_2 n6_a_planetoid__1_1_1->n6_a_planetoid__1_1_1_1 n6_a_planetoid__1_1_2_1 NP-SBJ n6_a_planetoid__1_1_2->n6_a_planetoid__1_1_2_1 n6_a_planetoid__1_1_2_2 VBP;_I_ n6_a_planetoid__1_1_2->n6_a_planetoid__1_1_2_2 n6_a_planetoid__1_1_2_3 PP-NIM n6_a_planetoid__1_1_2->n6_a_planetoid__1_1_2_3 n6_a_planetoid__1_1_2_1_1 D n6_a_planetoid__1_1_2_1->n6_a_planetoid__1_1_2_1_1 n6_a_planetoid__1_1_2_1_2 N n6_a_planetoid__1_1_2_1->n6_a_planetoid__1_1_2_1_2 n6_a_planetoid__1_1_2_1_1->n6_a_planetoid__1_1_2_1_1_1 n6_a_planetoid__1_1_2_1_2->n6_a_planetoid__1_1_2_1_2_1 n6_a_planetoid__1_1_2_2->n6_a_planetoid__1_1_2_2_1 n6_a_planetoid__1_1_2_3_1 P-ROLE n6_a_planetoid__1_1_2_3->n6_a_planetoid__1_1_2_3_1 n6_a_planetoid__1_1_2_3_2 NP n6_a_planetoid__1_1_2_3->n6_a_planetoid__1_1_2_3_2 n6_a_planetoid__1_1_2_3_1->n6_a_planetoid__1_1_2_3_1_1 n6_a_planetoid__1_1_2_3_2_1 D n6_a_planetoid__1_1_2_3_2->n6_a_planetoid__1_1_2_3_2_1 n6_a_planetoid__1_1_2_3_2_2 N n6_a_planetoid__1_1_2_3_2->n6_a_planetoid__1_1_2_3_2_2 n6_a_planetoid__1_1_2_3_2_3 PUNC n6_a_planetoid__1_1_2_3_2->n6_a_planetoid__1_1_2_3_2_3 n6_a_planetoid__1_1_2_3_2_4 N n6_a_planetoid__1_1_2_3_2->n6_a_planetoid__1_1_2_3_2_4 n6_a_planetoid__1_1_2_3_2_1->n6_a_planetoid__1_1_2_3_2_1_1 n6_a_planetoid__1_1_2_3_2_2->n6_a_planetoid__1_1_2_3_2_2_1 n6_a_planetoid__1_1_2_3_2_3->n6_a_planetoid__1_1_2_3_2_3_1 n6_a_planetoid__1_1_2_3_2_4->n6_a_planetoid__1_1_2_3_2_4_1 n6_a_planetoid__1_2->n6_a_planetoid__1_2_1 n6_a_planetoid__1_3_1 PRO n6_a_planetoid__1_3->n6_a_planetoid__1_3_1 n6_a_planetoid__1_3_1->n6_a_planetoid__1_3_1_1 n6_a_planetoid__1_4->n6_a_planetoid__1_4_1 n6_a_planetoid__1_5_1 VB;_Tn_ n6_a_planetoid__1_5->n6_a_planetoid__1_5_1 n6_a_planetoid__1_5_2 NP-OB1 n6_a_planetoid__1_5->n6_a_planetoid__1_5_2 n6_a_planetoid__1_5_3 PP-NIM n6_a_planetoid__1_5->n6_a_planetoid__1_5_3 n6_a_planetoid__1_5_1->n6_a_planetoid__1_5_1_1 n6_a_planetoid__1_5_2_1 PRO n6_a_planetoid__1_5_2->n6_a_planetoid__1_5_2_1 n6_a_planetoid__1_5_2_1->n6_a_planetoid__1_5_2_1_1 n6_a_planetoid__1_5_3_1 PP-NIM n6_a_planetoid__1_5_3->n6_a_planetoid__1_5_3_1 n6_a_planetoid__1_5_3_2 PUNC n6_a_planetoid__1_5_3->n6_a_planetoid__1_5_3_2 n6_a_planetoid__1_5_3_3 CONJP n6_a_planetoid__1_5_3->n6_a_planetoid__1_5_3_3 n6_a_planetoid__1_5_3_1_1 P-ROLE n6_a_planetoid__1_5_3_1->n6_a_planetoid__1_5_3_1_1 n6_a_planetoid__1_5_3_1_2 NP n6_a_planetoid__1_5_3_1->n6_a_planetoid__1_5_3_1_2 n6_a_planetoid__1_5_3_1_1->n6_a_planetoid__1_5_3_1_1_1 n6_a_planetoid__1_5_3_1_2_1 NP-GEN n6_a_planetoid__1_5_3_1_2->n6_a_planetoid__1_5_3_1_2_1 n6_a_planetoid__1_5_3_1_2_2 NS n6_a_planetoid__1_5_3_1_2->n6_a_planetoid__1_5_3_1_2_2 n6_a_planetoid__1_5_3_1_2_1_1 PRO;_genm_ n6_a_planetoid__1_5_3_1_2_1->n6_a_planetoid__1_5_3_1_2_1_1 n6_a_planetoid__1_5_3_1_2_1_1->n6_a_planetoid__1_5_3_1_2_1_1_1 n6_a_planetoid__1_5_3_1_2_2->n6_a_planetoid__1_5_3_1_2_2_1 n6_a_planetoid__1_5_3_2->n6_a_planetoid__1_5_3_2_1 n6_a_planetoid__1_5_3_3_1 CONJ n6_a_planetoid__1_5_3_3->n6_a_planetoid__1_5_3_3_1 n6_a_planetoid__1_5_3_3_2 PP-NIM n6_a_planetoid__1_5_3_3->n6_a_planetoid__1_5_3_3_2 n6_a_planetoid__1_5_3_3_1->n6_a_planetoid__1_5_3_3_1_1 n6_a_planetoid__1_5_3_3_2_1 P-ROLE n6_a_planetoid__1_5_3_3_2->n6_a_planetoid__1_5_3_3_2_1 n6_a_planetoid__1_5_3_3_2_2 NP n6_a_planetoid__1_5_3_3_2->n6_a_planetoid__1_5_3_3_2_2 n6_a_planetoid__1_5_3_3_2_1->n6_a_planetoid__1_5_3_3_2_1_1 n6_a_planetoid__1_5_3_3_2_2_1 D n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_1 n6_a_planetoid__1_5_3_3_2_2_2 PULQ n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_2 n6_a_planetoid__1_5_3_3_2_2_3 ADJP n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_3 n6_a_planetoid__1_5_3_3_2_2_4 NS n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_4 n6_a_planetoid__1_5_3_3_2_2_5 PURQ n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_5 n6_a_planetoid__1_5_3_3_2_2_6 IP-REL n6_a_planetoid__1_5_3_3_2_2->n6_a_planetoid__1_5_3_3_2_2_6 n6_a_planetoid__1_5_3_3_2_2_1->n6_a_planetoid__1_5_3_3_2_2_1_1 n6_a_planetoid__1_5_3_3_2_2_2->n6_a_planetoid__1_5_3_3_2_2_2_1 n6_a_planetoid__1_5_3_3_2_2_3_1 ADJ n6_a_planetoid__1_5_3_3_2_2_3->n6_a_planetoid__1_5_3_3_2_2_3_1 n6_a_planetoid__1_5_3_3_2_2_3_1->n6_a_planetoid__1_5_3_3_2_2_3_1_1 n6_a_planetoid__1_5_3_3_2_2_4->n6_a_planetoid__1_5_3_3_2_2_4_1 n6_a_planetoid__1_5_3_3_2_2_5->n6_a_planetoid__1_5_3_3_2_2_5_1 n6_a_planetoid__1_5_3_3_2_2_6_1 NP-SBJ n6_a_planetoid__1_5_3_3_2_2_6->n6_a_planetoid__1_5_3_3_2_2_6_1 n6_a_planetoid__1_5_3_3_2_2_6_2 VBP;_Tn_ n6_a_planetoid__1_5_3_3_2_2_6->n6_a_planetoid__1_5_3_3_2_2_6_2 n6_a_planetoid__1_5_3_3_2_2_6_3 NP-OB1 n6_a_planetoid__1_5_3_3_2_2_6->n6_a_planetoid__1_5_3_3_2_2_6_3 n6_a_planetoid__1_5_3_3_2_2_6_1_1 RPRO n6_a_planetoid__1_5_3_3_2_2_6_1->n6_a_planetoid__1_5_3_3_2_2_6_1_1 n6_a_planetoid__1_5_3_3_2_2_6_1_1->n6_a_planetoid__1_5_3_3_2_2_6_1_1_1 n6_a_planetoid__1_5_3_3_2_2_6_2->n6_a_planetoid__1_5_3_3_2_2_6_2_1 n6_a_planetoid__1_5_3_3_2_2_6_3_1 Q;_nphd_ n6_a_planetoid__1_5_3_3_2_2_6_3->n6_a_planetoid__1_5_3_3_2_2_6_3_1 n6_a_planetoid__1_5_3_3_2_2_6_3_2 ADJP n6_a_planetoid__1_5_3_3_2_2_6_3->n6_a_planetoid__1_5_3_3_2_2_6_3_2 n6_a_planetoid__1_5_3_3_2_2_6_3_3 PP n6_a_planetoid__1_5_3_3_2_2_6_3->n6_a_planetoid__1_5_3_3_2_2_6_3_3 n6_a_planetoid__1_5_3_3_2_2_6_3_1->n6_a_planetoid__1_5_3_3_2_2_6_3_1_1 n6_a_planetoid__1_5_3_3_2_2_6_3_2_1 ADJ n6_a_planetoid__1_5_3_3_2_2_6_3_2->n6_a_planetoid__1_5_3_3_2_2_6_3_2_1 n6_a_planetoid__1_5_3_3_2_2_6_3_2_1->n6_a_planetoid__1_5_3_3_2_2_6_3_2_1_1 n6_a_planetoid__1_5_3_3_2_2_6_3_3_1 P-ROLE n6_a_planetoid__1_5_3_3_2_2_6_3_3->n6_a_planetoid__1_5_3_3_2_2_6_3_3_1 n6_a_planetoid__1_5_3_3_2_2_6_3_3_2 NP n6_a_planetoid__1_5_3_3_2_2_6_3_3->n6_a_planetoid__1_5_3_3_2_2_6_3_3_2 n6_a_planetoid__1_5_3_3_2_2_6_3_3_1->n6_a_planetoid__1_5_3_3_2_2_6_3_3_1_1 n6_a_planetoid__1_5_3_3_2_2_6_3_3_2_1 N n6_a_planetoid__1_5_3_3_2_2_6_3_3_2->n6_a_planetoid__1_5_3_3_2_2_6_3_3_2_1 n6_a_planetoid__1_5_3_3_2_2_6_3_3_2_1->n6_a_planetoid__1_5_3_3_2_2_6_3_3_2_1_1 n6_a_planetoid__1_6->n6_a_planetoid__1_6_1 
( (IP-MAT (PP-SCON (P-CONN As;{as})
                   (IP-ADV (NP-SBJ;{RAIDER} (D a;{a})
                                            (N raider;{raider}))
                           (VBP;_I_ ascends;{ascend})
                           (PP-NIM (P-ROLE with;{with})
                                   (NP;{LIFE_FORM1} (D a;{a})
                                                    (N life;{life})
                                                    (PUNC <hyphen>)
                                                    (N form;{form})))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Tn_ destroy;{destroy})
                      (NP-OB1;{RAIDER} (PRO it;{it}))
                      (PP-NIM (PP-NIM (P-ROLE with;{with})
                                      (NP (NP-GEN (PRO;_genm_ your;{your}))
                                          (NS lasers;{laser})))
                              (PUNC ,)
                              (CONJP (CONJ or;{or})
                                     (PP-NIM (P-ROLE with;{with})
                                             (NP (D the;{the})
                                                 (PULQ <lsquo>)
                                                 (ADJP (ADJ smart;{smart}))
                                                 (NS bombs;{bomb})
                                                 (PURQ <rsquo>)
                                                 (IP-REL (NP-SBJ (RPRO which;{which}))
                                                         (VBP;_Tn_ disintegrate;{disintegrate})
                                                         (NP-OB1 (Q;_nphd_ everything;{everything})
                                                                 (ADJP (ADJ hostile;{hostile}))
                                                                 (PP (P-ROLE within;{within})
                                                                     (NP (N sight;{sight}))))))))))
          (PUNC .))
  (ID 6_a_planetoid))


%3 z_0006_5011 r_0006_0031__sight sight z_0006_5011->r_0006_0031__sight within r_0006_0029__hostile hostile z_0006_5011->r_0006_0029__hostile [attrib] r_0006_0028__everything__quant everything [quant] r_0006_0028__everything__quant->z_0006_5011 [restriction] r_0006_0027__disintegrate disintegrate r_0006_0028__everything__quant->r_0006_0027__disintegrate [scope] r_0006_0027__disintegrate->z_0006_5011 [arg1] r_0006_0021__the_r_0006_0024__bombs the bombs r_0006_0027__disintegrate->r_0006_0021__the_r_0006_0024__bombs [arg0] r_0006_0023__smart smart r_0006_0021__the_r_0006_0024__bombs->r_0006_0023__smart [attrib] r_0006_0019__or or r_0006_0019__or->r_0006_0021__the_r_0006_0024__bombs with [nim] r_0006_0017__lasers lasers r_0006_0019__or->r_0006_0017__lasers with [nim] r_0006_0011__you you r_0006_0017__lasers->r_0006_0011__you [gen] r_0006_0013__destroy destroy r_0006_0013__destroy->r_0006_0019__or [nim] r_0006_0013__destroy->r_0006_0011__you [arg0] r_0006_0002__a_r_0006_0003__raider a raider r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider [arg1] r_0006_0012__can can r_0006_0012__can->r_0006_0013__destroy [scope] r_0006_0004__ascends ascends r_0006_0004__ascends->r_0006_0002__a_r_0006_0003__raider [arg0] r_0006_0006__a_r_0006_0007__life_r_0006_0009__form a life form r_0006_0004__ascends->r_0006_0006__a_r_0006_0007__life_r_0006_0009__form with [nim] r_0006_0001__As As r_0006_0001__As->r_0006_0012__can [scope] r_0006_0001__As->r_0006_0004__ascends [restriction] 
arc(r_0006_0001__As,r_0006_0004__ascends,restriction).
arc(r_0006_0001__As,r_0006_0012__can,scope).
arc(r_0006_0004__ascends,r_0006_0002__a_r_0006_0003__raider,arg0).
arc(r_0006_0004__ascends,r_0006_0006__a_r_0006_0007__life_r_0006_0009__form,r_0006_0005__with__nim).
arc(r_0006_0012__can,r_0006_0013__destroy,scope).
arc(r_0006_0013__destroy,r_0006_0002__a_r_0006_0003__raider,arg1).
arc(r_0006_0013__destroy,r_0006_0011__you,arg0).
arc(r_0006_0013__destroy,r_0006_0019__or,nim).
arc(r_0006_0017__lasers,r_0006_0011__you,gen).
arc(r_0006_0019__or,r_0006_0017__lasers,r_0006_0015__with__nim).
arc(r_0006_0019__or,r_0006_0021__the_r_0006_0024__bombs,r_0006_0020__with__nim).
arc(r_0006_0021__the_r_0006_0024__bombs,r_0006_0023__smart,attrib).
arc(r_0006_0027__disintegrate,r_0006_0021__the_r_0006_0024__bombs,arg0).
arc(r_0006_0027__disintegrate,z_0006_5011,arg1).
arc(r_0006_0028__everything__quant,r_0006_0027__disintegrate,scope).
arc(r_0006_0028__everything__quant,z_0006_5011,restriction).
arc(z_0006_5011,r_0006_0029__hostile,attrib).
arc(z_0006_5011,r_0006_0031__sight,r_0006_0030__within).


%3 r_0006_0001__As As r_0006_0004__ascends ascends r_0006_0001__As->r_0006_0004__ascends [conj1] r_0006_0012__can_r_0006_0013__destroy can destroy r_0006_0001__As->r_0006_0012__can_r_0006_0013__destroy [conj2] r_0006_0002__a_r_0006_0003__raider a raider r_0006_0004__ascends->r_0006_0002__a_r_0006_0003__raider [arg0] r_0006_0006__a_r_0006_0007__life_r_0006_0009__form a life form r_0006_0004__ascends->r_0006_0006__a_r_0006_0007__life_r_0006_0009__form with [nim] r_0006_0012__can_r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider [arg1] r_0006_0011__you you r_0006_0012__can_r_0006_0013__destroy->r_0006_0011__you [arg0] r_0006_0019__or or r_0006_0012__can_r_0006_0013__destroy->r_0006_0019__or [nim] r_0006_0017__lasers lasers r_0006_0019__or->r_0006_0017__lasers with [nim] r_0006_0021__the_r_0006_0024__bombs the bombs r_0006_0019__or->r_0006_0021__the_r_0006_0024__bombs with [nim] r_0006_0017__lasers->r_0006_0011__you [gen] r_0006_0023__smart smart r_0006_0021__the_r_0006_0024__bombs->r_0006_0023__smart [attrib] r_0006_0027__disintegrate disintegrate r_0006_0027__disintegrate->r_0006_0021__the_r_0006_0024__bombs [arg0] z_0006_5011 r_0006_0027__disintegrate->z_0006_5011 [arg1] r_0006_0029__hostile hostile z_0006_5011->r_0006_0029__hostile [attrib] r_0006_0031__sight sight z_0006_5011->r_0006_0031__sight within r_0006_0028__everything__quant everything [quant] r_0006_0028__everything__quant->r_0006_0027__disintegrate [scope] r_0006_0028__everything__quant->z_0006_5011 [restriction] 
fof(formula,axiom,
    ? [R_0006_0002__A_R_0006_0003__RAIDER,R_0006_0006__A_R_0006_0007__LIFE_R_0006_0009__FORM,R_0006_0004__ASCENDS,R_0006_0011__YOU,R_0006_0017__LASERS,R_0006_0023__SMART,R_0006_0021__THE_R_0006_0024__BOMBS,R_0006_0019__OR,R_0006_0012__CAN_R_0006_0013__DESTROY,R_0006_0001__AS] :
      ( r_0006_0002__a_r_0006_0003__raider(R_0006_0002__A_R_0006_0003__RAIDER)
      & r_0006_0006__a_r_0006_0007__life_r_0006_0009__form(R_0006_0006__A_R_0006_0007__LIFE_R_0006_0009__FORM)
      & r_0006_0011__you(R_0006_0011__YOU)
      & r_0006_0023__smart(R_0006_0023__SMART)
      & ! [Z_0006_5011,R_0006_0029__HOSTILE,R_0006_0031__SIGHT] :
          ( ( r_0006_0029__hostile(R_0006_0029__HOSTILE)
            & r_0006_0031__sight(R_0006_0031__SIGHT)
            & z_0006_5011(Z_0006_5011)
            & has_r_0006_0030__within(Z_0006_5011,R_0006_0031__SIGHT)
            & has_attrib(Z_0006_5011,R_0006_0029__HOSTILE) )
         => ? [R_0006_0027__DISINTEGRATE] :
              ( r_0006_0027__disintegrate(R_0006_0027__DISINTEGRATE)
              & has_arg1(R_0006_0027__DISINTEGRATE,Z_0006_5011)
              & has_arg0(R_0006_0027__DISINTEGRATE,R_0006_0021__THE_R_0006_0024__BOMBS) ) )
      & r_0006_0001__As(R_0006_0001__AS)
      & has_conj2(R_0006_0001__AS,R_0006_0012__CAN_R_0006_0013__DESTROY)
      & r_0006_0012__can_r_0006_0013__destroy(R_0006_0012__CAN_R_0006_0013__DESTROY)
      & has_nim(R_0006_0012__CAN_R_0006_0013__DESTROY,R_0006_0019__OR)
      & r_0006_0019__or(R_0006_0019__OR)
      & has_r_0006_0020__with__nim(R_0006_0019__OR,R_0006_0021__THE_R_0006_0024__BOMBS)
      & r_0006_0021__the_r_0006_0024__bombs(R_0006_0021__THE_R_0006_0024__BOMBS)
      & has_attrib(R_0006_0021__THE_R_0006_0024__BOMBS,R_0006_0023__SMART)
      & has_r_0006_0015__with__nim(R_0006_0019__OR,R_0006_0017__LASERS)
      & r_0006_0017__lasers(R_0006_0017__LASERS)
      & has_gen(R_0006_0017__LASERS,R_0006_0011__YOU)
      & has_arg0(R_0006_0012__CAN_R_0006_0013__DESTROY,R_0006_0011__YOU)
      & has_arg1(R_0006_0012__CAN_R_0006_0013__DESTROY,R_0006_0002__A_R_0006_0003__RAIDER)
      & has_conj1(R_0006_0001__AS,R_0006_0004__ASCENDS)
      & r_0006_0004__ascends(R_0006_0004__ASCENDS)
      & has_r_0006_0005__with__nim(R_0006_0004__ASCENDS,R_0006_0006__A_R_0006_0007__LIFE_R_0006_0009__FORM)
      & has_arg0(R_0006_0004__ASCENDS,R_0006_0002__A_R_0006_0003__RAIDER) ) ).