13_a_planetoid
However, after every five attack waves, you get a new planetoid, and a new set of life - forms to defend.
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(PP-NIM (P-ROLE after;{after})
(NP (Q;_nphd_ every;{every})
(NLYR (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))
arc(r_0013_0004__every__quant,r_0013_0010__get,scope).
arc(r_0013_0004__every__quant,z_0013_5005,restriction).
arc(r_0013_0010__get,r_0013_0001__However,nim).
arc(r_0013_0010__get,r_0013_0009__you,arg0).
arc(r_0013_0010__get,r_0013_0015__and,arg1).
arc(r_0013_0010__get,z_0013_5005,r_0013_0003__after__nim).
arc(r_0013_0011__a_r_0013_0013__planetoid,r_0013_0012__new,attrib).
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,attrib).
arc(r_0013_0016__a_r_0013_0018__set,r_0013_0020__life_r_0013_0022__forms,r_0013_0019__of).
arc(r_0013_0024__defend,r_0013_0016__a_r_0013_0018__set,inv_arg1).
arc(r_0013_0024__defend,z_0013_5013,arg0).
arc(z_0013_5005,r_0013_0005__five_r_0013_0006__attack_r_0013_0007__waves,nim).
fof(formula,axiom,
! [Z_0013_5005,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)
& z_0013_5005(Z_0013_5005)
& has_nim(Z_0013_5005,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_0017__NEW,R_0013_0020__LIFE_R_0013_0022__FORMS,Z_0013_5013,R_0013_0024__DEFEND,R_0013_0016__A_R_0013_0018__SET,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_0017__new(R_0013_0017__NEW)
& r_0013_0020__life_r_0013_0022__forms(R_0013_0020__LIFE_R_0013_0022__FORMS)
& z_0013_5013(Z_0013_5013)
& r_0013_0010__get(R_0013_0010__GET)
& has_r_0013_0003__after__nim(R_0013_0010__GET,Z_0013_5005)
& 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)
& r_0013_0016__a_r_0013_0018__set(R_0013_0016__A_R_0013_0018__SET)
& has_inv_arg1(R_0013_0016__A_R_0013_0018__SET,R_0013_0024__DEFEND)
& r_0013_0024__defend(R_0013_0024__DEFEND)
& has_arg0(R_0013_0024__DEFEND,Z_0013_5013)
& has_r_0013_0019__of(R_0013_0016__A_R_0013_0018__SET,R_0013_0020__LIFE_R_0013_0022__FORMS)
& has_attrib(R_0013_0016__A_R_0013_0018__SET,R_0013_0017__NEW)
& 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_attrib(R_0013_0011__A_R_0013_0013__PLANETOID,R_0013_0012__NEW)
& has_arg0(R_0013_0010__GET,R_0013_0009__YOU)
& has_nim(R_0013_0010__GET,R_0013_0001__HOWEVER) ) ) ).