Context                Previous, Next                Top


19_a_thrust
These guns are the planets' defence system.

n19_a_thrust n19_a_thrust__1_1_1_1 These n19_a_thrust__1_1_2_1 guns n19_a_thrust__1_2_1 are n19_a_thrust__1_3_1_1_1 the n19_a_thrust__1_3_1_2_1 planets n19_a_thrust__1_3_1_3_1 ' n19_a_thrust__1_3_2_1 defence n19_a_thrust__1_3_3_1 system n19_a_thrust__1_4_1 . n19_a_thrust__1 IP-MAT n19_a_thrust__1_1 NP-SBJ n19_a_thrust__1->n19_a_thrust__1_1 n19_a_thrust__1_2 BEP;_Ln_ n19_a_thrust__1->n19_a_thrust__1_2 n19_a_thrust__1_3 NP-PRD n19_a_thrust__1->n19_a_thrust__1_3 n19_a_thrust__1_4 PUNC n19_a_thrust__1->n19_a_thrust__1_4 n19_a_thrust__1_1_1 D n19_a_thrust__1_1->n19_a_thrust__1_1_1 n19_a_thrust__1_1_2 NS n19_a_thrust__1_1->n19_a_thrust__1_1_2 n19_a_thrust__1_1_1->n19_a_thrust__1_1_1_1 n19_a_thrust__1_1_2->n19_a_thrust__1_1_2_1 n19_a_thrust__1_2->n19_a_thrust__1_2_1 n19_a_thrust__1_3_1 NP-GEN n19_a_thrust__1_3->n19_a_thrust__1_3_1 n19_a_thrust__1_3_2 N n19_a_thrust__1_3->n19_a_thrust__1_3_2 n19_a_thrust__1_3_3 N n19_a_thrust__1_3->n19_a_thrust__1_3_3 n19_a_thrust__1_3_1_1 D n19_a_thrust__1_3_1->n19_a_thrust__1_3_1_1 n19_a_thrust__1_3_1_2 NS n19_a_thrust__1_3_1->n19_a_thrust__1_3_1_2 n19_a_thrust__1_3_1_3 GENM n19_a_thrust__1_3_1->n19_a_thrust__1_3_1_3 n19_a_thrust__1_3_1_1->n19_a_thrust__1_3_1_1_1 n19_a_thrust__1_3_1_2->n19_a_thrust__1_3_1_2_1 n19_a_thrust__1_3_1_3->n19_a_thrust__1_3_1_3_1 n19_a_thrust__1_3_2->n19_a_thrust__1_3_2_1 n19_a_thrust__1_3_3->n19_a_thrust__1_3_3_1 n19_a_thrust__1_4->n19_a_thrust__1_4_1 
( (IP-MAT (NP-SBJ;{LIMPET} (D These;{these})
                           (NS guns;{gun}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NP-GEN;{PLANET} (D the;{the})
                                   (NS planets;{planet})
                                   (GENM <apos>))
                  (N defence;{defence})
                  (N system;{system}))
          (PUNC .))
  (ID 19_a_thrust))


%3 r_0019_0007__defence_r_0019_0008__system defence system r_0019_0004__the_r_0019_0005__planets the planets r_0019_0007__defence_r_0019_0008__system->r_0019_0004__the_r_0019_0005__planets [gen] r_0019_0003__are are r_0019_0003__are->r_0019_0007__defence_r_0019_0008__system [prd] r_0019_0001__These_r_0019_0002__guns These guns r_0019_0003__are->r_0019_0001__These_r_0019_0002__guns [arg0] 
arc(r_0019_0003__are,r_0019_0001__These_r_0019_0002__guns,arg0).
arc(r_0019_0003__are,r_0019_0007__defence_r_0019_0008__system,prd).
arc(r_0019_0007__defence_r_0019_0008__system,r_0019_0004__the_r_0019_0005__planets,gen).


%3 r_0019_0003__are are r_0019_0001__These_r_0019_0002__guns These guns r_0019_0003__are->r_0019_0001__These_r_0019_0002__guns [arg0] r_0019_0007__defence_r_0019_0008__system defence system r_0019_0003__are->r_0019_0007__defence_r_0019_0008__system [prd] r_0019_0004__the_r_0019_0005__planets the planets r_0019_0007__defence_r_0019_0008__system->r_0019_0004__the_r_0019_0005__planets [gen] 
fof(formula,axiom,
    ? [R_0019_0001__THESE_R_0019_0002__GUNS,R_0019_0004__THE_R_0019_0005__PLANETS,R_0019_0007__DEFENCE_R_0019_0008__SYSTEM,R_0019_0003__ARE] :
      ( r_0019_0001__These_r_0019_0002__guns(R_0019_0001__THESE_R_0019_0002__GUNS)
      & r_0019_0004__the_r_0019_0005__planets(R_0019_0004__THE_R_0019_0005__PLANETS)
      & r_0019_0003__are(R_0019_0003__ARE)
      & has_prd(R_0019_0003__ARE,R_0019_0007__DEFENCE_R_0019_0008__SYSTEM)
      & r_0019_0007__defence_r_0019_0008__system(R_0019_0007__DEFENCE_R_0019_0008__SYSTEM)
      & has_gen(R_0019_0007__DEFENCE_R_0019_0008__SYSTEM,R_0019_0004__THE_R_0019_0005__PLANETS)
      & has_arg0(R_0019_0003__ARE,R_0019_0001__THESE_R_0019_0002__GUNS) ) ).