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_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_0001__The_r_0005_0002__raiders The raiders 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_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_0003__can_r_0005_0004__be_r_0005_0005__seen can be seen r_0005_0006__hovering hovering 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] r_0005_0001__The_r_0005_0002__raiders The raiders 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_r_0005_0023__drag can drag r_0005_0022__can_r_0005_0023__drag->r_0005_0001__The_r_0005_0002__raiders [arg0] r_0005_0022__can_r_0005_0023__drag->r_0005_0016__life_r_0005_0018__forms [arg1] r_0005_0024__off off r_0005_0022__can_r_0005_0023__drag->r_0005_0024__off [clr] r_0005_0026__space space r_0005_0024__off->r_0005_0026__space into 
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)
      & 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_4 The n5_a_planetoid_6 raiders n5_a_planetoid_8 can n5_a_planetoid_11 be n5_a_planetoid_14 * n5_a_planetoid_16 seen n5_a_planetoid_19 hovering n5_a_planetoid_22 around n5_a_planetoid_25 the n5_a_planetoid_27 surface n5_a_planetoid_30 on n5_a_planetoid_33 the n5_a_planetoid_35 look n5_a_planetoid_37 - n5_a_planetoid_39 out n5_a_planetoid_42 for n5_a_planetoid_45 life n5_a_planetoid_47 - n5_a_planetoid_49 forms n5_a_planetoid_51 , n5_a_planetoid_55 which n5_a_planetoid_58 they n5_a_planetoid_60 can n5_a_planetoid_63 *ICH*-172 n5_a_planetoid_65 drag n5_a_planetoid_68 off n5_a_planetoid_71 into n5_a_planetoid_74 space n5_a_planetoid_76 . n5_a_planetoid_1 IP-MAT n5_a_planetoid_2 NP-SBJ n5_a_planetoid_1->n5_a_planetoid_2 n5_a_planetoid_7 MD;_cat_Vi_ n5_a_planetoid_1->n5_a_planetoid_7 n5_a_planetoid_9 IP-INF-CAT n5_a_planetoid_1->n5_a_planetoid_9 n5_a_planetoid_75 PUNC n5_a_planetoid_1->n5_a_planetoid_75 n5_a_planetoid_3 D n5_a_planetoid_2->n5_a_planetoid_3 n5_a_planetoid_5 NS n5_a_planetoid_2->n5_a_planetoid_5 n5_a_planetoid_3->n5_a_planetoid_4 n5_a_planetoid_5->n5_a_planetoid_6 n5_a_planetoid_7->n5_a_planetoid_8 n5_a_planetoid_10 BE;_cat_VePASS_ n5_a_planetoid_9->n5_a_planetoid_10 n5_a_planetoid_12 IP-PPL-CAT n5_a_planetoid_9->n5_a_planetoid_12 n5_a_planetoid_10->n5_a_planetoid_11 n5_a_planetoid_13 NP-LGS n5_a_planetoid_12->n5_a_planetoid_13 n5_a_planetoid_15 VVN;_Tng_ n5_a_planetoid_12->n5_a_planetoid_15 n5_a_planetoid_17 IP-PPL-OB1 n5_a_planetoid_12->n5_a_planetoid_17 n5_a_planetoid_13->n5_a_planetoid_14 n5_a_planetoid_15->n5_a_planetoid_16 n5_a_planetoid_18 VAG;_Ipr_ n5_a_planetoid_17->n5_a_planetoid_18 n5_a_planetoid_20 PP-CLR n5_a_planetoid_17->n5_a_planetoid_20 n5_a_planetoid_28 PP-NIM n5_a_planetoid_17->n5_a_planetoid_28 n5_a_planetoid_18->n5_a_planetoid_19 n5_a_planetoid_21 P-ROLE n5_a_planetoid_20->n5_a_planetoid_21 n5_a_planetoid_23 NP n5_a_planetoid_20->n5_a_planetoid_23 n5_a_planetoid_21->n5_a_planetoid_22 n5_a_planetoid_24 D n5_a_planetoid_23->n5_a_planetoid_24 n5_a_planetoid_26 N n5_a_planetoid_23->n5_a_planetoid_26 n5_a_planetoid_24->n5_a_planetoid_25 n5_a_planetoid_26->n5_a_planetoid_27 n5_a_planetoid_29 P-ROLE n5_a_planetoid_28->n5_a_planetoid_29 n5_a_planetoid_31 NP n5_a_planetoid_28->n5_a_planetoid_31 n5_a_planetoid_29->n5_a_planetoid_30 n5_a_planetoid_32 D n5_a_planetoid_31->n5_a_planetoid_32 n5_a_planetoid_34 N n5_a_planetoid_31->n5_a_planetoid_34 n5_a_planetoid_36 PUNC n5_a_planetoid_31->n5_a_planetoid_36 n5_a_planetoid_38 N n5_a_planetoid_31->n5_a_planetoid_38 n5_a_planetoid_40 PP n5_a_planetoid_31->n5_a_planetoid_40 n5_a_planetoid_32->n5_a_planetoid_33 n5_a_planetoid_34->n5_a_planetoid_35 n5_a_planetoid_36->n5_a_planetoid_37 n5_a_planetoid_38->n5_a_planetoid_39 n5_a_planetoid_41 P-ROLE n5_a_planetoid_40->n5_a_planetoid_41 n5_a_planetoid_43 NP n5_a_planetoid_40->n5_a_planetoid_43 n5_a_planetoid_41->n5_a_planetoid_42 n5_a_planetoid_44 N n5_a_planetoid_43->n5_a_planetoid_44 n5_a_planetoid_46 PUNC n5_a_planetoid_43->n5_a_planetoid_46 n5_a_planetoid_48 NS n5_a_planetoid_43->n5_a_planetoid_48 n5_a_planetoid_50 PUNC n5_a_planetoid_43->n5_a_planetoid_50 n5_a_planetoid_52 IP-REL n5_a_planetoid_43->n5_a_planetoid_52 n5_a_planetoid_44->n5_a_planetoid_45 n5_a_planetoid_46->n5_a_planetoid_47 n5_a_planetoid_48->n5_a_planetoid_49 n5_a_planetoid_50->n5_a_planetoid_51 n5_a_planetoid_53 NP-172 n5_a_planetoid_52->n5_a_planetoid_53 n5_a_planetoid_56 NP-SBJ n5_a_planetoid_52->n5_a_planetoid_56 n5_a_planetoid_59 MD;_cat_Vi_ n5_a_planetoid_52->n5_a_planetoid_59 n5_a_planetoid_61 IP-INF-CAT n5_a_planetoid_52->n5_a_planetoid_61 n5_a_planetoid_54 RPRO n5_a_planetoid_53->n5_a_planetoid_54 n5_a_planetoid_54->n5_a_planetoid_55 n5_a_planetoid_57 PRO n5_a_planetoid_56->n5_a_planetoid_57 n5_a_planetoid_57->n5_a_planetoid_58 n5_a_planetoid_59->n5_a_planetoid_60 n5_a_planetoid_62 NP-OB1 n5_a_planetoid_61->n5_a_planetoid_62 n5_a_planetoid_64 VB;_Tn.p_ n5_a_planetoid_61->n5_a_planetoid_64 n5_a_planetoid_66 ADVP-CLR n5_a_planetoid_61->n5_a_planetoid_66 n5_a_planetoid_62->n5_a_planetoid_63 n5_a_planetoid_64->n5_a_planetoid_65 n5_a_planetoid_67 ADV n5_a_planetoid_66->n5_a_planetoid_67 n5_a_planetoid_69 PP n5_a_planetoid_66->n5_a_planetoid_69 n5_a_planetoid_67->n5_a_planetoid_68 n5_a_planetoid_70 P-ROLE n5_a_planetoid_69->n5_a_planetoid_70 n5_a_planetoid_72 NP n5_a_planetoid_69->n5_a_planetoid_72 n5_a_planetoid_70->n5_a_planetoid_71 n5_a_planetoid_73 N n5_a_planetoid_72->n5_a_planetoid_73 n5_a_planetoid_73->n5_a_planetoid_74 n5_a_planetoid_75->n5_a_planetoid_76 
( (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))