Context                Previous, Next                Top


13_a_planetoid
However, after every five attack waves, you get a new planetoid, and a new set of life - forms to defend.

%3 r_0013_0004__every_quant every [quant] r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves five attack waves r_0013_0004__every_quant->r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves [restriction] r_0013_0010__get get r_0013_0004__every_quant->r_0013_0010__get [scope] r_0013_0010__get->r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves after [nim] r_0013_0001__However However r_0013_0010__get->r_0013_0001__However [nim] r_0013_0009__you you r_0013_0010__get->r_0013_0009__you [arg0] r_0013_0015__and and r_0013_0010__get->r_0013_0015__and [arg1] r_0013_0011__a_r_0013_0013__planetoid a planetoid r_0013_0015__and->r_0013_0011__a_r_0013_0013__planetoid [conj1] r_0013_0016__a_r_0013_0018__set a set r_0013_0015__and->r_0013_0016__a_r_0013_0018__set [conj2] r_0013_0012__new new r_0013_0011__a_r_0013_0013__planetoid->r_0013_0012__new [attrib] r_0013_0017__new new r_0013_0016__a_r_0013_0018__set->r_0013_0017__new [attrib] r_0013_0020__life_r_0013_0022__forms life forms r_0013_0016__a_r_0013_0018__set->r_0013_0020__life_r_0013_0022__forms of r_0013_0023__to_r_0013_0024__defend to defend r_0013_0023__to_r_0013_0024__defend->r_0013_0016__a_r_0013_0018__set [arg1] z_000_13_a_planetoid_59 r_0013_0023__to_r_0013_0024__defend->z_000_13_a_planetoid_59 [arg0] 
arc(r_0013_0004__every_quant, r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves, restriction).
arc(r_0013_0004__every_quant, r_0013_0010__get, scope).
arc(r_0013_0010__get, r_0013_0001__However, nim2).
arc(r_0013_0010__get, r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves, r_0013_0003__after_nim10).
arc(r_0013_0010__get, r_0013_0009__you, arg0).
arc(r_0013_0010__get, r_0013_0015__and, arg1).
arc(r_0013_0011__a_r_0013_0013__planetoid, r_0013_0012__new, attrib31).
arc(r_0013_0015__and, r_0013_0011__a_r_0013_0013__planetoid, conj1).
arc(r_0013_0015__and, r_0013_0016__a_r_0013_0018__set, conj2).
arc(r_0013_0016__a_r_0013_0018__set, r_0013_0017__new, attrib44).
arc(r_0013_0016__a_r_0013_0018__set, r_0013_0020__life_r_0013_0022__forms, r_0013_0019__of).
arc(r_0013_0023__to_r_0013_0024__defend, r_0013_0016__a_r_0013_0018__set, arg1).
arc(r_0013_0023__to_r_0013_0024__defend, z_000_13_a_planetoid_59, arg0).


%3 r_0013_0023__to_r_0013_0024__defend to defend z_000_13_a_planetoid_59 r_0013_0023__to_r_0013_0024__defend->z_000_13_a_planetoid_59 [arg0] r_0013_0016__a_r_0013_0018__set a set r_0013_0023__to_r_0013_0024__defend->r_0013_0016__a_r_0013_0018__set [arg1] r_0013_0020__life_r_0013_0022__forms life forms r_0013_0016__a_r_0013_0018__set->r_0013_0020__life_r_0013_0022__forms of r_0013_0017__new new r_0013_0016__a_r_0013_0018__set->r_0013_0017__new [attrib] r_0013_0015__and and r_0013_0015__and->r_0013_0016__a_r_0013_0018__set [conj2] r_0013_0011__a_r_0013_0013__planetoid a planetoid r_0013_0015__and->r_0013_0011__a_r_0013_0013__planetoid [conj1] r_0013_0012__new new r_0013_0011__a_r_0013_0013__planetoid->r_0013_0012__new [attrib] r_0013_0010__get get r_0013_0010__get->r_0013_0015__and [arg1] r_0013_0009__you you r_0013_0010__get->r_0013_0009__you [arg0] r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves five attack waves r_0013_0010__get->r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves after [nim] r_0013_0001__However However r_0013_0010__get->r_0013_0001__However [nim] r_0013_0004__every_quant every [quant] r_0013_0004__every_quant->r_0013_0010__get [scope] r_0013_0004__every_quant->r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves [restriction] 
fof(formula,axiom,
    ? [R_13_23_TO_DEFEND,Z_13_A_PLANETOID_59,R_13_16_A_SET,R_13_17_NEW,R_13_20_LIFE_FORMS] :
      ( new(R_13_17_NEW)
      & life_forms(R_13_20_LIFE_FORMS)
      & ! [R_13_5_FIVE_ATTACK_WAVES] :
          ( five_attack_waves(R_13_5_FIVE_ATTACK_WAVES)
         => ? [R_13_10_GET,R_13_9_YOU,R_13_15_AND,R_13_11_A_PLANETOID,R_13_12_NEW,R_13_1_HOWEVER] :
              ( you(R_13_9_YOU)
              & new(R_13_12_NEW)
              & however(R_13_1_HOWEVER)
              & get(R_13_10_GET,R_13_9_YOU,R_13_15_AND)
              & and(R_13_15_AND)
              & conj1(R_13_15_AND,R_13_11_A_PLANETOID)
              & a_planetoid(R_13_11_A_PLANETOID)
              & attrib31(R_13_11_A_PLANETOID,R_13_12_NEW)
              & conj2(R_13_15_AND,R_13_16_A_SET)
              & nim2(R_13_10_GET,R_13_1_HOWEVER)
              & after_nim10(R_13_10_GET,R_13_5_FIVE_ATTACK_WAVES) ) )
      & to_defend(R_13_23_TO_DEFEND,Z_13_A_PLANETOID_59,R_13_16_A_SET)
      & a_set(R_13_16_A_SET)
      & attrib44(R_13_16_A_SET,R_13_17_NEW)
      & of(R_13_16_A_SET,R_13_20_LIFE_FORMS) ) ).


n13_a_planetoid n13_a_planetoid__1_1_1_1 However n13_a_planetoid__1_2_1 , n13_a_planetoid__1_3_1_1 after n13_a_planetoid__1_3_2_1_1 every n13_a_planetoid__1_3_2_2_1 five n13_a_planetoid__1_3_2_3_1 attack n13_a_planetoid__1_3_2_4_1 waves n13_a_planetoid__1_4_1 , n13_a_planetoid__1_5_1_1 you n13_a_planetoid__1_6_1 get n13_a_planetoid__1_7_1_1_1_1 a n13_a_planetoid__1_7_1_1_2_1_1 new n13_a_planetoid__1_7_1_1_3_1 planetoid n13_a_planetoid__1_7_1_2_1 , n13_a_planetoid__1_7_1_3_1_1 and n13_a_planetoid__1_7_1_3_2_1_1 a n13_a_planetoid__1_7_1_3_2_2_1_1 new n13_a_planetoid__1_7_1_3_2_3_1 set n13_a_planetoid__1_7_1_3_2_4_1_1 of n13_a_planetoid__1_7_1_3_2_4_2_1_1 life n13_a_planetoid__1_7_1_3_2_4_2_2_1 - n13_a_planetoid__1_7_1_3_2_4_2_3_1 forms n13_a_planetoid__1_7_1_3_2_5_1_1 *T* n13_a_planetoid__1_7_1_3_2_5_2_1 to n13_a_planetoid__1_7_1_3_2_5_3_1 defend n13_a_planetoid__1_8_1 . n13_a_planetoid__1 IP-MAT n13_a_planetoid__1_1 ADVP-NIM n13_a_planetoid__1->n13_a_planetoid__1_1 n13_a_planetoid__1_2 PUNC n13_a_planetoid__1->n13_a_planetoid__1_2 n13_a_planetoid__1_3 PP-NIM n13_a_planetoid__1->n13_a_planetoid__1_3 n13_a_planetoid__1_4 PUNC n13_a_planetoid__1->n13_a_planetoid__1_4 n13_a_planetoid__1_5 NP-SBJ n13_a_planetoid__1->n13_a_planetoid__1_5 n13_a_planetoid__1_6 VBP;_Tn_ n13_a_planetoid__1->n13_a_planetoid__1_6 n13_a_planetoid__1_7 NP-OB1 n13_a_planetoid__1->n13_a_planetoid__1_7 n13_a_planetoid__1_8 PUNC n13_a_planetoid__1->n13_a_planetoid__1_8 n13_a_planetoid__1_1_1 ADV n13_a_planetoid__1_1->n13_a_planetoid__1_1_1 n13_a_planetoid__1_1_1->n13_a_planetoid__1_1_1_1 n13_a_planetoid__1_2->n13_a_planetoid__1_2_1 n13_a_planetoid__1_3_1 P-ROLE n13_a_planetoid__1_3->n13_a_planetoid__1_3_1 n13_a_planetoid__1_3_2 NP n13_a_planetoid__1_3->n13_a_planetoid__1_3_2 n13_a_planetoid__1_3_1->n13_a_planetoid__1_3_1_1 n13_a_planetoid__1_3_2_1 Q;_nphd_ n13_a_planetoid__1_3_2->n13_a_planetoid__1_3_2_1 n13_a_planetoid__1_3_2_2 NUM n13_a_planetoid__1_3_2->n13_a_planetoid__1_3_2_2 n13_a_planetoid__1_3_2_3 N n13_a_planetoid__1_3_2->n13_a_planetoid__1_3_2_3 n13_a_planetoid__1_3_2_4 NS n13_a_planetoid__1_3_2->n13_a_planetoid__1_3_2_4 n13_a_planetoid__1_3_2_1->n13_a_planetoid__1_3_2_1_1 n13_a_planetoid__1_3_2_2->n13_a_planetoid__1_3_2_2_1 n13_a_planetoid__1_3_2_3->n13_a_planetoid__1_3_2_3_1 n13_a_planetoid__1_3_2_4->n13_a_planetoid__1_3_2_4_1 n13_a_planetoid__1_4->n13_a_planetoid__1_4_1 n13_a_planetoid__1_5_1 PRO n13_a_planetoid__1_5->n13_a_planetoid__1_5_1 n13_a_planetoid__1_5_1->n13_a_planetoid__1_5_1_1 n13_a_planetoid__1_6->n13_a_planetoid__1_6_1 n13_a_planetoid__1_7_1 NLYR n13_a_planetoid__1_7->n13_a_planetoid__1_7_1 n13_a_planetoid__1_7_1_1 NLYR n13_a_planetoid__1_7_1->n13_a_planetoid__1_7_1_1 n13_a_planetoid__1_7_1_2 PUNC n13_a_planetoid__1_7_1->n13_a_planetoid__1_7_1_2 n13_a_planetoid__1_7_1_3 CONJP n13_a_planetoid__1_7_1->n13_a_planetoid__1_7_1_3 n13_a_planetoid__1_7_1_1_1 D n13_a_planetoid__1_7_1_1->n13_a_planetoid__1_7_1_1_1 n13_a_planetoid__1_7_1_1_2 ADJP n13_a_planetoid__1_7_1_1->n13_a_planetoid__1_7_1_1_2 n13_a_planetoid__1_7_1_1_3 N n13_a_planetoid__1_7_1_1->n13_a_planetoid__1_7_1_1_3 n13_a_planetoid__1_7_1_1_1->n13_a_planetoid__1_7_1_1_1_1 n13_a_planetoid__1_7_1_1_2_1 ADJ n13_a_planetoid__1_7_1_1_2->n13_a_planetoid__1_7_1_1_2_1 n13_a_planetoid__1_7_1_1_2_1->n13_a_planetoid__1_7_1_1_2_1_1 n13_a_planetoid__1_7_1_1_3->n13_a_planetoid__1_7_1_1_3_1 n13_a_planetoid__1_7_1_2->n13_a_planetoid__1_7_1_2_1 n13_a_planetoid__1_7_1_3_1 CONJ n13_a_planetoid__1_7_1_3->n13_a_planetoid__1_7_1_3_1 n13_a_planetoid__1_7_1_3_2 NLYR n13_a_planetoid__1_7_1_3->n13_a_planetoid__1_7_1_3_2 n13_a_planetoid__1_7_1_3_1->n13_a_planetoid__1_7_1_3_1_1 n13_a_planetoid__1_7_1_3_2_1 D n13_a_planetoid__1_7_1_3_2->n13_a_planetoid__1_7_1_3_2_1 n13_a_planetoid__1_7_1_3_2_2 ADJP n13_a_planetoid__1_7_1_3_2->n13_a_planetoid__1_7_1_3_2_2 n13_a_planetoid__1_7_1_3_2_3 N n13_a_planetoid__1_7_1_3_2->n13_a_planetoid__1_7_1_3_2_3 n13_a_planetoid__1_7_1_3_2_4 PP n13_a_planetoid__1_7_1_3_2->n13_a_planetoid__1_7_1_3_2_4 n13_a_planetoid__1_7_1_3_2_5 IP-INF-REL n13_a_planetoid__1_7_1_3_2->n13_a_planetoid__1_7_1_3_2_5 n13_a_planetoid__1_7_1_3_2_1->n13_a_planetoid__1_7_1_3_2_1_1 n13_a_planetoid__1_7_1_3_2_2_1 ADJ n13_a_planetoid__1_7_1_3_2_2->n13_a_planetoid__1_7_1_3_2_2_1 n13_a_planetoid__1_7_1_3_2_2_1->n13_a_planetoid__1_7_1_3_2_2_1_1 n13_a_planetoid__1_7_1_3_2_3->n13_a_planetoid__1_7_1_3_2_3_1 n13_a_planetoid__1_7_1_3_2_4_1 P-ROLE n13_a_planetoid__1_7_1_3_2_4->n13_a_planetoid__1_7_1_3_2_4_1 n13_a_planetoid__1_7_1_3_2_4_2 NP n13_a_planetoid__1_7_1_3_2_4->n13_a_planetoid__1_7_1_3_2_4_2 n13_a_planetoid__1_7_1_3_2_4_1->n13_a_planetoid__1_7_1_3_2_4_1_1 n13_a_planetoid__1_7_1_3_2_4_2_1 N n13_a_planetoid__1_7_1_3_2_4_2->n13_a_planetoid__1_7_1_3_2_4_2_1 n13_a_planetoid__1_7_1_3_2_4_2_2 PUNC n13_a_planetoid__1_7_1_3_2_4_2->n13_a_planetoid__1_7_1_3_2_4_2_2 n13_a_planetoid__1_7_1_3_2_4_2_3 NS n13_a_planetoid__1_7_1_3_2_4_2->n13_a_planetoid__1_7_1_3_2_4_2_3 n13_a_planetoid__1_7_1_3_2_4_2_1->n13_a_planetoid__1_7_1_3_2_4_2_1_1 n13_a_planetoid__1_7_1_3_2_4_2_2->n13_a_planetoid__1_7_1_3_2_4_2_2_1 n13_a_planetoid__1_7_1_3_2_4_2_3->n13_a_planetoid__1_7_1_3_2_4_2_3_1 n13_a_planetoid__1_7_1_3_2_5_1 NP-OB1 n13_a_planetoid__1_7_1_3_2_5->n13_a_planetoid__1_7_1_3_2_5_1 n13_a_planetoid__1_7_1_3_2_5_2 TO n13_a_planetoid__1_7_1_3_2_5->n13_a_planetoid__1_7_1_3_2_5_2 n13_a_planetoid__1_7_1_3_2_5_3 VB;_Tn_ n13_a_planetoid__1_7_1_3_2_5->n13_a_planetoid__1_7_1_3_2_5_3 n13_a_planetoid__1_7_1_3_2_5_1->n13_a_planetoid__1_7_1_3_2_5_1_1 n13_a_planetoid__1_7_1_3_2_5_2->n13_a_planetoid__1_7_1_3_2_5_2_1 n13_a_planetoid__1_7_1_3_2_5_3->n13_a_planetoid__1_7_1_3_2_5_3_1 n13_a_planetoid__1_8->n13_a_planetoid__1_8_1 
( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (PP-NIM (P-ROLE after;{after})
                  (NP (Q;_nphd_ every;{every})
                      (NUM five;{five})
                      (N attack;{attack})
                      (NS waves;{wave})))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (VBP;_Tn_ get;{get})
          (NP-OB1 (NLYR (NLYR (D a;{a})
                              (ADJP (ADJ new;{new}))
                              (N planetoid;{planetoid}))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D a;{a})
                                     (ADJP (ADJ new;{new}))
                                     (N set;{set})
                                     (PP (P-ROLE of;{of})
                                         (NP (N life;{life})
                                             (PUNC <hyphen>)
                                             (NS forms;{form})))
                                     (IP-INF-REL (NP-OB1 *T*)
                                                 (TO to;{to})
                                                 (VB;_Tn_ defend;{defend}))))))
          (PUNC .))
  (ID 13_a_planetoid))