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_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_0014__score score r_0014_0010__every_quant->r_0014_0014__score [restriction] r_0014_0017__gain gain r_0014_0010__every_quant->r_0014_0017__gain [scope] r_0014_0014__score->r_0014_0001__You [arg0] r_0014_0011__10_comma_000_r_0014_0012__points 10,000 points r_0014_0014__score->r_0014_0011__10_comma_000_r_0014_0012__points [arg1] 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_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] 
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_6 You n14_a_planetoid_8 start n14_a_planetoid_10 off n14_a_planetoid_13 with n14_a_planetoid_16 three n14_a_planetoid_18 ships n14_a_planetoid_20 , n14_a_planetoid_23 but n14_a_planetoid_27 for n14_a_planetoid_30 every n14_a_planetoid_32 10,000 n14_a_planetoid_34 points n14_a_planetoid_37 *T* n14_a_planetoid_40 you n14_a_planetoid_42 score n14_a_planetoid_44 , n14_a_planetoid_47 you n14_a_planetoid_49 gain n14_a_planetoid_54 a n14_a_planetoid_56 ship n14_a_planetoid_59 plus n14_a_planetoid_62 a n14_a_planetoid_65 smart n14_a_planetoid_67 bomb n14_a_planetoid_69 . n14_a_planetoid_1 IP-MAT n14_a_planetoid_2 ILYR n14_a_planetoid_1->n14_a_planetoid_2 n14_a_planetoid_68 PUNC n14_a_planetoid_1->n14_a_planetoid_68 n14_a_planetoid_3 ILYR n14_a_planetoid_2->n14_a_planetoid_3 n14_a_planetoid_19 PUNC n14_a_planetoid_2->n14_a_planetoid_19 n14_a_planetoid_21 CONJP n14_a_planetoid_2->n14_a_planetoid_21 n14_a_planetoid_4 NP-SBJ n14_a_planetoid_3->n14_a_planetoid_4 n14_a_planetoid_7 VBP;_phr_Vp.pr_ n14_a_planetoid_3->n14_a_planetoid_7 n14_a_planetoid_9 RP n14_a_planetoid_3->n14_a_planetoid_9 n14_a_planetoid_11 PP-CLR n14_a_planetoid_3->n14_a_planetoid_11 n14_a_planetoid_5 PRO n14_a_planetoid_4->n14_a_planetoid_5 n14_a_planetoid_5->n14_a_planetoid_6 n14_a_planetoid_7->n14_a_planetoid_8 n14_a_planetoid_9->n14_a_planetoid_10 n14_a_planetoid_12 P-ROLE n14_a_planetoid_11->n14_a_planetoid_12 n14_a_planetoid_14 NP n14_a_planetoid_11->n14_a_planetoid_14 n14_a_planetoid_12->n14_a_planetoid_13 n14_a_planetoid_15 NUM n14_a_planetoid_14->n14_a_planetoid_15 n14_a_planetoid_17 NS n14_a_planetoid_14->n14_a_planetoid_17 n14_a_planetoid_15->n14_a_planetoid_16 n14_a_planetoid_17->n14_a_planetoid_18 n14_a_planetoid_19->n14_a_planetoid_20 n14_a_planetoid_22 CONJ n14_a_planetoid_21->n14_a_planetoid_22 n14_a_planetoid_24 ILYR n14_a_planetoid_21->n14_a_planetoid_24 n14_a_planetoid_22->n14_a_planetoid_23 n14_a_planetoid_25 PP-NIM n14_a_planetoid_24->n14_a_planetoid_25 n14_a_planetoid_43 PUNC n14_a_planetoid_24->n14_a_planetoid_43 n14_a_planetoid_45 NP-SBJ n14_a_planetoid_24->n14_a_planetoid_45 n14_a_planetoid_48 VBP;_Tn_ n14_a_planetoid_24->n14_a_planetoid_48 n14_a_planetoid_50 NP-OB1 n14_a_planetoid_24->n14_a_planetoid_50 n14_a_planetoid_26 P-ROLE n14_a_planetoid_25->n14_a_planetoid_26 n14_a_planetoid_28 NP n14_a_planetoid_25->n14_a_planetoid_28 n14_a_planetoid_26->n14_a_planetoid_27 n14_a_planetoid_29 Q n14_a_planetoid_28->n14_a_planetoid_29 n14_a_planetoid_31 NUM n14_a_planetoid_28->n14_a_planetoid_31 n14_a_planetoid_33 NS n14_a_planetoid_28->n14_a_planetoid_33 n14_a_planetoid_35 IP-REL n14_a_planetoid_28->n14_a_planetoid_35 n14_a_planetoid_29->n14_a_planetoid_30 n14_a_planetoid_31->n14_a_planetoid_32 n14_a_planetoid_33->n14_a_planetoid_34 n14_a_planetoid_36 NP-OB1 n14_a_planetoid_35->n14_a_planetoid_36 n14_a_planetoid_38 NP-SBJ n14_a_planetoid_35->n14_a_planetoid_38 n14_a_planetoid_41 VBP;_Tn_ n14_a_planetoid_35->n14_a_planetoid_41 n14_a_planetoid_36->n14_a_planetoid_37 n14_a_planetoid_39 PRO n14_a_planetoid_38->n14_a_planetoid_39 n14_a_planetoid_39->n14_a_planetoid_40 n14_a_planetoid_41->n14_a_planetoid_42 n14_a_planetoid_43->n14_a_planetoid_44 n14_a_planetoid_46 PRO n14_a_planetoid_45->n14_a_planetoid_46 n14_a_planetoid_46->n14_a_planetoid_47 n14_a_planetoid_48->n14_a_planetoid_49 n14_a_planetoid_51 NLYR n14_a_planetoid_50->n14_a_planetoid_51 n14_a_planetoid_52 NLYR n14_a_planetoid_51->n14_a_planetoid_52 n14_a_planetoid_57 CONJP n14_a_planetoid_51->n14_a_planetoid_57 n14_a_planetoid_53 D n14_a_planetoid_52->n14_a_planetoid_53 n14_a_planetoid_55 N n14_a_planetoid_52->n14_a_planetoid_55 n14_a_planetoid_53->n14_a_planetoid_54 n14_a_planetoid_55->n14_a_planetoid_56 n14_a_planetoid_58 CONJ n14_a_planetoid_57->n14_a_planetoid_58 n14_a_planetoid_60 NLYR n14_a_planetoid_57->n14_a_planetoid_60 n14_a_planetoid_58->n14_a_planetoid_59 n14_a_planetoid_61 D n14_a_planetoid_60->n14_a_planetoid_61 n14_a_planetoid_63 ADJP n14_a_planetoid_60->n14_a_planetoid_63 n14_a_planetoid_66 N n14_a_planetoid_60->n14_a_planetoid_66 n14_a_planetoid_61->n14_a_planetoid_62 n14_a_planetoid_64 ADJ n14_a_planetoid_63->n14_a_planetoid_64 n14_a_planetoid_64->n14_a_planetoid_65 n14_a_planetoid_66->n14_a_planetoid_67 n14_a_planetoid_68->n14_a_planetoid_69 
( (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))