Context                Previous, Next                Top


18_a_thrust
Automatic Limpet Guns:

%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_000_18_a_thrust_1 z_000_18_a_thrust_1->r_0018_0002__Limpet_r_0018_0003__Guns [nim] 
arc(r_0018_0002__Limpet_r_0018_0003__Guns, r_0018_0001__Automatic, attrib3).
arc(z_000_18_a_thrust_1, r_0018_0002__Limpet_r_0018_0003__Guns, nim2).


%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_000_18_a_thrust_1 z_000_18_a_thrust_1->r_0018_0002__Limpet_r_0018_0003__Guns [nim] 
fof(formula,axiom,
    ? [Z_18_A_THRUST_1,R_18_2_LIMPET_GUNS,R_18_1_AUTOMATIC] :
      ( automatic(R_18_1_AUTOMATIC)
      & z_18_a_thrust_1(Z_18_A_THRUST_1)
      & nim2(Z_18_A_THRUST_1,R_18_2_LIMPET_GUNS)
      & limpet_Guns(R_18_2_LIMPET_GUNS)
      & attrib3(R_18_2_LIMPET_GUNS,R_18_1_AUTOMATIC) ) ).


n18_a_thrust n18_a_thrust_5 Automatic n18_a_thrust_7 Limpet n18_a_thrust_9 Guns n18_a_thrust_11 : n18_a_thrust_1 FRAG n18_a_thrust_2 NP n18_a_thrust_1->n18_a_thrust_2 n18_a_thrust_10 PUNC n18_a_thrust_1->n18_a_thrust_10 n18_a_thrust_3 ADJP n18_a_thrust_2->n18_a_thrust_3 n18_a_thrust_6 NPR n18_a_thrust_2->n18_a_thrust_6 n18_a_thrust_8 NS n18_a_thrust_2->n18_a_thrust_8 n18_a_thrust_4 ADJ n18_a_thrust_3->n18_a_thrust_4 n18_a_thrust_4->n18_a_thrust_5 n18_a_thrust_6->n18_a_thrust_7 n18_a_thrust_8->n18_a_thrust_9 n18_a_thrust_10->n18_a_thrust_11 
( (FRAG (NP;{LIMPET} (ADJP (ADJ Automatic;{automatic}))
                     (NPR Limpet;{Limpet})
                     (NS Guns;{gun}))
        (PUNC :))
  (ID 18_a_thrust))