Context                Previous, Next                Top


26_a_thrust
An extra spaceship is awarded for every 10,000 points scored.

%3 r_0026_0001__An_r_0026_0003__spaceship An spaceship r_0026_0002__extra extra r_0026_0001__An_r_0026_0003__spaceship->r_0026_0002__extra [attrib] r_0026_0004__is is r_0026_0007__every_quant every [quant] r_0026_0004__is->r_0026_0007__every_quant [scope] r_0026_0005__awarded awarded r_0026_0007__every_quant->r_0026_0005__awarded [scope] r_0026_0008__10_comma_000_r_0026_0009__points 10,000 points r_0026_0007__every_quant->r_0026_0008__10_comma_000_r_0026_0009__points [restriction] r_0026_0005__awarded->r_0026_0001__An_r_0026_0003__spaceship [arg1] r_0026_0005__awarded->r_0026_0008__10_comma_000_r_0026_0009__points for [clr] z_000_26_a_thrust_13 r_0026_0005__awarded->z_000_26_a_thrust_13 [arg0] r_0026_0010__scored scored r_0026_0010__scored->r_0026_0008__10_comma_000_r_0026_0009__points [arg1] z_000_26_a_thrust_28 r_0026_0010__scored->z_000_26_a_thrust_28 [arg0] 
arc(r_0026_0001__An_r_0026_0003__spaceship, r_0026_0002__extra, attrib5).
arc(r_0026_0004__is, r_0026_0007__every_quant, scope).
arc(r_0026_0005__awarded, r_0026_0001__An_r_0026_0003__spaceship, arg1).
arc(r_0026_0005__awarded, r_0026_0008__10_comma_000_r_0026_0009__points, r_0026_0006__for_clr20).
arc(r_0026_0005__awarded, z_000_26_a_thrust_13, arg0).
arc(r_0026_0007__every_quant, r_0026_0005__awarded, scope).
arc(r_0026_0007__every_quant, r_0026_0008__10_comma_000_r_0026_0009__points, restriction).
arc(r_0026_0010__scored, r_0026_0008__10_comma_000_r_0026_0009__points, arg1).
arc(r_0026_0010__scored, z_000_26_a_thrust_28, arg0).


%3 r_0026_0001__An_r_0026_0003__spaceship An spaceship r_0026_0002__extra extra r_0026_0001__An_r_0026_0003__spaceship->r_0026_0002__extra [attrib] r_0026_0004__is is r_0026_0007__every_quant every [quant] r_0026_0004__is->r_0026_0007__every_quant [keep_scope] r_0026_0005__awarded awarded r_0026_0007__every_quant->r_0026_0005__awarded [scope] r_0026_0010__scored scored r_0026_0007__every_quant->r_0026_0010__scored [restriction] r_0026_0005__awarded->r_0026_0001__An_r_0026_0003__spaceship [arg1] r_0026_0008__10_comma_000_r_0026_0009__points 10,000 points r_0026_0005__awarded->r_0026_0008__10_comma_000_r_0026_0009__points for [clr] z_000_26_a_thrust_13 r_0026_0005__awarded->z_000_26_a_thrust_13 [arg0] r_0026_0010__scored->r_0026_0008__10_comma_000_r_0026_0009__points [arg1] z_000_26_a_thrust_28 r_0026_0010__scored->z_000_26_a_thrust_28 [arg0] 
fof(formula,axiom,
    ~ ! [R_26_10_SCORED,Z_26_A_THRUST_28,R_26_8_10_COMMA_POINTS] :
        ( ( 10_comma_points(R_26_8_10_COMMA_POINTS)
          & scored(R_26_10_SCORED,Z_26_A_THRUST_28,R_26_8_10_COMMA_POINTS) )
       => ? [R_26_5_AWARDED,Z_26_A_THRUST_13,R_26_1_AN_SPACESHIP,R_26_2_EXTRA] :
            ( extra(R_26_2_EXTRA)
            & awarded(R_26_5_AWARDED,Z_26_A_THRUST_13,R_26_1_AN_SPACESHIP)
            & an_spaceship(R_26_1_AN_SPACESHIP)
            & attrib5(R_26_1_AN_SPACESHIP,R_26_2_EXTRA)
            & for_clr20(R_26_5_AWARDED,R_26_8_10_COMMA_POINTS) ) ) ).


n26_a_thrust n26_a_thrust_4 An n26_a_thrust_7 extra n26_a_thrust_9 spaceship n26_a_thrust_11 is n26_a_thrust_14 * n26_a_thrust_16 awarded n26_a_thrust_19 for n26_a_thrust_22 every n26_a_thrust_24 10,000 n26_a_thrust_26 points n26_a_thrust_29 * n26_a_thrust_31 scored n26_a_thrust_33 . n26_a_thrust_1 IP-MAT n26_a_thrust_2 NP-SBJ n26_a_thrust_1->n26_a_thrust_2 n26_a_thrust_10 BEP;_cat_VePASS_ n26_a_thrust_1->n26_a_thrust_10 n26_a_thrust_12 IP-PPL-CAT n26_a_thrust_1->n26_a_thrust_12 n26_a_thrust_32 PUNC n26_a_thrust_1->n26_a_thrust_32 n26_a_thrust_3 D n26_a_thrust_2->n26_a_thrust_3 n26_a_thrust_5 ADJP n26_a_thrust_2->n26_a_thrust_5 n26_a_thrust_8 N n26_a_thrust_2->n26_a_thrust_8 n26_a_thrust_3->n26_a_thrust_4 n26_a_thrust_6 ADJ n26_a_thrust_5->n26_a_thrust_6 n26_a_thrust_6->n26_a_thrust_7 n26_a_thrust_8->n26_a_thrust_9 n26_a_thrust_10->n26_a_thrust_11 n26_a_thrust_13 NP-LGS n26_a_thrust_12->n26_a_thrust_13 n26_a_thrust_15 VVN;_Tn.pr_ n26_a_thrust_12->n26_a_thrust_15 n26_a_thrust_17 PP-CLR n26_a_thrust_12->n26_a_thrust_17 n26_a_thrust_13->n26_a_thrust_14 n26_a_thrust_15->n26_a_thrust_16 n26_a_thrust_18 P-ROLE n26_a_thrust_17->n26_a_thrust_18 n26_a_thrust_20 NP n26_a_thrust_17->n26_a_thrust_20 n26_a_thrust_18->n26_a_thrust_19 n26_a_thrust_21 Q n26_a_thrust_20->n26_a_thrust_21 n26_a_thrust_23 NUM n26_a_thrust_20->n26_a_thrust_23 n26_a_thrust_25 NS n26_a_thrust_20->n26_a_thrust_25 n26_a_thrust_27 IP-PPL n26_a_thrust_20->n26_a_thrust_27 n26_a_thrust_21->n26_a_thrust_22 n26_a_thrust_23->n26_a_thrust_24 n26_a_thrust_25->n26_a_thrust_26 n26_a_thrust_28 NP-LGS n26_a_thrust_27->n26_a_thrust_28 n26_a_thrust_30 VVN;_Tn_ n26_a_thrust_27->n26_a_thrust_30 n26_a_thrust_28->n26_a_thrust_29 n26_a_thrust_30->n26_a_thrust_31 n26_a_thrust_32->n26_a_thrust_33 
( (IP-MAT (NP-SBJ (D An;{an})
                  (ADJP (ADJ extra;{extra}))
                  (N spaceship;{spaceship}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ awarded;{award[for]})
                      (PP-CLR (P-ROLE for;{for})
                              (NP (Q every;{every})
                                  (NUM 10,000)
                                  (NS points;{point})
                                  (IP-PPL (NP-LGS *)
                                          (VVN;_Tn_ scored;{score})))))
          (PUNC .))
  (ID 26_a_thrust))