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_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_r_0020_0007__destroy will destroy r_0020_0006__will_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_0006__will_r_0020_0007__destroy->r_0020_0008__the_r_0020_0009__limpet_r_0020_0010__guns [arg1] 
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_5 Accurate n20_a_thrust_7 shooting n20_a_thrust_10 from n20_a_thrust_14 your n20_a_thrust_16 spaceship n20_a_thrust_18 will n20_a_thrust_21 destroy n20_a_thrust_24 the n20_a_thrust_26 limpet n20_a_thrust_28 guns n20_a_thrust_30 . n20_a_thrust_1 IP-MAT n20_a_thrust_2 NP-SBJ n20_a_thrust_1->n20_a_thrust_2 n20_a_thrust_17 MD;_cat_Vi_ n20_a_thrust_1->n20_a_thrust_17 n20_a_thrust_19 IP-INF-CAT n20_a_thrust_1->n20_a_thrust_19 n20_a_thrust_29 PUNC n20_a_thrust_1->n20_a_thrust_29 n20_a_thrust_3 ADJP n20_a_thrust_2->n20_a_thrust_3 n20_a_thrust_6 N n20_a_thrust_2->n20_a_thrust_6 n20_a_thrust_8 PP n20_a_thrust_2->n20_a_thrust_8 n20_a_thrust_4 ADJ n20_a_thrust_3->n20_a_thrust_4 n20_a_thrust_4->n20_a_thrust_5 n20_a_thrust_6->n20_a_thrust_7 n20_a_thrust_9 P-ROLE n20_a_thrust_8->n20_a_thrust_9 n20_a_thrust_11 NP n20_a_thrust_8->n20_a_thrust_11 n20_a_thrust_9->n20_a_thrust_10 n20_a_thrust_12 NP-GEN n20_a_thrust_11->n20_a_thrust_12 n20_a_thrust_15 N n20_a_thrust_11->n20_a_thrust_15 n20_a_thrust_13 PRO;_genm_ n20_a_thrust_12->n20_a_thrust_13 n20_a_thrust_13->n20_a_thrust_14 n20_a_thrust_15->n20_a_thrust_16 n20_a_thrust_17->n20_a_thrust_18 n20_a_thrust_20 VB;_Tn_ n20_a_thrust_19->n20_a_thrust_20 n20_a_thrust_22 NP-OB1 n20_a_thrust_19->n20_a_thrust_22 n20_a_thrust_20->n20_a_thrust_21 n20_a_thrust_23 D n20_a_thrust_22->n20_a_thrust_23 n20_a_thrust_25 N n20_a_thrust_22->n20_a_thrust_25 n20_a_thrust_27 NS n20_a_thrust_22->n20_a_thrust_27 n20_a_thrust_23->n20_a_thrust_24 n20_a_thrust_25->n20_a_thrust_26 n20_a_thrust_27->n20_a_thrust_28 n20_a_thrust_29->n20_a_thrust_30 
( (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))