Context                Previous, Next                Top


18_a_thrust
Automatic Limpet Guns:

n18_a_thrust n18_a_thrust__1_1_1_1_1 Automatic n18_a_thrust__1_1_2_1 Limpet n18_a_thrust__1_1_3_1 Guns n18_a_thrust__1_2_1 : n18_a_thrust__1 FRAG n18_a_thrust__1_1 NP n18_a_thrust__1->n18_a_thrust__1_1 n18_a_thrust__1_2 PUNC n18_a_thrust__1->n18_a_thrust__1_2 n18_a_thrust__1_1_1 ADJP n18_a_thrust__1_1->n18_a_thrust__1_1_1 n18_a_thrust__1_1_2 NPR n18_a_thrust__1_1->n18_a_thrust__1_1_2 n18_a_thrust__1_1_3 NS n18_a_thrust__1_1->n18_a_thrust__1_1_3 n18_a_thrust__1_1_1_1 ADJ n18_a_thrust__1_1_1->n18_a_thrust__1_1_1_1 n18_a_thrust__1_1_1_1->n18_a_thrust__1_1_1_1_1 n18_a_thrust__1_1_2->n18_a_thrust__1_1_2_1 n18_a_thrust__1_1_3->n18_a_thrust__1_1_3_1 n18_a_thrust__1_2->n18_a_thrust__1_2_1 
( (FRAG (NP;{LIMPET} (ADJP (ADJ Automatic;{automatic}))
                     (NPR Limpet;{Limpet})
                     (NS Guns;{gun}))
        (PUNC :))
  (ID 18_a_thrust))


%3 z_0018_5005 r_0018_0002__Limpet_r_0018_0003__Guns Limpet Guns z_0018_5005->r_0018_0002__Limpet_r_0018_0003__Guns r_0018_0001__Automatic Automatic r_0018_0002__Limpet_r_0018_0003__Guns->r_0018_0001__Automatic [attrib] 
arc(r_0018_0002__Limpet_r_0018_0003__Guns,r_0018_0001__Automatic,attrib).
arc(z_0018_5005,r_0018_0002__Limpet_r_0018_0003__Guns,z_0018_5002).


%3 r_0018_0002__Limpet_r_0018_0003__Guns Limpet Guns r_0018_0001__Automatic Automatic r_0018_0002__Limpet_r_0018_0003__Guns->r_0018_0001__Automatic [attrib] z_0018_5005 z_0018_5005->r_0018_0002__Limpet_r_0018_0003__Guns 
fof(formula,axiom,
    ? [R_0018_0001__AUTOMATIC,R_0018_0002__LIMPET_R_0018_0003__GUNS,Z_0018_5005] :
      ( r_0018_0001__Automatic(R_0018_0001__AUTOMATIC)
      & z_0018_5005(Z_0018_5005)
      & has_z_0018_5002(Z_0018_5005,R_0018_0002__LIMPET_R_0018_0003__GUNS)
      & r_0018_0002__Limpet_r_0018_0003__Guns(R_0018_0002__LIMPET_R_0018_0003__GUNS)
      & has_attrib(R_0018_0002__LIMPET_R_0018_0003__GUNS,R_0018_0001__AUTOMATIC) ) ).