( (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))

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__nim).
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,attrib).

fof(formula,axiom,
    ! [R_0008_0011__MISSION,R_0008_0010__SUCCESSFUL] :
      ( ( r_0008_0010__successful(R_0008_0010__SUCCESSFUL)
        & r_0008_0011__mission(R_0008_0011__MISSION)
        & has_attrib(R_0008_0011__MISSION,R_0008_0010__SUCCESSFUL) )
     => ? [R_0008_0001__YOU,R_0008_0003__A_R_0008_0004__BONUS,R_0008_0006__THE_R_0008_0007__END,R_0008_0002__RECEIVE] :
          ( r_0008_0001__You(R_0008_0001__YOU)
          & r_0008_0003__a_r_0008_0004__bonus(R_0008_0003__A_R_0008_0004__BONUS)
          & r_0008_0002__receive(R_0008_0002__RECEIVE)
          & has_r_0008_0005__at__nim(R_0008_0002__RECEIVE,R_0008_0006__THE_R_0008_0007__END)
          & r_0008_0006__the_r_0008_0007__end(R_0008_0006__THE_R_0008_0007__END)
          & has_r_0008_0008__of(R_0008_0006__THE_R_0008_0007__END,R_0008_0011__MISSION)
          & has_arg1(R_0008_0002__RECEIVE,R_0008_0003__A_R_0008_0004__BONUS)
          & has_arg0(R_0008_0002__RECEIVE,R_0008_0001__YOU) ) ) ).