Context                Previous, Next                Top


2_a_planetoid
Your laser - ship is patrolling the surface of the planetoid.

%3 r_0002_0002__laser_r_0002_0004__ship laser ship r_0002_0001__Your Your r_0002_0002__laser_r_0002_0004__ship->r_0002_0001__Your [gen] r_0002_0005__is is r_0002_0006__patrolling patrolling r_0002_0005__is->r_0002_0006__patrolling [scope] r_0002_0006__patrolling->r_0002_0002__laser_r_0002_0004__ship [arg0] r_0002_0007__the_r_0002_0008__surface the surface r_0002_0006__patrolling->r_0002_0007__the_r_0002_0008__surface [arg1] r_0002_0010__the_r_0002_0011__planetoid the planetoid r_0002_0007__the_r_0002_0008__surface->r_0002_0010__the_r_0002_0011__planetoid of 
arc(r_0002_0002__laser_r_0002_0004__ship, r_0002_0001__Your, gen).
arc(r_0002_0005__is, r_0002_0006__patrolling, scope).
arc(r_0002_0006__patrolling, r_0002_0002__laser_r_0002_0004__ship, arg0).
arc(r_0002_0006__patrolling, r_0002_0007__the_r_0002_0008__surface, arg1).
arc(r_0002_0007__the_r_0002_0008__surface, r_0002_0010__the_r_0002_0011__planetoid, r_0002_0009__of).


%3 r_0002_0002__laser_r_0002_0004__ship laser ship r_0002_0001__Your Your r_0002_0002__laser_r_0002_0004__ship->r_0002_0001__Your [gen] r_0002_0005__is_r_0002_0006__patrolling is patrolling r_0002_0005__is_r_0002_0006__patrolling->r_0002_0002__laser_r_0002_0004__ship [arg0] r_0002_0007__the_r_0002_0008__surface the surface r_0002_0005__is_r_0002_0006__patrolling->r_0002_0007__the_r_0002_0008__surface [arg1] r_0002_0010__the_r_0002_0011__planetoid the planetoid r_0002_0007__the_r_0002_0008__surface->r_0002_0010__the_r_0002_0011__planetoid of 
fof(formula,axiom,
    ? [R_2_5_IS_PATROLLING,R_2_2_LASER_SHIP,R_2_1_YOUR,R_2_7_THE_SURFACE,R_2_10_THE_PLANETOID] :
      ( your(R_2_1_YOUR)
      & the_planetoid(R_2_10_THE_PLANETOID)
      & is_patrolling(R_2_5_IS_PATROLLING,R_2_2_LASER_SHIP,R_2_7_THE_SURFACE)
      & laser_ship(R_2_2_LASER_SHIP)
      & gen(R_2_2_LASER_SHIP,R_2_1_YOUR)
      & the_surface(R_2_7_THE_SURFACE)
      & of(R_2_7_THE_SURFACE,R_2_10_THE_PLANETOID) ) ).


n2_a_planetoid n2_a_planetoid_5 Your n2_a_planetoid_7 laser n2_a_planetoid_9 - n2_a_planetoid_11 ship n2_a_planetoid_13 is n2_a_planetoid_16 patrolling n2_a_planetoid_19 the n2_a_planetoid_21 surface n2_a_planetoid_24 of n2_a_planetoid_27 the n2_a_planetoid_29 planetoid n2_a_planetoid_31 . n2_a_planetoid_1 IP-MAT n2_a_planetoid_2 NP-SBJ n2_a_planetoid_1->n2_a_planetoid_2 n2_a_planetoid_12 BEP;_cat_Vg_ n2_a_planetoid_1->n2_a_planetoid_12 n2_a_planetoid_14 IP-PPL-CAT n2_a_planetoid_1->n2_a_planetoid_14 n2_a_planetoid_30 PUNC n2_a_planetoid_1->n2_a_planetoid_30 n2_a_planetoid_3 NP-GEN n2_a_planetoid_2->n2_a_planetoid_3 n2_a_planetoid_6 N n2_a_planetoid_2->n2_a_planetoid_6 n2_a_planetoid_8 PUNC n2_a_planetoid_2->n2_a_planetoid_8 n2_a_planetoid_10 N n2_a_planetoid_2->n2_a_planetoid_10 n2_a_planetoid_4 PRO;_genm_ n2_a_planetoid_3->n2_a_planetoid_4 n2_a_planetoid_4->n2_a_planetoid_5 n2_a_planetoid_6->n2_a_planetoid_7 n2_a_planetoid_8->n2_a_planetoid_9 n2_a_planetoid_10->n2_a_planetoid_11 n2_a_planetoid_12->n2_a_planetoid_13 n2_a_planetoid_15 VAG;_Tn_ n2_a_planetoid_14->n2_a_planetoid_15 n2_a_planetoid_17 NP-OB1 n2_a_planetoid_14->n2_a_planetoid_17 n2_a_planetoid_15->n2_a_planetoid_16 n2_a_planetoid_18 D n2_a_planetoid_17->n2_a_planetoid_18 n2_a_planetoid_20 N n2_a_planetoid_17->n2_a_planetoid_20 n2_a_planetoid_22 PP n2_a_planetoid_17->n2_a_planetoid_22 n2_a_planetoid_18->n2_a_planetoid_19 n2_a_planetoid_20->n2_a_planetoid_21 n2_a_planetoid_23 P-ROLE n2_a_planetoid_22->n2_a_planetoid_23 n2_a_planetoid_25 NP n2_a_planetoid_22->n2_a_planetoid_25 n2_a_planetoid_23->n2_a_planetoid_24 n2_a_planetoid_26 D n2_a_planetoid_25->n2_a_planetoid_26 n2_a_planetoid_28 N n2_a_planetoid_25->n2_a_planetoid_28 n2_a_planetoid_26->n2_a_planetoid_27 n2_a_planetoid_28->n2_a_planetoid_29 n2_a_planetoid_30->n2_a_planetoid_31 
( (IP-MAT (NP-SBJ;{SHIP} (NP-GEN (PRO;_genm_ Your;{your}))
                         (N laser;{laser})
                         (PUNC <hyphen>)
                         (N ship;{ship}))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_Tn_ patrolling;{patrol})
                      (NP-OB1 (D the;{the})
                              (N surface;{surface})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N planetoid;{planetoid})))))
          (PUNC .))
  (ID 2_a_planetoid))