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_0004__is is r_0026_0007__every_quant every [quant] r_0026_0004__is->r_0026_0007__every_quant [keep_scope] r_0026_0010__scored scored r_0026_0007__every_quant->r_0026_0010__scored [restriction] r_0026_0005__awarded awarded r_0026_0007__every_quant->r_0026_0005__awarded [scope] z_000_26_a_thrust_28 r_0026_0010__scored->z_000_26_a_thrust_28 [arg0] r_0026_0008__10_comma_000_r_0026_0009__points 10,000 points r_0026_0010__scored->r_0026_0008__10_comma_000_r_0026_0009__points [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_0001__An_r_0026_0003__spaceship An spaceship r_0026_0005__awarded->r_0026_0001__An_r_0026_0003__spaceship [arg1] r_0026_0002__extra extra r_0026_0001__An_r_0026_0003__spaceship->r_0026_0002__extra [attrib] 
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__1_1_1_1 An n26_a_thrust__1_1_2_1_1 extra n26_a_thrust__1_1_3_1 spaceship n26_a_thrust__1_2_1 is n26_a_thrust__1_3_1_1 * n26_a_thrust__1_3_2_1 awarded n26_a_thrust__1_3_3_1_1 for n26_a_thrust__1_3_3_2_1_1 every n26_a_thrust__1_3_3_2_2_1 10,000 n26_a_thrust__1_3_3_2_3_1 points n26_a_thrust__1_3_3_2_4_1_1 * n26_a_thrust__1_3_3_2_4_2_1 scored n26_a_thrust__1_4_1 . n26_a_thrust__1 IP-MAT n26_a_thrust__1_1 NP-SBJ n26_a_thrust__1->n26_a_thrust__1_1 n26_a_thrust__1_2 BEP;_cat_VePASS_ n26_a_thrust__1->n26_a_thrust__1_2 n26_a_thrust__1_3 IP-PPL-CAT n26_a_thrust__1->n26_a_thrust__1_3 n26_a_thrust__1_4 PUNC n26_a_thrust__1->n26_a_thrust__1_4 n26_a_thrust__1_1_1 D n26_a_thrust__1_1->n26_a_thrust__1_1_1 n26_a_thrust__1_1_2 ADJP n26_a_thrust__1_1->n26_a_thrust__1_1_2 n26_a_thrust__1_1_3 N n26_a_thrust__1_1->n26_a_thrust__1_1_3 n26_a_thrust__1_1_1->n26_a_thrust__1_1_1_1 n26_a_thrust__1_1_2_1 ADJ n26_a_thrust__1_1_2->n26_a_thrust__1_1_2_1 n26_a_thrust__1_1_2_1->n26_a_thrust__1_1_2_1_1 n26_a_thrust__1_1_3->n26_a_thrust__1_1_3_1 n26_a_thrust__1_2->n26_a_thrust__1_2_1 n26_a_thrust__1_3_1 NP-LGS n26_a_thrust__1_3->n26_a_thrust__1_3_1 n26_a_thrust__1_3_2 VVN;_Tn.pr_ n26_a_thrust__1_3->n26_a_thrust__1_3_2 n26_a_thrust__1_3_3 PP-CLR n26_a_thrust__1_3->n26_a_thrust__1_3_3 n26_a_thrust__1_3_1->n26_a_thrust__1_3_1_1 n26_a_thrust__1_3_2->n26_a_thrust__1_3_2_1 n26_a_thrust__1_3_3_1 P-ROLE n26_a_thrust__1_3_3->n26_a_thrust__1_3_3_1 n26_a_thrust__1_3_3_2 NP n26_a_thrust__1_3_3->n26_a_thrust__1_3_3_2 n26_a_thrust__1_3_3_1->n26_a_thrust__1_3_3_1_1 n26_a_thrust__1_3_3_2_1 Q n26_a_thrust__1_3_3_2->n26_a_thrust__1_3_3_2_1 n26_a_thrust__1_3_3_2_2 NUM n26_a_thrust__1_3_3_2->n26_a_thrust__1_3_3_2_2 n26_a_thrust__1_3_3_2_3 NS n26_a_thrust__1_3_3_2->n26_a_thrust__1_3_3_2_3 n26_a_thrust__1_3_3_2_4 IP-PPL n26_a_thrust__1_3_3_2->n26_a_thrust__1_3_3_2_4 n26_a_thrust__1_3_3_2_1->n26_a_thrust__1_3_3_2_1_1 n26_a_thrust__1_3_3_2_2->n26_a_thrust__1_3_3_2_2_1 n26_a_thrust__1_3_3_2_3->n26_a_thrust__1_3_3_2_3_1 n26_a_thrust__1_3_3_2_4_1 NP-LGS n26_a_thrust__1_3_3_2_4->n26_a_thrust__1_3_3_2_4_1 n26_a_thrust__1_3_3_2_4_2 VVN;_Tn_ n26_a_thrust__1_3_3_2_4->n26_a_thrust__1_3_3_2_4_2 n26_a_thrust__1_3_3_2_4_1->n26_a_thrust__1_3_3_2_4_1_1 n26_a_thrust__1_3_3_2_4_2->n26_a_thrust__1_3_3_2_4_2_1 n26_a_thrust__1_4->n26_a_thrust__1_4_1 
( (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))