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_0007__the_r_0002_0008__surface the surface 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 r_0002_0005__is_r_0002_0006__patrolling is patrolling r_0002_0005__is_r_0002_0006__patrolling->r_0002_0007__the_r_0002_0008__surface [arg1] r_0002_0002__laser_r_0002_0004__ship laser ship r_0002_0005__is_r_0002_0006__patrolling->r_0002_0002__laser_r_0002_0004__ship [arg0] r_0002_0001__Your Your r_0002_0002__laser_r_0002_0004__ship->r_0002_0001__Your [gen] 
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__1_1_1_1_1 Your n2_a_planetoid__1_1_2_1 laser n2_a_planetoid__1_1_3_1 - n2_a_planetoid__1_1_4_1 ship n2_a_planetoid__1_2_1 is n2_a_planetoid__1_3_1_1 patrolling n2_a_planetoid__1_3_2_1_1 the n2_a_planetoid__1_3_2_2_1 surface n2_a_planetoid__1_3_2_3_1_1 of n2_a_planetoid__1_3_2_3_2_1_1 the n2_a_planetoid__1_3_2_3_2_2_1 planetoid n2_a_planetoid__1_4_1 . n2_a_planetoid__1 IP-MAT n2_a_planetoid__1_1 NP-SBJ n2_a_planetoid__1->n2_a_planetoid__1_1 n2_a_planetoid__1_2 BEP;_cat_Vg_ n2_a_planetoid__1->n2_a_planetoid__1_2 n2_a_planetoid__1_3 IP-PPL-CAT n2_a_planetoid__1->n2_a_planetoid__1_3 n2_a_planetoid__1_4 PUNC n2_a_planetoid__1->n2_a_planetoid__1_4 n2_a_planetoid__1_1_1 NP-GEN n2_a_planetoid__1_1->n2_a_planetoid__1_1_1 n2_a_planetoid__1_1_2 N n2_a_planetoid__1_1->n2_a_planetoid__1_1_2 n2_a_planetoid__1_1_3 PUNC n2_a_planetoid__1_1->n2_a_planetoid__1_1_3 n2_a_planetoid__1_1_4 N n2_a_planetoid__1_1->n2_a_planetoid__1_1_4 n2_a_planetoid__1_1_1_1 PRO;_genm_ n2_a_planetoid__1_1_1->n2_a_planetoid__1_1_1_1 n2_a_planetoid__1_1_1_1->n2_a_planetoid__1_1_1_1_1 n2_a_planetoid__1_1_2->n2_a_planetoid__1_1_2_1 n2_a_planetoid__1_1_3->n2_a_planetoid__1_1_3_1 n2_a_planetoid__1_1_4->n2_a_planetoid__1_1_4_1 n2_a_planetoid__1_2->n2_a_planetoid__1_2_1 n2_a_planetoid__1_3_1 VAG;_Tn_ n2_a_planetoid__1_3->n2_a_planetoid__1_3_1 n2_a_planetoid__1_3_2 NP-OB1 n2_a_planetoid__1_3->n2_a_planetoid__1_3_2 n2_a_planetoid__1_3_1->n2_a_planetoid__1_3_1_1 n2_a_planetoid__1_3_2_1 D n2_a_planetoid__1_3_2->n2_a_planetoid__1_3_2_1 n2_a_planetoid__1_3_2_2 N n2_a_planetoid__1_3_2->n2_a_planetoid__1_3_2_2 n2_a_planetoid__1_3_2_3 PP n2_a_planetoid__1_3_2->n2_a_planetoid__1_3_2_3 n2_a_planetoid__1_3_2_1->n2_a_planetoid__1_3_2_1_1 n2_a_planetoid__1_3_2_2->n2_a_planetoid__1_3_2_2_1 n2_a_planetoid__1_3_2_3_1 P-ROLE n2_a_planetoid__1_3_2_3->n2_a_planetoid__1_3_2_3_1 n2_a_planetoid__1_3_2_3_2 NP n2_a_planetoid__1_3_2_3->n2_a_planetoid__1_3_2_3_2 n2_a_planetoid__1_3_2_3_1->n2_a_planetoid__1_3_2_3_1_1 n2_a_planetoid__1_3_2_3_2_1 D n2_a_planetoid__1_3_2_3_2->n2_a_planetoid__1_3_2_3_2_1 n2_a_planetoid__1_3_2_3_2_2 N n2_a_planetoid__1_3_2_3_2->n2_a_planetoid__1_3_2_3_2_2 n2_a_planetoid__1_3_2_3_2_1->n2_a_planetoid__1_3_2_3_2_1_1 n2_a_planetoid__1_3_2_3_2_2->n2_a_planetoid__1_3_2_3_2_2_1 n2_a_planetoid__1_4->n2_a_planetoid__1_4_1 
( (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))