Context                Previous, Next                Top


20_a_thrust
Accurate shooting from your spaceship will destroy the limpet guns.

%3 r_0020_0002__shooting shooting r_0020_0001__Accurate Accurate r_0020_0002__shooting->r_0020_0001__Accurate [attrib] r_0020_0005__spaceship spaceship r_0020_0002__shooting->r_0020_0005__spaceship from r_0020_0004__your your r_0020_0005__spaceship->r_0020_0004__your [gen] r_0020_0006__will will r_0020_0007__destroy destroy r_0020_0006__will->r_0020_0007__destroy [scope] r_0020_0007__destroy->r_0020_0002__shooting [arg0] r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns the limpet guns r_0020_0007__destroy->r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns [arg1] 
arc(r_0020_0002__shooting, r_0020_0001__Accurate, attrib3).
arc(r_0020_0002__shooting, r_0020_0005__spaceship, r_0020_0003__from).
arc(r_0020_0005__spaceship, r_0020_0004__your, gen).
arc(r_0020_0006__will, r_0020_0007__destroy, scope).
arc(r_0020_0007__destroy, r_0020_0002__shooting, arg0).
arc(r_0020_0007__destroy, r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns, arg1).


%3 r_0020_0006__will_r_0020_0007__destroy will destroy r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns the limpet guns r_0020_0006__will_r_0020_0007__destroy->r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns [arg1] r_0020_0002__shooting shooting r_0020_0006__will_r_0020_0007__destroy->r_0020_0002__shooting [arg0] r_0020_0005__spaceship spaceship r_0020_0002__shooting->r_0020_0005__spaceship from r_0020_0001__Accurate Accurate r_0020_0002__shooting->r_0020_0001__Accurate [attrib] r_0020_0004__your your r_0020_0005__spaceship->r_0020_0004__your [gen] 
fof(formula,axiom,
    ? [R_20_6_WILL_DESTROY,R_20_2_SHOOTING,R_20_1_ACCURATE,R_20_5_SPACESHIP,R_20_4_YOUR,R_20_8_THE_LIMPET_GUNS] :
      ( accurate(R_20_1_ACCURATE)
      & your(R_20_4_YOUR)
      & the_limpet_guns(R_20_8_THE_LIMPET_GUNS)
      & will_destroy(R_20_6_WILL_DESTROY,R_20_2_SHOOTING,R_20_8_THE_LIMPET_GUNS)
      & shooting(R_20_2_SHOOTING)
      & attrib3(R_20_2_SHOOTING,R_20_1_ACCURATE)
      & from(R_20_2_SHOOTING,R_20_5_SPACESHIP)
      & spaceship(R_20_5_SPACESHIP)
      & gen(R_20_5_SPACESHIP,R_20_4_YOUR) ) ).


n20_a_thrust n20_a_thrust__1_1_1_1_1 Accurate n20_a_thrust__1_1_2_1 shooting n20_a_thrust__1_1_3_1_1 from n20_a_thrust__1_1_3_2_1_1_1 your n20_a_thrust__1_1_3_2_2_1 spaceship n20_a_thrust__1_2_1 will n20_a_thrust__1_3_1_1 destroy n20_a_thrust__1_3_2_1_1 the n20_a_thrust__1_3_2_2_1 limpet n20_a_thrust__1_3_2_3_1 guns n20_a_thrust__1_4_1 . n20_a_thrust__1 IP-MAT n20_a_thrust__1_1 NP-SBJ n20_a_thrust__1->n20_a_thrust__1_1 n20_a_thrust__1_2 MD;_cat_Vi_ n20_a_thrust__1->n20_a_thrust__1_2 n20_a_thrust__1_3 IP-INF-CAT n20_a_thrust__1->n20_a_thrust__1_3 n20_a_thrust__1_4 PUNC n20_a_thrust__1->n20_a_thrust__1_4 n20_a_thrust__1_1_1 ADJP n20_a_thrust__1_1->n20_a_thrust__1_1_1 n20_a_thrust__1_1_2 N n20_a_thrust__1_1->n20_a_thrust__1_1_2 n20_a_thrust__1_1_3 PP n20_a_thrust__1_1->n20_a_thrust__1_1_3 n20_a_thrust__1_1_1_1 ADJ n20_a_thrust__1_1_1->n20_a_thrust__1_1_1_1 n20_a_thrust__1_1_1_1->n20_a_thrust__1_1_1_1_1 n20_a_thrust__1_1_2->n20_a_thrust__1_1_2_1 n20_a_thrust__1_1_3_1 P-ROLE n20_a_thrust__1_1_3->n20_a_thrust__1_1_3_1 n20_a_thrust__1_1_3_2 NP n20_a_thrust__1_1_3->n20_a_thrust__1_1_3_2 n20_a_thrust__1_1_3_1->n20_a_thrust__1_1_3_1_1 n20_a_thrust__1_1_3_2_1 NP-GEN n20_a_thrust__1_1_3_2->n20_a_thrust__1_1_3_2_1 n20_a_thrust__1_1_3_2_2 N n20_a_thrust__1_1_3_2->n20_a_thrust__1_1_3_2_2 n20_a_thrust__1_1_3_2_1_1 PRO;_genm_ n20_a_thrust__1_1_3_2_1->n20_a_thrust__1_1_3_2_1_1 n20_a_thrust__1_1_3_2_1_1->n20_a_thrust__1_1_3_2_1_1_1 n20_a_thrust__1_1_3_2_2->n20_a_thrust__1_1_3_2_2_1 n20_a_thrust__1_2->n20_a_thrust__1_2_1 n20_a_thrust__1_3_1 VB;_Tn_ n20_a_thrust__1_3->n20_a_thrust__1_3_1 n20_a_thrust__1_3_2 NP-OB1 n20_a_thrust__1_3->n20_a_thrust__1_3_2 n20_a_thrust__1_3_1->n20_a_thrust__1_3_1_1 n20_a_thrust__1_3_2_1 D n20_a_thrust__1_3_2->n20_a_thrust__1_3_2_1 n20_a_thrust__1_3_2_2 N n20_a_thrust__1_3_2->n20_a_thrust__1_3_2_2 n20_a_thrust__1_3_2_3 NS n20_a_thrust__1_3_2->n20_a_thrust__1_3_2_3 n20_a_thrust__1_3_2_1->n20_a_thrust__1_3_2_1_1 n20_a_thrust__1_3_2_2->n20_a_thrust__1_3_2_2_1 n20_a_thrust__1_3_2_3->n20_a_thrust__1_3_2_3_1 n20_a_thrust__1_4->n20_a_thrust__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Accurate;{accurate}))
                  (N shooting;{shooting})
                  (PP (P-ROLE from;{from})
                      (NP (NP-GEN;{PLAYER} (PRO;_genm_ your;{your}))
                          (N spaceship;{spaceship}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ destroy;{destroy})
                      (NP-OB1;{LIMPET} (D the;{the})
                                       (N limpet;{limpet})
                                       (NS guns;{gun})))
          (PUNC .))
  (ID 20_a_thrust))