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.

%3 r_0006_0001__As As r_0006_0004__ascends ascends r_0006_0001__As->r_0006_0004__ascends [restriction] r_0006_0012__can can r_0006_0001__As->r_0006_0012__can [scope] 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_0013__destroy destroy r_0006_0012__can->r_0006_0013__destroy [scope] r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider [arg1] r_0006_0011__you you r_0006_0013__destroy->r_0006_0011__you [arg0] 
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_nim16).
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).


%3 r_0006_0012__can_r_0006_0013__destroy can destroy r_0006_0011__you you r_0006_0012__can_r_0006_0013__destroy->r_0006_0011__you [arg0] r_0006_0002__a_r_0006_0003__raider a raider r_0006_0012__can_r_0006_0013__destroy->r_0006_0002__a_r_0006_0003__raider [arg1] 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_r_0006_0013__destroy [conj2] r_0006_0001__As->r_0006_0004__ascends [conj1] 
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_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_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_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_nim16(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) ) ).


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))