arc(r_0008_0001__If, r_0008_0004__n_apos_t, restriction).
arc(r_0008_0001__If, r_0008_0024__will, scope).
arc(r_0008_0003__do_r_0008_0005__rescue, r_0008_0002__you, arg0).
arc(r_0008_0003__do_r_0008_0005__rescue, r_0008_0006__a_r_0008_0007__life_r_0008_0009__form, arg1).
arc(r_0008_0004__n_apos_t, r_0008_0010__before, keep_scope).
arc(r_0008_0010__before, r_0008_0003__do_r_0008_0005__rescue, scope).
arc(r_0008_0010__before, r_0008_0015__reaches, restriction).
arc(r_0008_0013__carrying, r_0008_0006__a_r_0008_0007__life_r_0008_0009__form, arg1).
arc(r_0008_0013__carrying, r_0008_0011__the_r_0008_0012__raider, arg0).
arc(r_0008_0015__reaches, r_0008_0011__the_r_0008_0012__raider, arg0).
arc(r_0008_0015__reaches, r_0008_0016__the_r_0008_0017__top, arg1).
arc(r_0008_0016__the_r_0008_0017__top, r_0008_0019__the_r_0008_0020__screen, r_0008_0018__of).
arc(r_0008_0024__will, r_0008_0025__mutate, scope).
arc(r_0008_0025__mutate, r_0008_0022__the_r_0008_0023__raider, arg0).

fof(formula,axiom,
    ? [R_8_13_CARRYING,R_8_11_THE_RAIDER,R_8_6_A_LIFE_FORM] :
      ( the_raider(R_8_11_THE_RAIDER)
      & a_life_form(R_8_6_A_LIFE_FORM)
      & ( ~ ? [R_8_10_BEFORE,R_8_15_REACHES,R_8_16_THE_TOP,R_8_19_THE_SCREEN,R_8_3_DO_RESCUE,R_8_2_YOU] :
              ( the_screen(R_8_19_THE_SCREEN)
              & you(R_8_2_YOU)
              & before(R_8_10_BEFORE)
              & conj1(R_8_10_BEFORE,R_8_15_REACHES)
              & reaches(R_8_15_REACHES,R_8_11_THE_RAIDER,R_8_16_THE_TOP)
              & the_top(R_8_16_THE_TOP)
              & of(R_8_16_THE_TOP,R_8_19_THE_SCREEN)
              & conj2(R_8_10_BEFORE,R_8_3_DO_RESCUE)
              & do_rescue(R_8_3_DO_RESCUE,R_8_2_YOU,R_8_6_A_LIFE_FORM) )
       => ? [R_8_24_WILL_MUTATE,R_8_22_THE_RAIDER] :
            ( the_raider(R_8_22_THE_RAIDER)
            & will_mutate(R_8_24_WILL_MUTATE,R_8_22_THE_RAIDER) ) )
      & carrying(R_8_13_CARRYING,R_8_11_THE_RAIDER,R_8_6_A_LIFE_FORM) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (DOP do;{do})
                           (NEG;_clitic_;_high_ n<apos>t;{not})
                           (VB;_Tn_ rescue;{rescue})
                           (NP-OB1;{LIFE_FORM} (D a;{a})
                                               (N life;{life})
                                               (PUNC <hyphen>)
                                               (N form;{form}))
                           (PP-SCON (P-CONN before;{before})
                                    (IP-ADV (NP-SBJ;{RAIDER} (D the;{the})
                                                             (N raider;{raider})
                                                             (IP-PPL (VAG;_Tn_ carrying;{carry})
                                                                     (NP-OB1;{LIFE_FORM} (PRO him;{he}))))
                                            (VBP;_Tn_ reaches;{reach})
                                            (NP-OB1 (D the;{the})
                                                    (N top;{top})
                                                    (PP (P-ROLE of;{of})
                                                        (NP;{SCREEN} (D the;{the})
                                                                     (N screen;{screen}))))))))
          (PUNC ,)
          (NP-SBJ;{RAIDER} (D the;{the})
                           (N raider;{raider}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_I_ mutate;{mutate}))
          (PUNC .))
  (ID 8_a_planetoid))