Context                Previous, Next                Top


2_a_planetoid
Your laser - ship is patrolling the surface of 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))


%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_0006__patrolling patrolling 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_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] r_0002_0005__is is r_0002_0005__is->r_0002_0006__patrolling [scope] 
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_0002_0001__YOUR,R_0002_0002__LASER_R_0002_0004__SHIP,R_0002_0010__THE_R_0002_0011__PLANETOID,R_0002_0007__THE_R_0002_0008__SURFACE,R_0002_0005__IS_R_0002_0006__PATROLLING] :
      ( r_0002_0001__Your(R_0002_0001__YOUR)
      & r_0002_0010__the_r_0002_0011__planetoid(R_0002_0010__THE_R_0002_0011__PLANETOID)
      & r_0002_0005__is_r_0002_0006__patrolling(R_0002_0005__IS_R_0002_0006__PATROLLING)
      & has_arg1(R_0002_0005__IS_R_0002_0006__PATROLLING,R_0002_0007__THE_R_0002_0008__SURFACE)
      & r_0002_0007__the_r_0002_0008__surface(R_0002_0007__THE_R_0002_0008__SURFACE)
      & has_r_0002_0009__of(R_0002_0007__THE_R_0002_0008__SURFACE,R_0002_0010__THE_R_0002_0011__PLANETOID)
      & has_arg0(R_0002_0005__IS_R_0002_0006__PATROLLING,R_0002_0002__LASER_R_0002_0004__SHIP)
      & r_0002_0002__laser_r_0002_0004__ship(R_0002_0002__LASER_R_0002_0004__SHIP)
      & has_gen(R_0002_0002__LASER_R_0002_0004__SHIP,R_0002_0001__YOUR) ) ).