7_a_planetoid
Having annihilated the raider, you can intercept the plummetting life - form and set him safely back down on the surface.
( (IP-MAT (PP-SCON (IP-PPL2 (HAG;_cat_Ve_ Having;{have})
(IP-PPL-CAT (VVN;_Tn_ annihilated;{annihilate})
(NP-OB1;{RAIDER} (D the;{the})
(N raider;{raider})))))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (ILYR (ILYR (VB;_Tn_ intercept;{intercept})
(NP-OB1;{LIFE_FORM1} (D the;{the})
(IP-PPL (VAG;_I_ plummetting;{plummet}))
(N life;{life})
(PUNC <hyphen>)
(N form;{form})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tn.p_ set;{set[down]})
(NP-OB1;{LIFE_FORM1} (PRO him;{he}))
(ADVP-NIM (ADV safely;{safely}))
(ADVP-CLR (ADVP (ADV back;{back}))
(ADV down;{down}))
(PP-NIM (P-ROLE on;{on})
(NP (D the;{the})
(N surface;{surface})))))))
(PUNC .))
(ID 7_a_planetoid))
arc(r_0007_0001__Having,r_0007_0002__annihilated,scope).
arc(r_0007_0002__annihilated,r_0007_0003__the_r_0007_0004__raider,arg1).
arc(r_0007_0002__annihilated,r_0007_0006__you,arg0).
arc(r_0007_0007__can,r_0007_0014__and,scope).
arc(r_0007_0008__intercept,r_0007_0006__you,arg0).
arc(r_0007_0008__intercept,r_0007_0009__the_r_0007_0011__life_r_0007_0013__form,arg1).
arc(r_0007_0010__plummetting,r_0007_0009__the_r_0007_0011__life_r_0007_0013__form,inv_arg0).
arc(r_0007_0014__and,r_0007_0008__intercept,conj1).
arc(r_0007_0014__and,r_0007_0015__set,conj2).
arc(r_0007_0015__set,r_0007_0006__you,arg0).
arc(r_0007_0015__set,r_0007_0009__the_r_0007_0011__life_r_0007_0013__form,arg1).
arc(r_0007_0015__set,r_0007_0017__safely,nim).
arc(r_0007_0015__set,r_0007_0019__down,clr).
arc(r_0007_0015__set,r_0007_0021__the_r_0007_0022__surface,r_0007_0020__on__nim).
arc(r_0007_0019__down,r_0007_0018__back,qual).
arc(z_0007_5001,r_0007_0001__Having,restriction).
arc(z_0007_5001,r_0007_0007__can,scope).
fof(formula,axiom,
? [R_0007_0003__THE_R_0007_0004__RAIDER,R_0007_0006__YOU,R_0007_0001__HAVING_R_0007_0002__ANNIHILATED,R_0007_0010__PLUMMETTING,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM,R_0007_0008__INTERCEPT,R_0007_0017__SAFELY,R_0007_0018__BACK,R_0007_0019__DOWN,R_0007_0021__THE_R_0007_0022__SURFACE,R_0007_0015__SET,R_0007_0014__AND,R_0007_0007__CAN,Z_0007_5001] :
( r_0007_0003__the_r_0007_0004__raider(R_0007_0003__THE_R_0007_0004__RAIDER)
& r_0007_0006__you(R_0007_0006__YOU)
& r_0007_0010__plummetting(R_0007_0010__PLUMMETTING)
& r_0007_0017__safely(R_0007_0017__SAFELY)
& r_0007_0018__back(R_0007_0018__BACK)
& r_0007_0021__the_r_0007_0022__surface(R_0007_0021__THE_R_0007_0022__SURFACE)
& z_0007_5001(Z_0007_5001)
& has_conj2(Z_0007_5001,R_0007_0007__CAN)
& r_0007_0007__can(R_0007_0007__CAN)
& has_keep_scope(R_0007_0007__CAN,R_0007_0014__AND)
& r_0007_0014__and(R_0007_0014__AND)
& has_conj2(R_0007_0014__AND,R_0007_0015__SET)
& r_0007_0015__set(R_0007_0015__SET)
& has_r_0007_0020__on__nim(R_0007_0015__SET,R_0007_0021__THE_R_0007_0022__SURFACE)
& has_clr(R_0007_0015__SET,R_0007_0019__DOWN)
& r_0007_0019__down(R_0007_0019__DOWN)
& has_qual(R_0007_0019__DOWN,R_0007_0018__BACK)
& has_nim(R_0007_0015__SET,R_0007_0017__SAFELY)
& has_arg1(R_0007_0015__SET,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM)
& r_0007_0009__the_r_0007_0011__life_r_0007_0013__form(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM)
& has_inv_arg0(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM,R_0007_0010__PLUMMETTING)
& has_arg0(R_0007_0015__SET,R_0007_0006__YOU)
& has_conj1(R_0007_0014__AND,R_0007_0008__INTERCEPT)
& r_0007_0008__intercept(R_0007_0008__INTERCEPT)
& has_arg1(R_0007_0008__INTERCEPT,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM)
& has_arg0(R_0007_0008__INTERCEPT,R_0007_0006__YOU)
& has_conj1(Z_0007_5001,R_0007_0001__HAVING_R_0007_0002__ANNIHILATED)
& r_0007_0001__Having_r_0007_0002__annihilated(R_0007_0001__HAVING_R_0007_0002__ANNIHILATED)
& has_arg0(R_0007_0001__HAVING_R_0007_0002__ANNIHILATED,R_0007_0006__YOU)
& has_arg1(R_0007_0001__HAVING_R_0007_0002__ANNIHILATED,R_0007_0003__THE_R_0007_0004__RAIDER) ) ).