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.
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_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM,R_0008_0011__THE_R_0008_0012__RAIDER,R_0008_0013__CARRYING] :
( 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_0011__the_r_0008_0012__raider(R_0008_0011__THE_R_0008_0012__RAIDER)
& r_0008_0013__carrying(R_0008_0013__CARRYING)
& has_arg0(R_0008_0013__CARRYING,R_0008_0011__THE_R_0008_0012__RAIDER)
& has_arg1(R_0008_0013__CARRYING,R_0008_0006__A_R_0008_0007__LIFE_R_0008_0009__FORM)
& ! [R_0008_0004__N_APOS_T] :
( ~ ? [R_0008_0002__YOU,R_0008_0003__DO_R_0008_0005__RESCUE,R_0008_0019__THE_R_0008_0020__SCREEN,R_0008_0016__THE_R_0008_0017__TOP,R_0008_0015__REACHES,R_0008_0010__BEFORE] :
( r_0008_0002__you(R_0008_0002__YOU)
& 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)
& has_conj2(R_0008_0010__BEFORE,R_0008_0003__DO_R_0008_0005__RESCUE)
& 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_0022__THE_R_0008_0023__RAIDER,R_0008_0024__WILL_R_0008_0025__MUTATE] :
( r_0008_0022__the_r_0008_0023__raider(R_0008_0022__THE_R_0008_0023__RAIDER)
& 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_0022__THE_R_0008_0023__RAIDER) ) ) ) ).
( (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))