Context                Previous, Next                Top


7_a_planetoid
Having annihilated the raider, you can intercept the plummetting life - form and set him safely back down on the surface.

%3 r_0007_0001__Having Having r_0007_0002__annihilated annihilated r_0007_0001__Having->r_0007_0002__annihilated [scope] r_0007_0003__the_r_0007_0004__raider the raider r_0007_0002__annihilated->r_0007_0003__the_r_0007_0004__raider [arg1] r_0007_0006__you you r_0007_0002__annihilated->r_0007_0006__you [arg0] r_0007_0007__can can r_0007_0014__and and r_0007_0007__can->r_0007_0014__and [scope] r_0007_0008__intercept intercept r_0007_0014__and->r_0007_0008__intercept [conj1] r_0007_0015__set set r_0007_0014__and->r_0007_0015__set [conj2] r_0007_0008__intercept->r_0007_0006__you [arg0] r_0007_0009__the_r_0007_0011__life_r_0007_0013__form the life form r_0007_0008__intercept->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg1] r_0007_0010__plummetting plummetting r_0007_0010__plummetting->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg0] r_0007_0015__set->r_0007_0006__you [arg0] r_0007_0015__set->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg1] r_0007_0017__safely safely r_0007_0015__set->r_0007_0017__safely [nim] r_0007_0019__down down r_0007_0015__set->r_0007_0019__down [clr] r_0007_0021__the_r_0007_0022__surface the surface r_0007_0015__set->r_0007_0021__the_r_0007_0022__surface on [nim] r_0007_0018__back back r_0007_0019__down->r_0007_0018__back [qual] z_000_7_a_planetoid_2 z_000_7_a_planetoid_2->r_0007_0001__Having [restriction] z_000_7_a_planetoid_2->r_0007_0007__can [scope] 
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).


%3 r_0007_0007__can can r_0007_0014__and and r_0007_0007__can->r_0007_0014__and [keep_scope] r_0007_0015__set set r_0007_0014__and->r_0007_0015__set [conj2] r_0007_0008__intercept intercept r_0007_0014__and->r_0007_0008__intercept [conj1] z_000_7_a_planetoid_2 z_000_7_a_planetoid_2->r_0007_0007__can [conj2] r_0007_0001__Having_r_0007_0002__annihilated Having annihilated z_000_7_a_planetoid_2->r_0007_0001__Having_r_0007_0002__annihilated [conj1] r_0007_0006__you you r_0007_0001__Having_r_0007_0002__annihilated->r_0007_0006__you [arg0] r_0007_0003__the_r_0007_0004__raider the raider r_0007_0001__Having_r_0007_0002__annihilated->r_0007_0003__the_r_0007_0004__raider [arg1] r_0007_0019__down down r_0007_0018__back back r_0007_0019__down->r_0007_0018__back [qual] r_0007_0015__set->r_0007_0019__down [clr] r_0007_0021__the_r_0007_0022__surface the surface r_0007_0015__set->r_0007_0021__the_r_0007_0022__surface on [nim] r_0007_0017__safely safely r_0007_0015__set->r_0007_0017__safely [nim] r_0007_0009__the_r_0007_0011__life_r_0007_0013__form the life form r_0007_0015__set->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg1] r_0007_0015__set->r_0007_0006__you [arg0] r_0007_0008__intercept->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg1] r_0007_0008__intercept->r_0007_0006__you [arg0] r_0007_0010__plummetting plummetting r_0007_0010__plummetting->r_0007_0009__the_r_0007_0011__life_r_0007_0013__form [arg0] 
fof(formula,axiom,
    ? [R_7_10_PLUMMETTING,R_7_9_THE_LIFE_FORM,Z_7_A_PLANETOID_2,R_7_1_HAVING_ANNIHILATED,R_7_6_YOU,R_7_3_THE_RAIDER] :
      ( the_life_form(R_7_9_THE_LIFE_FORM)
      & you(R_7_6_YOU)
      & the_raider(R_7_3_THE_RAIDER)
      & plummetting(R_7_10_PLUMMETTING,R_7_9_THE_LIFE_FORM)
      & z_7_a_planetoid_2(Z_7_A_PLANETOID_2)
      & conj1(Z_7_A_PLANETOID_2,R_7_1_HAVING_ANNIHILATED)
      & having_annihilated(R_7_1_HAVING_ANNIHILATED,R_7_6_YOU,R_7_3_THE_RAIDER)
      & conj2(Z_7_A_PLANETOID_2,R_7_7_CAN)
      & ~ ? [R_7_14_AND,R_7_8_INTERCEPT,R_7_15_SET,R_7_19_DOWN,R_7_18_BACK,R_7_17_SAFELY,R_7_21_THE_SURFACE] :
            ( back(R_7_18_BACK)
            & safely(R_7_17_SAFELY)
            & the_surface(R_7_21_THE_SURFACE)
            & and(R_7_14_AND)
            & conj1(R_7_14_AND,R_7_8_INTERCEPT)
            & intercept(R_7_8_INTERCEPT,R_7_6_YOU,R_7_9_THE_LIFE_FORM)
            & conj2(R_7_14_AND,R_7_15_SET)
            & set(R_7_15_SET,R_7_6_YOU,R_7_9_THE_LIFE_FORM)
            & clr50(R_7_15_SET,R_7_19_DOWN)
            & down(R_7_19_DOWN)
            & qual51(R_7_19_DOWN,R_7_18_BACK)
            & nim47(R_7_15_SET,R_7_17_SAFELY)
            & on_nim59(R_7_15_SET,R_7_21_THE_SURFACE) ) ) ).


n7_a_planetoid n7_a_planetoid__1_1_1_1_1 Having n7_a_planetoid__1_1_1_2_1_1 annihilated n7_a_planetoid__1_1_1_2_2_1_1 the n7_a_planetoid__1_1_1_2_2_2_1 raider n7_a_planetoid__1_2_1 , n7_a_planetoid__1_3_1_1 you n7_a_planetoid__1_4_1 can n7_a_planetoid__1_5_1_1_1_1 intercept n7_a_planetoid__1_5_1_1_2_1_1 the n7_a_planetoid__1_5_1_1_2_2_1_1 plummetting n7_a_planetoid__1_5_1_1_2_3_1 life n7_a_planetoid__1_5_1_1_2_4_1 - n7_a_planetoid__1_5_1_1_2_5_1 form n7_a_planetoid__1_5_1_2_1_1 and n7_a_planetoid__1_5_1_2_2_1_1 set n7_a_planetoid__1_5_1_2_2_2_1_1 him n7_a_planetoid__1_5_1_2_2_3_1_1 safely n7_a_planetoid__1_5_1_2_2_4_1_1_1 back n7_a_planetoid__1_5_1_2_2_4_2_1 down n7_a_planetoid__1_5_1_2_2_5_1_1 on n7_a_planetoid__1_5_1_2_2_5_2_1_1 the n7_a_planetoid__1_5_1_2_2_5_2_2_1 surface n7_a_planetoid__1_6_1 . n7_a_planetoid__1 IP-MAT n7_a_planetoid__1_1 PP-SCON n7_a_planetoid__1->n7_a_planetoid__1_1 n7_a_planetoid__1_2 PUNC n7_a_planetoid__1->n7_a_planetoid__1_2 n7_a_planetoid__1_3 NP-SBJ n7_a_planetoid__1->n7_a_planetoid__1_3 n7_a_planetoid__1_4 MD;_cat_Vi_ n7_a_planetoid__1->n7_a_planetoid__1_4 n7_a_planetoid__1_5 IP-INF-CAT n7_a_planetoid__1->n7_a_planetoid__1_5 n7_a_planetoid__1_6 PUNC n7_a_planetoid__1->n7_a_planetoid__1_6 n7_a_planetoid__1_1_1 IP-PPL2 n7_a_planetoid__1_1->n7_a_planetoid__1_1_1 n7_a_planetoid__1_1_1_1 HAG;_cat_Ve_ n7_a_planetoid__1_1_1->n7_a_planetoid__1_1_1_1 n7_a_planetoid__1_1_1_2 IP-PPL-CAT n7_a_planetoid__1_1_1->n7_a_planetoid__1_1_1_2 n7_a_planetoid__1_1_1_1->n7_a_planetoid__1_1_1_1_1 n7_a_planetoid__1_1_1_2_1 VVN;_Tn_ n7_a_planetoid__1_1_1_2->n7_a_planetoid__1_1_1_2_1 n7_a_planetoid__1_1_1_2_2 NP-OB1 n7_a_planetoid__1_1_1_2->n7_a_planetoid__1_1_1_2_2 n7_a_planetoid__1_1_1_2_1->n7_a_planetoid__1_1_1_2_1_1 n7_a_planetoid__1_1_1_2_2_1 D n7_a_planetoid__1_1_1_2_2->n7_a_planetoid__1_1_1_2_2_1 n7_a_planetoid__1_1_1_2_2_2 N n7_a_planetoid__1_1_1_2_2->n7_a_planetoid__1_1_1_2_2_2 n7_a_planetoid__1_1_1_2_2_1->n7_a_planetoid__1_1_1_2_2_1_1 n7_a_planetoid__1_1_1_2_2_2->n7_a_planetoid__1_1_1_2_2_2_1 n7_a_planetoid__1_2->n7_a_planetoid__1_2_1 n7_a_planetoid__1_3_1 PRO n7_a_planetoid__1_3->n7_a_planetoid__1_3_1 n7_a_planetoid__1_3_1->n7_a_planetoid__1_3_1_1 n7_a_planetoid__1_4->n7_a_planetoid__1_4_1 n7_a_planetoid__1_5_1 ILYR n7_a_planetoid__1_5->n7_a_planetoid__1_5_1 n7_a_planetoid__1_5_1_1 ILYR n7_a_planetoid__1_5_1->n7_a_planetoid__1_5_1_1 n7_a_planetoid__1_5_1_2 CONJP n7_a_planetoid__1_5_1->n7_a_planetoid__1_5_1_2 n7_a_planetoid__1_5_1_1_1 VB;_Tn_ n7_a_planetoid__1_5_1_1->n7_a_planetoid__1_5_1_1_1 n7_a_planetoid__1_5_1_1_2 NP-OB1 n7_a_planetoid__1_5_1_1->n7_a_planetoid__1_5_1_1_2 n7_a_planetoid__1_5_1_1_1->n7_a_planetoid__1_5_1_1_1_1 n7_a_planetoid__1_5_1_1_2_1 D n7_a_planetoid__1_5_1_1_2->n7_a_planetoid__1_5_1_1_2_1 n7_a_planetoid__1_5_1_1_2_2 IP-PPL n7_a_planetoid__1_5_1_1_2->n7_a_planetoid__1_5_1_1_2_2 n7_a_planetoid__1_5_1_1_2_3 N n7_a_planetoid__1_5_1_1_2->n7_a_planetoid__1_5_1_1_2_3 n7_a_planetoid__1_5_1_1_2_4 PUNC n7_a_planetoid__1_5_1_1_2->n7_a_planetoid__1_5_1_1_2_4 n7_a_planetoid__1_5_1_1_2_5 N n7_a_planetoid__1_5_1_1_2->n7_a_planetoid__1_5_1_1_2_5 n7_a_planetoid__1_5_1_1_2_1->n7_a_planetoid__1_5_1_1_2_1_1 n7_a_planetoid__1_5_1_1_2_2_1 VAG;_I_ n7_a_planetoid__1_5_1_1_2_2->n7_a_planetoid__1_5_1_1_2_2_1 n7_a_planetoid__1_5_1_1_2_2_1->n7_a_planetoid__1_5_1_1_2_2_1_1 n7_a_planetoid__1_5_1_1_2_3->n7_a_planetoid__1_5_1_1_2_3_1 n7_a_planetoid__1_5_1_1_2_4->n7_a_planetoid__1_5_1_1_2_4_1 n7_a_planetoid__1_5_1_1_2_5->n7_a_planetoid__1_5_1_1_2_5_1 n7_a_planetoid__1_5_1_2_1 CONJ n7_a_planetoid__1_5_1_2->n7_a_planetoid__1_5_1_2_1 n7_a_planetoid__1_5_1_2_2 ILYR n7_a_planetoid__1_5_1_2->n7_a_planetoid__1_5_1_2_2 n7_a_planetoid__1_5_1_2_1->n7_a_planetoid__1_5_1_2_1_1 n7_a_planetoid__1_5_1_2_2_1 VB;_Tn.p_ n7_a_planetoid__1_5_1_2_2->n7_a_planetoid__1_5_1_2_2_1 n7_a_planetoid__1_5_1_2_2_2 NP-OB1 n7_a_planetoid__1_5_1_2_2->n7_a_planetoid__1_5_1_2_2_2 n7_a_planetoid__1_5_1_2_2_3 ADVP-NIM n7_a_planetoid__1_5_1_2_2->n7_a_planetoid__1_5_1_2_2_3 n7_a_planetoid__1_5_1_2_2_4 ADVP-CLR n7_a_planetoid__1_5_1_2_2->n7_a_planetoid__1_5_1_2_2_4 n7_a_planetoid__1_5_1_2_2_5 PP-NIM n7_a_planetoid__1_5_1_2_2->n7_a_planetoid__1_5_1_2_2_5 n7_a_planetoid__1_5_1_2_2_1->n7_a_planetoid__1_5_1_2_2_1_1 n7_a_planetoid__1_5_1_2_2_2_1 PRO n7_a_planetoid__1_5_1_2_2_2->n7_a_planetoid__1_5_1_2_2_2_1 n7_a_planetoid__1_5_1_2_2_2_1->n7_a_planetoid__1_5_1_2_2_2_1_1 n7_a_planetoid__1_5_1_2_2_3_1 ADV n7_a_planetoid__1_5_1_2_2_3->n7_a_planetoid__1_5_1_2_2_3_1 n7_a_planetoid__1_5_1_2_2_3_1->n7_a_planetoid__1_5_1_2_2_3_1_1 n7_a_planetoid__1_5_1_2_2_4_1 ADVP n7_a_planetoid__1_5_1_2_2_4->n7_a_planetoid__1_5_1_2_2_4_1 n7_a_planetoid__1_5_1_2_2_4_2 ADV n7_a_planetoid__1_5_1_2_2_4->n7_a_planetoid__1_5_1_2_2_4_2 n7_a_planetoid__1_5_1_2_2_4_1_1 ADV n7_a_planetoid__1_5_1_2_2_4_1->n7_a_planetoid__1_5_1_2_2_4_1_1 n7_a_planetoid__1_5_1_2_2_4_1_1->n7_a_planetoid__1_5_1_2_2_4_1_1_1 n7_a_planetoid__1_5_1_2_2_4_2->n7_a_planetoid__1_5_1_2_2_4_2_1 n7_a_planetoid__1_5_1_2_2_5_1 P-ROLE n7_a_planetoid__1_5_1_2_2_5->n7_a_planetoid__1_5_1_2_2_5_1 n7_a_planetoid__1_5_1_2_2_5_2 NP n7_a_planetoid__1_5_1_2_2_5->n7_a_planetoid__1_5_1_2_2_5_2 n7_a_planetoid__1_5_1_2_2_5_1->n7_a_planetoid__1_5_1_2_2_5_1_1 n7_a_planetoid__1_5_1_2_2_5_2_1 D n7_a_planetoid__1_5_1_2_2_5_2->n7_a_planetoid__1_5_1_2_2_5_2_1 n7_a_planetoid__1_5_1_2_2_5_2_2 N n7_a_planetoid__1_5_1_2_2_5_2->n7_a_planetoid__1_5_1_2_2_5_2_2 n7_a_planetoid__1_5_1_2_2_5_2_1->n7_a_planetoid__1_5_1_2_2_5_2_1_1 n7_a_planetoid__1_5_1_2_2_5_2_2->n7_a_planetoid__1_5_1_2_2_5_2_2_1 n7_a_planetoid__1_6->n7_a_planetoid__1_6_1 
( (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))