Context                Previous, Next                Top


19_a_thrust
These guns are the planets' defence system.

%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_r_0019_0006___apos_ the planets ' r_0019_0007__defence_r_0019_0008__system->r_0019_0004__the_r_0019_0005__planets_r_0019_0006___apos_ [gen] 
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_r_0019_0006___apos_, gen).


%3 r_0019_0007__defence_r_0019_0008__system defence system r_0019_0004__the_r_0019_0005__planets_r_0019_0006___apos_ the planets ' r_0019_0007__defence_r_0019_0008__system->r_0019_0004__the_r_0019_0005__planets_r_0019_0006___apos_ [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] 
fof(formula,axiom,
    ? [R_19_3_ARE,R_19_1_THESE_GUNS,R_19_7_DEFENCE_SYSTEM,R_19_4_THE_PLANETS_APOS_] :
      ( these_guns(R_19_1_THESE_GUNS)
      & the_planets_apos_(R_19_4_THE_PLANETS_APOS_)
      & are(R_19_3_ARE,R_19_1_THESE_GUNS,R_19_7_DEFENCE_SYSTEM)
      & defence_system(R_19_7_DEFENCE_SYSTEM)
      & gen(R_19_7_DEFENCE_SYSTEM,R_19_4_THE_PLANETS_APOS_) ) ).


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))