Context                Previous, Next                Top


8_a_thrust
You receive a bonus at the end of each successful mission.

%3 r_0008_0002__receive receive r_0008_0001__You You r_0008_0002__receive->r_0008_0001__You [arg0] r_0008_0003__a_r_0008_0004__bonus a bonus r_0008_0002__receive->r_0008_0003__a_r_0008_0004__bonus [arg1] r_0008_0006__the_r_0008_0007__end the end r_0008_0002__receive->r_0008_0006__the_r_0008_0007__end at [nim] r_0008_0011__mission mission r_0008_0006__the_r_0008_0007__end->r_0008_0011__mission of r_0008_0010__successful successful r_0008_0011__mission->r_0008_0010__successful [attrib] r_0008_0009__each_quant each [quant] r_0008_0009__each_quant->r_0008_0006__the_r_0008_0007__end [scope] r_0008_0009__each_quant->r_0008_0011__mission [restriction] 
arc(r_0008_0002__receive, r_0008_0001__You, arg0).
arc(r_0008_0002__receive, r_0008_0003__a_r_0008_0004__bonus, arg1).
arc(r_0008_0002__receive, r_0008_0006__the_r_0008_0007__end, r_0008_0005__at_nim15).
arc(r_0008_0006__the_r_0008_0007__end, r_0008_0011__mission, r_0008_0008__of).
arc(r_0008_0009__each_quant, r_0008_0006__the_r_0008_0007__end, scope).
arc(r_0008_0009__each_quant, r_0008_0011__mission, restriction).
arc(r_0008_0011__mission, r_0008_0010__successful, attrib26).


%3 r_0008_0002__receive receive r_0008_0001__You You r_0008_0002__receive->r_0008_0001__You [arg0] r_0008_0003__a_r_0008_0004__bonus a bonus r_0008_0002__receive->r_0008_0003__a_r_0008_0004__bonus [arg1] r_0008_0006__the_r_0008_0007__end the end r_0008_0002__receive->r_0008_0006__the_r_0008_0007__end at [nim] r_0008_0011__mission mission r_0008_0006__the_r_0008_0007__end->r_0008_0011__mission of r_0008_0010__successful successful r_0008_0011__mission->r_0008_0010__successful [attrib] r_0008_0009__each_quant each [quant] r_0008_0009__each_quant->r_0008_0002__receive [scope] r_0008_0009__each_quant->r_0008_0011__mission [restriction] 
fof(formula,axiom,
    ! [R_8_11_MISSION,R_8_10_SUCCESSFUL] :
      ( ( successful(R_8_10_SUCCESSFUL)
        & mission(R_8_11_MISSION)
        & attrib26(R_8_11_MISSION,R_8_10_SUCCESSFUL) )
     => ? [R_8_2_RECEIVE,R_8_1_YOU,R_8_3_A_BONUS,R_8_6_THE_END] :
          ( you(R_8_1_YOU)
          & a_bonus(R_8_3_A_BONUS)
          & receive(R_8_2_RECEIVE,R_8_1_YOU,R_8_3_A_BONUS)
          & at_nim15(R_8_2_RECEIVE,R_8_6_THE_END)
          & the_end(R_8_6_THE_END)
          & of(R_8_6_THE_END,R_8_11_MISSION) ) ) ).


n8_a_thrust n8_a_thrust_4 You n8_a_thrust_6 receive n8_a_thrust_9 a n8_a_thrust_11 bonus n8_a_thrust_14 at n8_a_thrust_17 the n8_a_thrust_19 end n8_a_thrust_22 of n8_a_thrust_25 each n8_a_thrust_28 successful n8_a_thrust_30 mission n8_a_thrust_32 . n8_a_thrust_1 IP-MAT n8_a_thrust_2 NP-SBJ n8_a_thrust_1->n8_a_thrust_2 n8_a_thrust_5 VBP;_Tn_ n8_a_thrust_1->n8_a_thrust_5 n8_a_thrust_7 NP-OB1 n8_a_thrust_1->n8_a_thrust_7 n8_a_thrust_12 PP-NIM n8_a_thrust_1->n8_a_thrust_12 n8_a_thrust_31 PUNC n8_a_thrust_1->n8_a_thrust_31 n8_a_thrust_3 PRO n8_a_thrust_2->n8_a_thrust_3 n8_a_thrust_3->n8_a_thrust_4 n8_a_thrust_5->n8_a_thrust_6 n8_a_thrust_8 D n8_a_thrust_7->n8_a_thrust_8 n8_a_thrust_10 N n8_a_thrust_7->n8_a_thrust_10 n8_a_thrust_8->n8_a_thrust_9 n8_a_thrust_10->n8_a_thrust_11 n8_a_thrust_13 P-ROLE n8_a_thrust_12->n8_a_thrust_13 n8_a_thrust_15 NP n8_a_thrust_12->n8_a_thrust_15 n8_a_thrust_13->n8_a_thrust_14 n8_a_thrust_16 D n8_a_thrust_15->n8_a_thrust_16 n8_a_thrust_18 N n8_a_thrust_15->n8_a_thrust_18 n8_a_thrust_20 PP n8_a_thrust_15->n8_a_thrust_20 n8_a_thrust_16->n8_a_thrust_17 n8_a_thrust_18->n8_a_thrust_19 n8_a_thrust_21 P-ROLE n8_a_thrust_20->n8_a_thrust_21 n8_a_thrust_23 NP n8_a_thrust_20->n8_a_thrust_23 n8_a_thrust_21->n8_a_thrust_22 n8_a_thrust_24 Q n8_a_thrust_23->n8_a_thrust_24 n8_a_thrust_26 ADJP n8_a_thrust_23->n8_a_thrust_26 n8_a_thrust_29 N n8_a_thrust_23->n8_a_thrust_29 n8_a_thrust_24->n8_a_thrust_25 n8_a_thrust_27 ADJ n8_a_thrust_26->n8_a_thrust_27 n8_a_thrust_27->n8_a_thrust_28 n8_a_thrust_29->n8_a_thrust_30 n8_a_thrust_31->n8_a_thrust_32 
( (IP-MAT (NP-SBJ;{PLAYER} (PRO You;{you}))
          (VBP;_Tn_ receive;{receive})
          (NP-OB1 (D a;{a})
                  (N bonus;{bonus}))
          (PP-NIM (P-ROLE at;{at})
                  (NP (D the;{the})
                      (N end;{end})
                      (PP (P-ROLE of;{of})
                          (NP (Q each;{each})
                              (ADJP (ADJ successful;{successful}))
                              (N mission;{mission})))))
          (PUNC .))
  (ID 8_a_thrust))