Context                Previous, Next                Top


5_a_planetoid
The raiders can be seen hovering around the surface on the look - out for life - forms, which they can drag off into space.

%3 r_0005_0003__can can r_0005_0004__be be r_0005_0003__can->r_0005_0004__be [scope] r_0005_0005__seen seen r_0005_0004__be->r_0005_0005__seen [scope] r_0005_0001__The_r_0005_0002__raiders The raiders r_0005_0005__seen->r_0005_0001__The_r_0005_0002__raiders [arg2] r_0005_0006__hovering hovering r_0005_0005__seen->r_0005_0006__hovering [arg1] z_000_5_a_planetoid_13 r_0005_0005__seen->z_000_5_a_planetoid_13 [arg0] r_0005_0006__hovering->r_0005_0001__The_r_0005_0002__raiders [arg0] r_0005_0008__the_r_0005_0009__surface the surface r_0005_0006__hovering->r_0005_0008__the_r_0005_0009__surface around [clr] r_0005_0011__the_r_0005_0012__look_r_0005_0014__out the look out r_0005_0006__hovering->r_0005_0011__the_r_0005_0012__look_r_0005_0014__out on [nim] r_0005_0016__life_r_0005_0018__forms life forms r_0005_0011__the_r_0005_0012__look_r_0005_0014__out->r_0005_0016__life_r_0005_0018__forms for r_0005_0022__can can r_0005_0023__drag drag r_0005_0022__can->r_0005_0023__drag [scope] r_0005_0023__drag->r_0005_0001__The_r_0005_0002__raiders [arg0] r_0005_0023__drag->r_0005_0016__life_r_0005_0018__forms [arg1] r_0005_0024__off off r_0005_0023__drag->r_0005_0024__off [clr] r_0005_0026__space space r_0005_0024__off->r_0005_0026__space into 
arc(r_0005_0003__can, r_0005_0004__be, scope).
arc(r_0005_0004__be, r_0005_0005__seen, scope).
arc(r_0005_0005__seen, r_0005_0001__The_r_0005_0002__raiders, arg2).
arc(r_0005_0005__seen, r_0005_0006__hovering, arg1).
arc(r_0005_0005__seen, z_000_5_a_planetoid_13, arg0).
arc(r_0005_0006__hovering, r_0005_0001__The_r_0005_0002__raiders, arg0).
arc(r_0005_0006__hovering, r_0005_0008__the_r_0005_0009__surface, r_0005_0007__around_clr23).
arc(r_0005_0006__hovering, r_0005_0011__the_r_0005_0012__look_r_0005_0014__out, r_0005_0010__on_nim31).
arc(r_0005_0011__the_r_0005_0012__look_r_0005_0014__out, r_0005_0016__life_r_0005_0018__forms, r_0005_0015__for).
arc(r_0005_0022__can, r_0005_0023__drag, scope).
arc(r_0005_0023__drag, r_0005_0001__The_r_0005_0002__raiders, arg0).
arc(r_0005_0023__drag, r_0005_0016__life_r_0005_0018__forms, arg1).
arc(r_0005_0023__drag, r_0005_0024__off, clr66).
arc(r_0005_0024__off, r_0005_0026__space, r_0005_0025__into).


%3 r_0005_0024__off off r_0005_0026__space space r_0005_0024__off->r_0005_0026__space into r_0005_0022__can_r_0005_0023__drag can drag r_0005_0022__can_r_0005_0023__drag->r_0005_0024__off [clr] r_0005_0016__life_r_0005_0018__forms life forms r_0005_0022__can_r_0005_0023__drag->r_0005_0016__life_r_0005_0018__forms [arg1] r_0005_0001__The_r_0005_0002__raiders The raiders r_0005_0022__can_r_0005_0023__drag->r_0005_0001__The_r_0005_0002__raiders [arg0] r_0005_0011__the_r_0005_0012__look_r_0005_0014__out the look out r_0005_0011__the_r_0005_0012__look_r_0005_0014__out->r_0005_0016__life_r_0005_0018__forms for r_0005_0006__hovering hovering r_0005_0006__hovering->r_0005_0001__The_r_0005_0002__raiders [arg0] r_0005_0006__hovering->r_0005_0011__the_r_0005_0012__look_r_0005_0014__out on [nim] r_0005_0008__the_r_0005_0009__surface the surface r_0005_0006__hovering->r_0005_0008__the_r_0005_0009__surface around [clr] r_0005_0003__can_r_0005_0004__be_r_0005_0005__seen can be seen r_0005_0003__can_r_0005_0004__be_r_0005_0005__seen->r_0005_0001__The_r_0005_0002__raiders [arg2] r_0005_0003__can_r_0005_0004__be_r_0005_0005__seen->r_0005_0006__hovering [arg1] z_000_5_a_planetoid_13 r_0005_0003__can_r_0005_0004__be_r_0005_0005__seen->z_000_5_a_planetoid_13 [arg0] 
fof(formula,axiom,
    ? [R_5_3_CAN_BE_SEEN,Z_5_A_PLANETOID_13,R_5_6_HOVERING,R_5_8_THE_SURFACE,R_5_11_THE_LOOK_OUT,R_5_22_CAN_DRAG,R_5_1_THE_RAIDERS,R_5_16_LIFE_FORMS,R_5_24_OFF,R_5_26_SPACE] :
      ( the_surface(R_5_8_THE_SURFACE)
      & the_raiders(R_5_1_THE_RAIDERS)
      & life_forms(R_5_16_LIFE_FORMS)
      & space(R_5_26_SPACE)
      & can_be_seen(R_5_3_CAN_BE_SEEN,Z_5_A_PLANETOID_13,R_5_6_HOVERING,R_5_1_THE_RAIDERS)
      & hovering(R_5_6_HOVERING,R_5_1_THE_RAIDERS)
      & around_clr23(R_5_6_HOVERING,R_5_8_THE_SURFACE)
      & on_nim31(R_5_6_HOVERING,R_5_11_THE_LOOK_OUT)
      & the_look_out(R_5_11_THE_LOOK_OUT)
      & for(R_5_11_THE_LOOK_OUT,R_5_16_LIFE_FORMS)
      & can_drag(R_5_22_CAN_DRAG,R_5_1_THE_RAIDERS,R_5_16_LIFE_FORMS)
      & clr66(R_5_22_CAN_DRAG,R_5_24_OFF)
      & off(R_5_24_OFF)
      & into(R_5_24_OFF,R_5_26_SPACE) ) ).


n5_a_planetoid n5_a_planetoid__1_1_1_1 The n5_a_planetoid__1_1_2_1 raiders n5_a_planetoid__1_2_1 can n5_a_planetoid__1_3_1_1 be n5_a_planetoid__1_3_2_1_1 * n5_a_planetoid__1_3_2_2_1 seen n5_a_planetoid__1_3_2_3_1_1 hovering n5_a_planetoid__1_3_2_3_2_1_1 around n5_a_planetoid__1_3_2_3_2_2_1_1 the n5_a_planetoid__1_3_2_3_2_2_2_1 surface n5_a_planetoid__1_3_2_3_3_1_1 on n5_a_planetoid__1_3_2_3_3_2_1_1 the n5_a_planetoid__1_3_2_3_3_2_2_1 look n5_a_planetoid__1_3_2_3_3_2_3_1 - n5_a_planetoid__1_3_2_3_3_2_4_1 out n5_a_planetoid__1_3_2_3_3_2_5_1_1 for n5_a_planetoid__1_3_2_3_3_2_5_2_1_1 life n5_a_planetoid__1_3_2_3_3_2_5_2_2_1 - n5_a_planetoid__1_3_2_3_3_2_5_2_3_1 forms n5_a_planetoid__1_3_2_3_3_2_5_2_4_1 , n5_a_planetoid__1_3_2_3_3_2_5_2_5_1_1_1 which n5_a_planetoid__1_3_2_3_3_2_5_2_5_2_1_1 they n5_a_planetoid__1_3_2_3_3_2_5_2_5_3_1 can n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_1_1 *ICH*-172 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_2_1 drag n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_1_1 off n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_1_1 into n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2_1_1 space n5_a_planetoid__1_4_1 . n5_a_planetoid__1 IP-MAT n5_a_planetoid__1_1 NP-SBJ n5_a_planetoid__1->n5_a_planetoid__1_1 n5_a_planetoid__1_2 MD;_cat_Vi_ n5_a_planetoid__1->n5_a_planetoid__1_2 n5_a_planetoid__1_3 IP-INF-CAT n5_a_planetoid__1->n5_a_planetoid__1_3 n5_a_planetoid__1_4 PUNC n5_a_planetoid__1->n5_a_planetoid__1_4 n5_a_planetoid__1_1_1 D n5_a_planetoid__1_1->n5_a_planetoid__1_1_1 n5_a_planetoid__1_1_2 NS n5_a_planetoid__1_1->n5_a_planetoid__1_1_2 n5_a_planetoid__1_1_1->n5_a_planetoid__1_1_1_1 n5_a_planetoid__1_1_2->n5_a_planetoid__1_1_2_1 n5_a_planetoid__1_2->n5_a_planetoid__1_2_1 n5_a_planetoid__1_3_1 BE;_cat_VePASS_ n5_a_planetoid__1_3->n5_a_planetoid__1_3_1 n5_a_planetoid__1_3_2 IP-PPL-CAT n5_a_planetoid__1_3->n5_a_planetoid__1_3_2 n5_a_planetoid__1_3_1->n5_a_planetoid__1_3_1_1 n5_a_planetoid__1_3_2_1 NP-LGS n5_a_planetoid__1_3_2->n5_a_planetoid__1_3_2_1 n5_a_planetoid__1_3_2_2 VVN;_Tng_ n5_a_planetoid__1_3_2->n5_a_planetoid__1_3_2_2 n5_a_planetoid__1_3_2_3 IP-PPL-OB1 n5_a_planetoid__1_3_2->n5_a_planetoid__1_3_2_3 n5_a_planetoid__1_3_2_1->n5_a_planetoid__1_3_2_1_1 n5_a_planetoid__1_3_2_2->n5_a_planetoid__1_3_2_2_1 n5_a_planetoid__1_3_2_3_1 VAG;_Ipr_ n5_a_planetoid__1_3_2_3->n5_a_planetoid__1_3_2_3_1 n5_a_planetoid__1_3_2_3_2 PP-CLR n5_a_planetoid__1_3_2_3->n5_a_planetoid__1_3_2_3_2 n5_a_planetoid__1_3_2_3_3 PP-NIM n5_a_planetoid__1_3_2_3->n5_a_planetoid__1_3_2_3_3 n5_a_planetoid__1_3_2_3_1->n5_a_planetoid__1_3_2_3_1_1 n5_a_planetoid__1_3_2_3_2_1 P-ROLE n5_a_planetoid__1_3_2_3_2->n5_a_planetoid__1_3_2_3_2_1 n5_a_planetoid__1_3_2_3_2_2 NP n5_a_planetoid__1_3_2_3_2->n5_a_planetoid__1_3_2_3_2_2 n5_a_planetoid__1_3_2_3_2_1->n5_a_planetoid__1_3_2_3_2_1_1 n5_a_planetoid__1_3_2_3_2_2_1 D n5_a_planetoid__1_3_2_3_2_2->n5_a_planetoid__1_3_2_3_2_2_1 n5_a_planetoid__1_3_2_3_2_2_2 N n5_a_planetoid__1_3_2_3_2_2->n5_a_planetoid__1_3_2_3_2_2_2 n5_a_planetoid__1_3_2_3_2_2_1->n5_a_planetoid__1_3_2_3_2_2_1_1 n5_a_planetoid__1_3_2_3_2_2_2->n5_a_planetoid__1_3_2_3_2_2_2_1 n5_a_planetoid__1_3_2_3_3_1 P-ROLE n5_a_planetoid__1_3_2_3_3->n5_a_planetoid__1_3_2_3_3_1 n5_a_planetoid__1_3_2_3_3_2 NP n5_a_planetoid__1_3_2_3_3->n5_a_planetoid__1_3_2_3_3_2 n5_a_planetoid__1_3_2_3_3_1->n5_a_planetoid__1_3_2_3_3_1_1 n5_a_planetoid__1_3_2_3_3_2_1 D n5_a_planetoid__1_3_2_3_3_2->n5_a_planetoid__1_3_2_3_3_2_1 n5_a_planetoid__1_3_2_3_3_2_2 N n5_a_planetoid__1_3_2_3_3_2->n5_a_planetoid__1_3_2_3_3_2_2 n5_a_planetoid__1_3_2_3_3_2_3 PUNC n5_a_planetoid__1_3_2_3_3_2->n5_a_planetoid__1_3_2_3_3_2_3 n5_a_planetoid__1_3_2_3_3_2_4 N n5_a_planetoid__1_3_2_3_3_2->n5_a_planetoid__1_3_2_3_3_2_4 n5_a_planetoid__1_3_2_3_3_2_5 PP n5_a_planetoid__1_3_2_3_3_2->n5_a_planetoid__1_3_2_3_3_2_5 n5_a_planetoid__1_3_2_3_3_2_1->n5_a_planetoid__1_3_2_3_3_2_1_1 n5_a_planetoid__1_3_2_3_3_2_2->n5_a_planetoid__1_3_2_3_3_2_2_1 n5_a_planetoid__1_3_2_3_3_2_3->n5_a_planetoid__1_3_2_3_3_2_3_1 n5_a_planetoid__1_3_2_3_3_2_4->n5_a_planetoid__1_3_2_3_3_2_4_1 n5_a_planetoid__1_3_2_3_3_2_5_1 P-ROLE n5_a_planetoid__1_3_2_3_3_2_5->n5_a_planetoid__1_3_2_3_3_2_5_1 n5_a_planetoid__1_3_2_3_3_2_5_2 NP n5_a_planetoid__1_3_2_3_3_2_5->n5_a_planetoid__1_3_2_3_3_2_5_2 n5_a_planetoid__1_3_2_3_3_2_5_1->n5_a_planetoid__1_3_2_3_3_2_5_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_1 N n5_a_planetoid__1_3_2_3_3_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_2 PUNC n5_a_planetoid__1_3_2_3_3_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_2 n5_a_planetoid__1_3_2_3_3_2_5_2_3 NS n5_a_planetoid__1_3_2_3_3_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_3 n5_a_planetoid__1_3_2_3_3_2_5_2_4 PUNC n5_a_planetoid__1_3_2_3_3_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_4 n5_a_planetoid__1_3_2_3_3_2_5_2_5 IP-REL n5_a_planetoid__1_3_2_3_3_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5 n5_a_planetoid__1_3_2_3_3_2_5_2_1->n5_a_planetoid__1_3_2_3_3_2_5_2_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_2->n5_a_planetoid__1_3_2_3_3_2_5_2_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_3->n5_a_planetoid__1_3_2_3_3_2_5_2_3_1 n5_a_planetoid__1_3_2_3_3_2_5_2_4->n5_a_planetoid__1_3_2_3_3_2_5_2_4_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_1 NP-172 n5_a_planetoid__1_3_2_3_3_2_5_2_5->n5_a_planetoid__1_3_2_3_3_2_5_2_5_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_2 NP-SBJ n5_a_planetoid__1_3_2_3_3_2_5_2_5->n5_a_planetoid__1_3_2_3_3_2_5_2_5_2 n5_a_planetoid__1_3_2_3_3_2_5_2_5_3 MD;_cat_Vi_ n5_a_planetoid__1_3_2_3_3_2_5_2_5->n5_a_planetoid__1_3_2_3_3_2_5_2_5_3 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4 IP-INF-CAT n5_a_planetoid__1_3_2_3_3_2_5_2_5->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4 n5_a_planetoid__1_3_2_3_3_2_5_2_5_1_1 RPRO n5_a_planetoid__1_3_2_3_3_2_5_2_5_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_1_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_1_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_2_1 PRO n5_a_planetoid__1_3_2_3_3_2_5_2_5_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_2_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_2_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_3->n5_a_planetoid__1_3_2_3_3_2_5_2_5_3_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_1 NP-OB1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_2 VB;_Tn.p_ n5_a_planetoid__1_3_2_3_3_2_5_2_5_4->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_2 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3 ADVP-CLR n5_a_planetoid__1_3_2_3_3_2_5_2_5_4->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_1 ADV n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2 PP n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_1 P-ROLE n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2 NP n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_1_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2_1 N n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2_1 n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2_1->n5_a_planetoid__1_3_2_3_3_2_5_2_5_4_3_2_2_1_1 n5_a_planetoid__1_4->n5_a_planetoid__1_4_1 
( (IP-MAT (NP-SBJ;{RAIDERS} (D The;{the})
                            (NS raiders;{raider}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tng_ seen;{see})
                                  (IP-PPL-OB1 (VAG;_Ipr_ hovering;{hover[around]})
                                              (PP-CLR (P-ROLE around;{around})
                                                      (NP (D the;{the})
                                                          (N surface;{surface})))
                                              (PP-NIM (P-ROLE on;{on})
                                                      (NP (D the;{the})
                                                          (N look;{look})
                                                          (PUNC <hyphen>)
                                                          (N out;{out})
                                                          (PP (P-ROLE for;{for})
                                                              (NP (N life;{life})
                                                                  (PUNC <hyphen>)
                                                                  (NS forms;{form})
                                                                  (PUNC ,)
                                                                  (IP-REL (NP-172 (RPRO which;{which}))
                                                                          (NP-SBJ;{RAIDERS} (PRO they;{they}))
                                                                          (MD;_cat_Vi_ can;{can})
                                                                          (IP-INF-CAT (NP-OB1 *ICH*-172)
                                                                                      (VB;_Tn.p_ drag;{drag[off]})
                                                                                      (ADVP-CLR (ADV off;{off})
                                                                                                (PP (P-ROLE into;{into})
                                                                                                    (NP (N space;{space})))))))))))))
          (PUNC .))
  (ID 5_a_planetoid))