14_a_planetoid
You start off with three ships, but for every 10,000 points you score, you gain a ship plus a smart bomb.
( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO You;{you}))
(VBP;_phr_Vp.pr_ start;{start[off,with]})
(RP off;{off})
(PP-CLR (P-ROLE with;{with})
(NP (NUM three;{three})
(NS ships;{ship}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (PP-NIM (P-ROLE for;{for})
(NP (Q every;{every})
(NLYR (NUM 10,000)
(NS points;{point}))
(IP-REL (NP-OB1 *T*)
(NP-SBJ (PRO you;{you}))
(VBP;_Tn_ score;{score}))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(VBP;_Tn_ gain;{gain})
(NP-OB1 (NLYR (NLYR (D a;{a})
(N ship;{ship}))
(CONJP (CONJ plus;{plus})
(NLYR (D a;{a})
(ADJP (ADJ smart;{smart}))
(N bomb;{bomb}))))))))
(PUNC .))
(ID 14_a_planetoid))
arc(r_0014_0002__start_r_0014_0003__off,r_0014_0001__You,arg0).
arc(r_0014_0002__start_r_0014_0003__off,r_0014_0005__three_r_0014_0006__ships,r_0014_0004__with__clr).
arc(r_0014_0008__but,r_0014_0002__start_r_0014_0003__off,conj1).
arc(r_0014_0008__but,r_0014_0010__every__quant,conj2).
arc(r_0014_0010__every__quant,r_0014_0017__gain,scope).
arc(r_0014_0010__every__quant,z_0014_5008,restriction).
arc(r_0014_0014__score,r_0014_0001__You,arg0).
arc(r_0014_0014__score,z_0014_5008,arg1).
arc(r_0014_0017__gain,r_0014_0001__You,arg0).
arc(r_0014_0017__gain,r_0014_0020__plus,arg1).
arc(r_0014_0017__gain,z_0014_5008,r_0014_0009__for__nim).
arc(r_0014_0020__plus,r_0014_0018__a_r_0014_0019__ship,conj1).
arc(r_0014_0020__plus,r_0014_0021__a_r_0014_0023__bomb,conj2).
arc(r_0014_0021__a_r_0014_0023__bomb,r_0014_0022__smart,attrib).
arc(z_0014_5008,r_0014_0011__10_comma_000_r_0014_0012__points,nim).
fof(formula,axiom,
? [R_0014_0001__YOU,R_0014_0005__THREE_R_0014_0006__SHIPS,R_0014_0002__START_R_0014_0003__OFF,R_0014_0008__BUT] :
( r_0014_0001__You(R_0014_0001__YOU)
& r_0014_0005__three_r_0014_0006__ships(R_0014_0005__THREE_R_0014_0006__SHIPS)
& r_0014_0008__but(R_0014_0008__BUT)
& ! [Z_0014_5008,R_0014_0011__10_COMMA_000_R_0014_0012__POINTS,R_0014_0014__SCORE] :
( ( r_0014_0011__10_comma_000_r_0014_0012__points(R_0014_0011__10_COMMA_000_R_0014_0012__POINTS)
& r_0014_0014__score(R_0014_0014__SCORE)
& has_arg1(R_0014_0014__SCORE,Z_0014_5008)
& z_0014_5008(Z_0014_5008)
& has_nim(Z_0014_5008,R_0014_0011__10_COMMA_000_R_0014_0012__POINTS)
& has_arg0(R_0014_0014__SCORE,R_0014_0001__YOU) )
=> ? [R_0014_0018__A_R_0014_0019__SHIP,R_0014_0022__SMART,R_0014_0021__A_R_0014_0023__BOMB,R_0014_0020__PLUS,R_0014_0017__GAIN] :
( r_0014_0018__a_r_0014_0019__ship(R_0014_0018__A_R_0014_0019__SHIP)
& r_0014_0022__smart(R_0014_0022__SMART)
& r_0014_0017__gain(R_0014_0017__GAIN)
& has_r_0014_0009__for__nim(R_0014_0017__GAIN,Z_0014_5008)
& has_arg1(R_0014_0017__GAIN,R_0014_0020__PLUS)
& r_0014_0020__plus(R_0014_0020__PLUS)
& has_conj2(R_0014_0020__PLUS,R_0014_0021__A_R_0014_0023__BOMB)
& r_0014_0021__a_r_0014_0023__bomb(R_0014_0021__A_R_0014_0023__BOMB)
& has_attrib(R_0014_0021__A_R_0014_0023__BOMB,R_0014_0022__SMART)
& has_conj1(R_0014_0020__PLUS,R_0014_0018__A_R_0014_0019__SHIP)
& has_arg0(R_0014_0017__GAIN,R_0014_0001__YOU) ) )
& has_conj1(R_0014_0008__BUT,R_0014_0002__START_R_0014_0003__OFF)
& r_0014_0002__start_r_0014_0003__off(R_0014_0002__START_R_0014_0003__OFF)
& has_r_0014_0004__with__clr(R_0014_0002__START_R_0014_0003__OFF,R_0014_0005__THREE_R_0014_0006__SHIPS)
& has_arg0(R_0014_0002__START_R_0014_0003__OFF,R_0014_0001__YOU) ) ).