13_a_planetoid
However, after every five attack waves, you get a new planetoid, and a new set of life - forms to defend.
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).
fof(formula,axiom,
? [R_0013_0017__NEW,R_0013_0020__LIFE_R_0013_0022__FORMS,R_0013_0016__A_R_0013_0018__SET,Z_000_13_A_PLANETOID_59,R_0013_0023__TO_R_0013_0024__DEFEND] :
( r_0013_0017__new(R_0013_0017__NEW)
& r_0013_0020__life_r_0013_0022__forms(R_0013_0020__LIFE_R_0013_0022__FORMS)
& z_000_13_a_planetoid_59(Z_000_13_A_PLANETOID_59)
& r_0013_0023__to_r_0013_0024__defend(R_0013_0023__TO_R_0013_0024__DEFEND)
& has_arg0(R_0013_0023__TO_R_0013_0024__DEFEND,Z_000_13_A_PLANETOID_59)
& has_arg1(R_0013_0023__TO_R_0013_0024__DEFEND,R_0013_0016__A_R_0013_0018__SET)
& r_0013_0016__a_r_0013_0018__set(R_0013_0016__A_R_0013_0018__SET)
& has_r_0013_0019__of(R_0013_0016__A_R_0013_0018__SET,R_0013_0020__LIFE_R_0013_0022__FORMS)
& has_attrib44(R_0013_0016__A_R_0013_0018__SET,R_0013_0017__NEW)
& ! [R_0013_0005__FIVE_R_0013_0006__ATTACK_R_0013_0007__WAVES] :
( r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves(R_0013_0005__FIVE_R_0013_0006__ATTACK_R_0013_0007__WAVES)
=> ? [R_0013_0001__HOWEVER,R_0013_0009__YOU,R_0013_0012__NEW,R_0013_0011__A_R_0013_0013__PLANETOID,R_0013_0015__AND,R_0013_0010__GET] :
( r_0013_0001__However(R_0013_0001__HOWEVER)
& r_0013_0009__you(R_0013_0009__YOU)
& r_0013_0012__new(R_0013_0012__NEW)
& r_0013_0010__get(R_0013_0010__GET)
& has_arg1(R_0013_0010__GET,R_0013_0015__AND)
& r_0013_0015__and(R_0013_0015__AND)
& has_conj2(R_0013_0015__AND,R_0013_0016__A_R_0013_0018__SET)
& has_conj1(R_0013_0015__AND,R_0013_0011__A_R_0013_0013__PLANETOID)
& r_0013_0011__a_r_0013_0013__planetoid(R_0013_0011__A_R_0013_0013__PLANETOID)
& has_attrib31(R_0013_0011__A_R_0013_0013__PLANETOID,R_0013_0012__NEW)
& has_arg0(R_0013_0010__GET,R_0013_0009__YOU)
& has_r_0013_0003__after_nim10(R_0013_0010__GET,R_0013_0005__FIVE_R_0013_0006__ATTACK_R_0013_0007__WAVES)
& has_nim2(R_0013_0010__GET,R_0013_0001__HOWEVER) ) ) ) ).
( (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))