8_a_planetoid
If you don't rescue a life - form before the raider carrying him reaches the top of the screen, the raider will mutate.
( (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))
arc(r_0008_0001__If,r_0008_0010__before,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_0003__do_r_0008_0005__rescue,keep_scope).
arc(r_0008_0010__before,r_0008_0004__n_apos_t,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,inv_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_0011__the_r_0008_0012__raider,arg0).
fof(formula,axiom,
! [R_0008_0010__BEFORE,R_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM,R_0008_0013__CARRYING,R_0008_0011__THE_R_0008_0012__RAIDER,R_0008_0019__THE_R_0008_0020__SCREEN,R_0008_0016__THE_R_0008_0017__TOP,R_0008_0015__REACHES] :
( ( r_0008_0006__a_r_0008_0007__life_r_0008_0009__form(R_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM)
& r_0008_0019__the_r_0008_0020__screen(R_0008_0019__THE_R_0008_0020__SCREEN)
& r_0008_0010__before(R_0008_0010__BEFORE)
& has_conj1(R_0008_0010__BEFORE,R_0008_0015__REACHES)
& r_0008_0015__reaches(R_0008_0015__REACHES)
& has_arg1(R_0008_0015__REACHES,R_0008_0016__THE_R_0008_0017__TOP)
& r_0008_0016__the_r_0008_0017__top(R_0008_0016__THE_R_0008_0017__TOP)
& has_r_0008_0018__of(R_0008_0016__THE_R_0008_0017__TOP,R_0008_0019__THE_R_0008_0020__SCREEN)
& has_arg0(R_0008_0015__REACHES,R_0008_0011__THE_R_0008_0012__RAIDER)
& r_0008_0011__the_r_0008_0012__raider(R_0008_0011__THE_R_0008_0012__RAIDER)
& has_inv_arg0(R_0008_0011__THE_R_0008_0012__RAIDER,R_0008_0013__CARRYING)
& r_0008_0013__carrying(R_0008_0013__CARRYING)
& has_arg1(R_0008_0013__CARRYING,R_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM)
& has_conj2(R_0008_0010__BEFORE,R_0008_0004__N_APOS_T)
& ~ ? [R_0008_0002__YOU,R_0008_0003__DO_R_0008_0005__RESCUE] :
( r_0008_0002__you(R_0008_0002__YOU)
& r_0008_0003__do_r_0008_0005__rescue(R_0008_0003__DO_R_0008_0005__RESCUE)
& has_arg1(R_0008_0003__DO_R_0008_0005__RESCUE,R_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM)
& has_arg0(R_0008_0003__DO_R_0008_0005__RESCUE,R_0008_0002__YOU) ) )
=> ? [R_0008_0024__WILL_R_0008_0025__MUTATE] :
( r_0008_0024__will_r_0008_0025__mutate(R_0008_0024__WILL_R_0008_0025__MUTATE)
& has_arg0(R_0008_0024__WILL_R_0008_0025__MUTATE,R_0008_0011__THE_R_0008_0012__RAIDER) ) ) ).