7_a_planetoid
Having annihilated the raider, you can intercept the plummetting life - form and set him safely back down on the surface.
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, 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, nim47).
arc(r_0007_0015__set, r_0007_0019__down, clr50).
arc(r_0007_0015__set, r_0007_0021__the_r_0007_0022__surface, r_0007_0020__on_nim59).
arc(r_0007_0019__down, r_0007_0018__back, qual51).
arc(z_000_7_a_planetoid_2, r_0007_0001__Having, restriction).
arc(z_000_7_a_planetoid_2, r_0007_0007__can, scope).
fof(formula,axiom,
? [R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM,R_0007_0010__PLUMMETTING,R_0007_0003__THE_R_0007_0004__RAIDER,R_0007_0006__YOU,R_0007_0001__HAVING_R_0007_0002__ANNIHILATED,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_000_7_A_PLANETOID_2] :
( 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_0009__the_r_0007_0011__life_r_0007_0013__form(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM)
& 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_000_7_a_planetoid_2(Z_000_7_A_PLANETOID_2)
& has_conj2(Z_000_7_A_PLANETOID_2,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_nim59(R_0007_0015__SET,R_0007_0021__THE_R_0007_0022__SURFACE)
& has_clr50(R_0007_0015__SET,R_0007_0019__DOWN)
& r_0007_0019__down(R_0007_0019__DOWN)
& has_qual51(R_0007_0019__DOWN,R_0007_0018__BACK)
& has_nim47(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)
& 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_000_7_A_PLANETOID_2,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)
& r_0007_0010__plummetting(R_0007_0010__PLUMMETTING)
& has_arg0(R_0007_0010__PLUMMETTING,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0013__FORM) ) ).
( (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))