Context                Previous, Next                Top


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.

%3 r_0014_0002__start_r_0014_0003__off start off r_0014_0001__You You r_0014_0002__start_r_0014_0003__off->r_0014_0001__You [arg0] r_0014_0005__three_r_0014_0006__ships three ships r_0014_0002__start_r_0014_0003__off->r_0014_0005__three_r_0014_0006__ships with [clr] r_0014_0008__but but r_0014_0008__but->r_0014_0002__start_r_0014_0003__off [conj1] r_0014_0010__every_quant every [quant] r_0014_0008__but->r_0014_0010__every_quant [conj2] r_0014_0011__10_comma_000_r_0014_0012__points 10,000 points r_0014_0010__every_quant->r_0014_0011__10_comma_000_r_0014_0012__points [restriction] r_0014_0017__gain gain r_0014_0010__every_quant->r_0014_0017__gain [scope] r_0014_0017__gain->r_0014_0001__You [arg0] r_0014_0017__gain->r_0014_0011__10_comma_000_r_0014_0012__points for [nim] r_0014_0020__plus plus r_0014_0017__gain->r_0014_0020__plus [arg1] r_0014_0014__score score r_0014_0014__score->r_0014_0001__You [arg0] r_0014_0014__score->r_0014_0011__10_comma_000_r_0014_0012__points [arg1] r_0014_0018__a_r_0014_0019__ship a ship r_0014_0020__plus->r_0014_0018__a_r_0014_0019__ship [conj1] r_0014_0021__a_r_0014_0023__bomb a bomb r_0014_0020__plus->r_0014_0021__a_r_0014_0023__bomb [conj2] r_0014_0022__smart smart r_0014_0021__a_r_0014_0023__bomb->r_0014_0022__smart [attrib] 
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_clr14).
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_0011__10_comma_000_r_0014_0012__points, restriction).
arc(r_0014_0010__every_quant, r_0014_0017__gain, scope).
arc(r_0014_0014__score, r_0014_0001__You, arg0).
arc(r_0014_0014__score, r_0014_0011__10_comma_000_r_0014_0012__points, arg1).
arc(r_0014_0017__gain, r_0014_0001__You, arg0).
arc(r_0014_0017__gain, r_0014_0011__10_comma_000_r_0014_0012__points, r_0014_0009__for_nim28).
arc(r_0014_0017__gain, r_0014_0020__plus, arg1).
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, attrib63).


%3 r_0014_0021__a_r_0014_0023__bomb a bomb r_0014_0022__smart smart r_0014_0021__a_r_0014_0023__bomb->r_0014_0022__smart [attrib] r_0014_0020__plus plus r_0014_0020__plus->r_0014_0021__a_r_0014_0023__bomb [conj2] r_0014_0018__a_r_0014_0019__ship a ship r_0014_0020__plus->r_0014_0018__a_r_0014_0019__ship [conj1] r_0014_0017__gain gain r_0014_0017__gain->r_0014_0020__plus [arg1] r_0014_0011__10_comma_000_r_0014_0012__points 10,000 points r_0014_0017__gain->r_0014_0011__10_comma_000_r_0014_0012__points for [nim] r_0014_0001__You You r_0014_0017__gain->r_0014_0001__You [arg0] r_0014_0014__score score r_0014_0014__score->r_0014_0011__10_comma_000_r_0014_0012__points [arg1] r_0014_0014__score->r_0014_0001__You [arg0] r_0014_0010__every_quant every [quant] r_0014_0010__every_quant->r_0014_0017__gain [scope] r_0014_0010__every_quant->r_0014_0014__score [restriction] r_0014_0008__but but r_0014_0008__but->r_0014_0010__every_quant [conj2] r_0014_0002__start_r_0014_0003__off start off r_0014_0008__but->r_0014_0002__start_r_0014_0003__off [conj1] r_0014_0002__start_r_0014_0003__off->r_0014_0001__You [arg0] r_0014_0005__three_r_0014_0006__ships three ships r_0014_0002__start_r_0014_0003__off->r_0014_0005__three_r_0014_0006__ships with [clr] 
fof(formula,axiom,
    ? [R_14_8_BUT,R_14_2_START_OFF,R_14_1_YOU,R_14_5_THREE_SHIPS] :
      ( you(R_14_1_YOU)
      & three_ships(R_14_5_THREE_SHIPS)
      & ! [R_14_14_SCORE,R_14_11_10_COMMA_POINTS] :
          ( ( 10_comma_points(R_14_11_10_COMMA_POINTS)
            & score(R_14_14_SCORE,R_14_1_YOU,R_14_11_10_COMMA_POINTS) )
         => ? [R_14_17_GAIN,R_14_20_PLUS,R_14_18_A_SHIP,R_14_21_A_BOMB,R_14_22_SMART] :
              ( a_ship(R_14_18_A_SHIP)
              & smart(R_14_22_SMART)
              & gain(R_14_17_GAIN,R_14_1_YOU,R_14_20_PLUS)
              & plus(R_14_20_PLUS)
              & conj1(R_14_20_PLUS,R_14_18_A_SHIP)
              & conj2(R_14_20_PLUS,R_14_21_A_BOMB)
              & a_bomb(R_14_21_A_BOMB)
              & attrib63(R_14_21_A_BOMB,R_14_22_SMART)
              & for_nim28(R_14_17_GAIN,R_14_11_10_COMMA_POINTS) ) )
      & conj2(CONJ2)
      & but(R_14_8_BUT)
      & conj1(R_14_8_BUT,R_14_2_START_OFF)
      & start_off(R_14_2_START_OFF,R_14_1_YOU)
      & with_clr14(R_14_2_START_OFF,R_14_5_THREE_SHIPS) ) ).


n14_a_planetoid n14_a_planetoid__1_1_1_1_1_1 You n14_a_planetoid__1_1_1_2_1 start n14_a_planetoid__1_1_1_3_1 off n14_a_planetoid__1_1_1_4_1_1 with n14_a_planetoid__1_1_1_4_2_1_1 three n14_a_planetoid__1_1_1_4_2_2_1 ships n14_a_planetoid__1_1_2_1 , n14_a_planetoid__1_1_3_1_1 but n14_a_planetoid__1_1_3_2_1_1_1 for n14_a_planetoid__1_1_3_2_1_2_1_1 every n14_a_planetoid__1_1_3_2_1_2_2_1 10,000 n14_a_planetoid__1_1_3_2_1_2_3_1 points n14_a_planetoid__1_1_3_2_1_2_4_1_1 *T* n14_a_planetoid__1_1_3_2_1_2_4_2_1_1 you n14_a_planetoid__1_1_3_2_1_2_4_3_1 score n14_a_planetoid__1_1_3_2_2_1 , n14_a_planetoid__1_1_3_2_3_1_1 you n14_a_planetoid__1_1_3_2_4_1 gain n14_a_planetoid__1_1_3_2_5_1_1_1_1 a n14_a_planetoid__1_1_3_2_5_1_1_2_1 ship n14_a_planetoid__1_1_3_2_5_1_2_1_1 plus n14_a_planetoid__1_1_3_2_5_1_2_2_1_1 a n14_a_planetoid__1_1_3_2_5_1_2_2_2_1_1 smart n14_a_planetoid__1_1_3_2_5_1_2_2_3_1 bomb n14_a_planetoid__1_2_1 . n14_a_planetoid__1 IP-MAT n14_a_planetoid__1_1 ILYR n14_a_planetoid__1->n14_a_planetoid__1_1 n14_a_planetoid__1_2 PUNC n14_a_planetoid__1->n14_a_planetoid__1_2 n14_a_planetoid__1_1_1 ILYR n14_a_planetoid__1_1->n14_a_planetoid__1_1_1 n14_a_planetoid__1_1_2 PUNC n14_a_planetoid__1_1->n14_a_planetoid__1_1_2 n14_a_planetoid__1_1_3 CONJP n14_a_planetoid__1_1->n14_a_planetoid__1_1_3 n14_a_planetoid__1_1_1_1 NP-SBJ n14_a_planetoid__1_1_1->n14_a_planetoid__1_1_1_1 n14_a_planetoid__1_1_1_2 VBP;_phr_Vp.pr_ n14_a_planetoid__1_1_1->n14_a_planetoid__1_1_1_2 n14_a_planetoid__1_1_1_3 RP n14_a_planetoid__1_1_1->n14_a_planetoid__1_1_1_3 n14_a_planetoid__1_1_1_4 PP-CLR n14_a_planetoid__1_1_1->n14_a_planetoid__1_1_1_4 n14_a_planetoid__1_1_1_1_1 PRO n14_a_planetoid__1_1_1_1->n14_a_planetoid__1_1_1_1_1 n14_a_planetoid__1_1_1_1_1->n14_a_planetoid__1_1_1_1_1_1 n14_a_planetoid__1_1_1_2->n14_a_planetoid__1_1_1_2_1 n14_a_planetoid__1_1_1_3->n14_a_planetoid__1_1_1_3_1 n14_a_planetoid__1_1_1_4_1 P-ROLE n14_a_planetoid__1_1_1_4->n14_a_planetoid__1_1_1_4_1 n14_a_planetoid__1_1_1_4_2 NP n14_a_planetoid__1_1_1_4->n14_a_planetoid__1_1_1_4_2 n14_a_planetoid__1_1_1_4_1->n14_a_planetoid__1_1_1_4_1_1 n14_a_planetoid__1_1_1_4_2_1 NUM n14_a_planetoid__1_1_1_4_2->n14_a_planetoid__1_1_1_4_2_1 n14_a_planetoid__1_1_1_4_2_2 NS n14_a_planetoid__1_1_1_4_2->n14_a_planetoid__1_1_1_4_2_2 n14_a_planetoid__1_1_1_4_2_1->n14_a_planetoid__1_1_1_4_2_1_1 n14_a_planetoid__1_1_1_4_2_2->n14_a_planetoid__1_1_1_4_2_2_1 n14_a_planetoid__1_1_2->n14_a_planetoid__1_1_2_1 n14_a_planetoid__1_1_3_1 CONJ n14_a_planetoid__1_1_3->n14_a_planetoid__1_1_3_1 n14_a_planetoid__1_1_3_2 ILYR n14_a_planetoid__1_1_3->n14_a_planetoid__1_1_3_2 n14_a_planetoid__1_1_3_1->n14_a_planetoid__1_1_3_1_1 n14_a_planetoid__1_1_3_2_1 PP-NIM n14_a_planetoid__1_1_3_2->n14_a_planetoid__1_1_3_2_1 n14_a_planetoid__1_1_3_2_2 PUNC n14_a_planetoid__1_1_3_2->n14_a_planetoid__1_1_3_2_2 n14_a_planetoid__1_1_3_2_3 NP-SBJ n14_a_planetoid__1_1_3_2->n14_a_planetoid__1_1_3_2_3 n14_a_planetoid__1_1_3_2_4 VBP;_Tn_ n14_a_planetoid__1_1_3_2->n14_a_planetoid__1_1_3_2_4 n14_a_planetoid__1_1_3_2_5 NP-OB1 n14_a_planetoid__1_1_3_2->n14_a_planetoid__1_1_3_2_5 n14_a_planetoid__1_1_3_2_1_1 P-ROLE n14_a_planetoid__1_1_3_2_1->n14_a_planetoid__1_1_3_2_1_1 n14_a_planetoid__1_1_3_2_1_2 NP n14_a_planetoid__1_1_3_2_1->n14_a_planetoid__1_1_3_2_1_2 n14_a_planetoid__1_1_3_2_1_1->n14_a_planetoid__1_1_3_2_1_1_1 n14_a_planetoid__1_1_3_2_1_2_1 Q n14_a_planetoid__1_1_3_2_1_2->n14_a_planetoid__1_1_3_2_1_2_1 n14_a_planetoid__1_1_3_2_1_2_2 NUM n14_a_planetoid__1_1_3_2_1_2->n14_a_planetoid__1_1_3_2_1_2_2 n14_a_planetoid__1_1_3_2_1_2_3 NS n14_a_planetoid__1_1_3_2_1_2->n14_a_planetoid__1_1_3_2_1_2_3 n14_a_planetoid__1_1_3_2_1_2_4 IP-REL n14_a_planetoid__1_1_3_2_1_2->n14_a_planetoid__1_1_3_2_1_2_4 n14_a_planetoid__1_1_3_2_1_2_1->n14_a_planetoid__1_1_3_2_1_2_1_1 n14_a_planetoid__1_1_3_2_1_2_2->n14_a_planetoid__1_1_3_2_1_2_2_1 n14_a_planetoid__1_1_3_2_1_2_3->n14_a_planetoid__1_1_3_2_1_2_3_1 n14_a_planetoid__1_1_3_2_1_2_4_1 NP-OB1 n14_a_planetoid__1_1_3_2_1_2_4->n14_a_planetoid__1_1_3_2_1_2_4_1 n14_a_planetoid__1_1_3_2_1_2_4_2 NP-SBJ n14_a_planetoid__1_1_3_2_1_2_4->n14_a_planetoid__1_1_3_2_1_2_4_2 n14_a_planetoid__1_1_3_2_1_2_4_3 VBP;_Tn_ n14_a_planetoid__1_1_3_2_1_2_4->n14_a_planetoid__1_1_3_2_1_2_4_3 n14_a_planetoid__1_1_3_2_1_2_4_1->n14_a_planetoid__1_1_3_2_1_2_4_1_1 n14_a_planetoid__1_1_3_2_1_2_4_2_1 PRO n14_a_planetoid__1_1_3_2_1_2_4_2->n14_a_planetoid__1_1_3_2_1_2_4_2_1 n14_a_planetoid__1_1_3_2_1_2_4_2_1->n14_a_planetoid__1_1_3_2_1_2_4_2_1_1 n14_a_planetoid__1_1_3_2_1_2_4_3->n14_a_planetoid__1_1_3_2_1_2_4_3_1 n14_a_planetoid__1_1_3_2_2->n14_a_planetoid__1_1_3_2_2_1 n14_a_planetoid__1_1_3_2_3_1 PRO n14_a_planetoid__1_1_3_2_3->n14_a_planetoid__1_1_3_2_3_1 n14_a_planetoid__1_1_3_2_3_1->n14_a_planetoid__1_1_3_2_3_1_1 n14_a_planetoid__1_1_3_2_4->n14_a_planetoid__1_1_3_2_4_1 n14_a_planetoid__1_1_3_2_5_1 NLYR n14_a_planetoid__1_1_3_2_5->n14_a_planetoid__1_1_3_2_5_1 n14_a_planetoid__1_1_3_2_5_1_1 NLYR n14_a_planetoid__1_1_3_2_5_1->n14_a_planetoid__1_1_3_2_5_1_1 n14_a_planetoid__1_1_3_2_5_1_2 CONJP n14_a_planetoid__1_1_3_2_5_1->n14_a_planetoid__1_1_3_2_5_1_2 n14_a_planetoid__1_1_3_2_5_1_1_1 D n14_a_planetoid__1_1_3_2_5_1_1->n14_a_planetoid__1_1_3_2_5_1_1_1 n14_a_planetoid__1_1_3_2_5_1_1_2 N n14_a_planetoid__1_1_3_2_5_1_1->n14_a_planetoid__1_1_3_2_5_1_1_2 n14_a_planetoid__1_1_3_2_5_1_1_1->n14_a_planetoid__1_1_3_2_5_1_1_1_1 n14_a_planetoid__1_1_3_2_5_1_1_2->n14_a_planetoid__1_1_3_2_5_1_1_2_1 n14_a_planetoid__1_1_3_2_5_1_2_1 CONJ n14_a_planetoid__1_1_3_2_5_1_2->n14_a_planetoid__1_1_3_2_5_1_2_1 n14_a_planetoid__1_1_3_2_5_1_2_2 NLYR n14_a_planetoid__1_1_3_2_5_1_2->n14_a_planetoid__1_1_3_2_5_1_2_2 n14_a_planetoid__1_1_3_2_5_1_2_1->n14_a_planetoid__1_1_3_2_5_1_2_1_1 n14_a_planetoid__1_1_3_2_5_1_2_2_1 D n14_a_planetoid__1_1_3_2_5_1_2_2->n14_a_planetoid__1_1_3_2_5_1_2_2_1 n14_a_planetoid__1_1_3_2_5_1_2_2_2 ADJP n14_a_planetoid__1_1_3_2_5_1_2_2->n14_a_planetoid__1_1_3_2_5_1_2_2_2 n14_a_planetoid__1_1_3_2_5_1_2_2_3 N n14_a_planetoid__1_1_3_2_5_1_2_2->n14_a_planetoid__1_1_3_2_5_1_2_2_3 n14_a_planetoid__1_1_3_2_5_1_2_2_1->n14_a_planetoid__1_1_3_2_5_1_2_2_1_1 n14_a_planetoid__1_1_3_2_5_1_2_2_2_1 ADJ n14_a_planetoid__1_1_3_2_5_1_2_2_2->n14_a_planetoid__1_1_3_2_5_1_2_2_2_1 n14_a_planetoid__1_1_3_2_5_1_2_2_2_1->n14_a_planetoid__1_1_3_2_5_1_2_2_2_1_1 n14_a_planetoid__1_1_3_2_5_1_2_2_3->n14_a_planetoid__1_1_3_2_5_1_2_2_3_1 n14_a_planetoid__1_2->n14_a_planetoid__1_2_1 
( (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})
                                         (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))