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_0011__mission mission 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_0011__mission [restriction] r_0008_0002__receive receive r_0008_0009__each_quant->r_0008_0002__receive [scope] 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_0003__a_r_0008_0004__bonus a bonus r_0008_0002__receive->r_0008_0003__a_r_0008_0004__bonus [arg1] r_0008_0001__You You r_0008_0002__receive->r_0008_0001__You [arg0] r_0008_0006__the_r_0008_0007__end->r_0008_0011__mission of 
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__1_1_1_1 You n8_a_thrust__1_2_1 receive n8_a_thrust__1_3_1_1 a n8_a_thrust__1_3_2_1 bonus n8_a_thrust__1_4_1_1 at n8_a_thrust__1_4_2_1_1 the n8_a_thrust__1_4_2_2_1 end n8_a_thrust__1_4_2_3_1_1 of n8_a_thrust__1_4_2_3_2_1_1 each n8_a_thrust__1_4_2_3_2_2_1_1 successful n8_a_thrust__1_4_2_3_2_3_1 mission n8_a_thrust__1_5_1 . n8_a_thrust__1 IP-MAT n8_a_thrust__1_1 NP-SBJ n8_a_thrust__1->n8_a_thrust__1_1 n8_a_thrust__1_2 VBP;_Tn_ n8_a_thrust__1->n8_a_thrust__1_2 n8_a_thrust__1_3 NP-OB1 n8_a_thrust__1->n8_a_thrust__1_3 n8_a_thrust__1_4 PP-NIM n8_a_thrust__1->n8_a_thrust__1_4 n8_a_thrust__1_5 PUNC n8_a_thrust__1->n8_a_thrust__1_5 n8_a_thrust__1_1_1 PRO n8_a_thrust__1_1->n8_a_thrust__1_1_1 n8_a_thrust__1_1_1->n8_a_thrust__1_1_1_1 n8_a_thrust__1_2->n8_a_thrust__1_2_1 n8_a_thrust__1_3_1 D n8_a_thrust__1_3->n8_a_thrust__1_3_1 n8_a_thrust__1_3_2 N n8_a_thrust__1_3->n8_a_thrust__1_3_2 n8_a_thrust__1_3_1->n8_a_thrust__1_3_1_1 n8_a_thrust__1_3_2->n8_a_thrust__1_3_2_1 n8_a_thrust__1_4_1 P-ROLE n8_a_thrust__1_4->n8_a_thrust__1_4_1 n8_a_thrust__1_4_2 NP n8_a_thrust__1_4->n8_a_thrust__1_4_2 n8_a_thrust__1_4_1->n8_a_thrust__1_4_1_1 n8_a_thrust__1_4_2_1 D n8_a_thrust__1_4_2->n8_a_thrust__1_4_2_1 n8_a_thrust__1_4_2_2 N n8_a_thrust__1_4_2->n8_a_thrust__1_4_2_2 n8_a_thrust__1_4_2_3 PP n8_a_thrust__1_4_2->n8_a_thrust__1_4_2_3 n8_a_thrust__1_4_2_1->n8_a_thrust__1_4_2_1_1 n8_a_thrust__1_4_2_2->n8_a_thrust__1_4_2_2_1 n8_a_thrust__1_4_2_3_1 P-ROLE n8_a_thrust__1_4_2_3->n8_a_thrust__1_4_2_3_1 n8_a_thrust__1_4_2_3_2 NP n8_a_thrust__1_4_2_3->n8_a_thrust__1_4_2_3_2 n8_a_thrust__1_4_2_3_1->n8_a_thrust__1_4_2_3_1_1 n8_a_thrust__1_4_2_3_2_1 Q n8_a_thrust__1_4_2_3_2->n8_a_thrust__1_4_2_3_2_1 n8_a_thrust__1_4_2_3_2_2 ADJP n8_a_thrust__1_4_2_3_2->n8_a_thrust__1_4_2_3_2_2 n8_a_thrust__1_4_2_3_2_3 N n8_a_thrust__1_4_2_3_2->n8_a_thrust__1_4_2_3_2_3 n8_a_thrust__1_4_2_3_2_1->n8_a_thrust__1_4_2_3_2_1_1 n8_a_thrust__1_4_2_3_2_2_1 ADJ n8_a_thrust__1_4_2_3_2_2->n8_a_thrust__1_4_2_3_2_2_1 n8_a_thrust__1_4_2_3_2_2_1->n8_a_thrust__1_4_2_3_2_2_1_1 n8_a_thrust__1_4_2_3_2_3->n8_a_thrust__1_4_2_3_2_3_1 n8_a_thrust__1_5->n8_a_thrust__1_5_1 
( (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))