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 z_000_18_a_thrust_1 r_0018_0002__Limpet_r_0018_0003__Guns Limpet Guns z_000_18_a_thrust_1->r_0018_0002__Limpet_r_0018_0003__Guns [nim] r_0018_0001__Automatic Automatic r_0018_0002__Limpet_r_0018_0003__Guns->r_0018_0001__Automatic [attrib] 
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__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))