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_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] 
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_4 However n13_a_planetoid_6 , n13_a_planetoid_9 after n13_a_planetoid_12 every n13_a_planetoid_14 five n13_a_planetoid_16 attack n13_a_planetoid_18 waves n13_a_planetoid_20 , n13_a_planetoid_23 you n13_a_planetoid_25 get n13_a_planetoid_30 a n13_a_planetoid_33 new n13_a_planetoid_35 planetoid n13_a_planetoid_37 , n13_a_planetoid_40 and n13_a_planetoid_43 a n13_a_planetoid_46 new n13_a_planetoid_48 set n13_a_planetoid_51 of n13_a_planetoid_54 life n13_a_planetoid_56 - n13_a_planetoid_58 forms n13_a_planetoid_61 *T* n13_a_planetoid_63 to n13_a_planetoid_65 defend n13_a_planetoid_67 . n13_a_planetoid_1 IP-MAT n13_a_planetoid_2 ADVP-NIM n13_a_planetoid_1->n13_a_planetoid_2 n13_a_planetoid_5 PUNC n13_a_planetoid_1->n13_a_planetoid_5 n13_a_planetoid_7 PP-NIM n13_a_planetoid_1->n13_a_planetoid_7 n13_a_planetoid_19 PUNC n13_a_planetoid_1->n13_a_planetoid_19 n13_a_planetoid_21 NP-SBJ n13_a_planetoid_1->n13_a_planetoid_21 n13_a_planetoid_24 VBP;_Tn_ n13_a_planetoid_1->n13_a_planetoid_24 n13_a_planetoid_26 NP-OB1 n13_a_planetoid_1->n13_a_planetoid_26 n13_a_planetoid_66 PUNC n13_a_planetoid_1->n13_a_planetoid_66 n13_a_planetoid_3 ADV n13_a_planetoid_2->n13_a_planetoid_3 n13_a_planetoid_3->n13_a_planetoid_4 n13_a_planetoid_5->n13_a_planetoid_6 n13_a_planetoid_8 P-ROLE n13_a_planetoid_7->n13_a_planetoid_8 n13_a_planetoid_10 NP n13_a_planetoid_7->n13_a_planetoid_10 n13_a_planetoid_8->n13_a_planetoid_9 n13_a_planetoid_11 Q;_nphd_ n13_a_planetoid_10->n13_a_planetoid_11 n13_a_planetoid_13 NUM n13_a_planetoid_10->n13_a_planetoid_13 n13_a_planetoid_15 N n13_a_planetoid_10->n13_a_planetoid_15 n13_a_planetoid_17 NS n13_a_planetoid_10->n13_a_planetoid_17 n13_a_planetoid_11->n13_a_planetoid_12 n13_a_planetoid_13->n13_a_planetoid_14 n13_a_planetoid_15->n13_a_planetoid_16 n13_a_planetoid_17->n13_a_planetoid_18 n13_a_planetoid_19->n13_a_planetoid_20 n13_a_planetoid_22 PRO n13_a_planetoid_21->n13_a_planetoid_22 n13_a_planetoid_22->n13_a_planetoid_23 n13_a_planetoid_24->n13_a_planetoid_25 n13_a_planetoid_27 NLYR n13_a_planetoid_26->n13_a_planetoid_27 n13_a_planetoid_28 NLYR n13_a_planetoid_27->n13_a_planetoid_28 n13_a_planetoid_36 PUNC n13_a_planetoid_27->n13_a_planetoid_36 n13_a_planetoid_38 CONJP n13_a_planetoid_27->n13_a_planetoid_38 n13_a_planetoid_29 D n13_a_planetoid_28->n13_a_planetoid_29 n13_a_planetoid_31 ADJP n13_a_planetoid_28->n13_a_planetoid_31 n13_a_planetoid_34 N n13_a_planetoid_28->n13_a_planetoid_34 n13_a_planetoid_29->n13_a_planetoid_30 n13_a_planetoid_32 ADJ n13_a_planetoid_31->n13_a_planetoid_32 n13_a_planetoid_32->n13_a_planetoid_33 n13_a_planetoid_34->n13_a_planetoid_35 n13_a_planetoid_36->n13_a_planetoid_37 n13_a_planetoid_39 CONJ n13_a_planetoid_38->n13_a_planetoid_39 n13_a_planetoid_41 NLYR n13_a_planetoid_38->n13_a_planetoid_41 n13_a_planetoid_39->n13_a_planetoid_40 n13_a_planetoid_42 D n13_a_planetoid_41->n13_a_planetoid_42 n13_a_planetoid_44 ADJP n13_a_planetoid_41->n13_a_planetoid_44 n13_a_planetoid_47 N n13_a_planetoid_41->n13_a_planetoid_47 n13_a_planetoid_49 PP n13_a_planetoid_41->n13_a_planetoid_49 n13_a_planetoid_59 IP-INF-REL n13_a_planetoid_41->n13_a_planetoid_59 n13_a_planetoid_42->n13_a_planetoid_43 n13_a_planetoid_45 ADJ n13_a_planetoid_44->n13_a_planetoid_45 n13_a_planetoid_45->n13_a_planetoid_46 n13_a_planetoid_47->n13_a_planetoid_48 n13_a_planetoid_50 P-ROLE n13_a_planetoid_49->n13_a_planetoid_50 n13_a_planetoid_52 NP n13_a_planetoid_49->n13_a_planetoid_52 n13_a_planetoid_50->n13_a_planetoid_51 n13_a_planetoid_53 N n13_a_planetoid_52->n13_a_planetoid_53 n13_a_planetoid_55 PUNC n13_a_planetoid_52->n13_a_planetoid_55 n13_a_planetoid_57 NS n13_a_planetoid_52->n13_a_planetoid_57 n13_a_planetoid_53->n13_a_planetoid_54 n13_a_planetoid_55->n13_a_planetoid_56 n13_a_planetoid_57->n13_a_planetoid_58 n13_a_planetoid_60 NP-OB1 n13_a_planetoid_59->n13_a_planetoid_60 n13_a_planetoid_62 TO n13_a_planetoid_59->n13_a_planetoid_62 n13_a_planetoid_64 VB;_Tn_ n13_a_planetoid_59->n13_a_planetoid_64 n13_a_planetoid_60->n13_a_planetoid_61 n13_a_planetoid_62->n13_a_planetoid_63 n13_a_planetoid_64->n13_a_planetoid_65 n13_a_planetoid_66->n13_a_planetoid_67 
( (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))