Context                Previous, Next                Top


568_a_dick_1952
Finally the warheads themselves were carried off and the firing pins removed.

%3 r_0568_0005__were were r_0568_0001__Finally Finally r_0568_0005__were->r_0568_0001__Finally [nim] r_0568_0004__themselves themselves r_0568_0005__were->r_0568_0004__themselves [nim] r_0568_0006__carried_r_0568_0007__off carried off r_0568_0005__were->r_0568_0006__carried_r_0568_0007__off [scope] r_0568_0002__the_r_0568_0003__warheads the warheads r_0568_0006__carried_r_0568_0007__off->r_0568_0002__the_r_0568_0003__warheads [arg1] z_000_568_a_dick_1952_18 r_0568_0006__carried_r_0568_0007__off->z_000_568_a_dick_1952_18 [arg0] r_0568_0008__and and r_0568_0008__and->r_0568_0005__were [conj1] z_000_568_a_dick_1952_27 r_0568_0008__and->z_000_568_a_dick_1952_27 [conj2] r_0568_0012__removed removed z_000_568_a_dick_1952_27->r_0568_0012__removed [scope] r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins the firing pins r_0568_0012__removed->r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins [arg1] z_000_568_a_dick_1952_36 r_0568_0012__removed->z_000_568_a_dick_1952_36 [arg0] 
arc(r_0568_0005__were, r_0568_0001__Finally, nim4).
arc(r_0568_0005__were, r_0568_0004__themselves, nim12).
arc(r_0568_0005__were, r_0568_0006__carried_r_0568_0007__off, scope).
arc(r_0568_0006__carried_r_0568_0007__off, r_0568_0002__the_r_0568_0003__warheads, arg1).
arc(r_0568_0006__carried_r_0568_0007__off, z_000_568_a_dick_1952_18, arg0).
arc(r_0568_0008__and, r_0568_0005__were, conj1).
arc(r_0568_0008__and, z_000_568_a_dick_1952_27, conj2).
arc(r_0568_0012__removed, r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins, arg1).
arc(r_0568_0012__removed, z_000_568_a_dick_1952_36, arg0).
arc(z_000_568_a_dick_1952_27, r_0568_0012__removed, scope).


%3 z_000_568_a_dick_1952_27_r_0568_0012__removed removed z_000_568_a_dick_1952_36 z_000_568_a_dick_1952_27_r_0568_0012__removed->z_000_568_a_dick_1952_36 [arg0] r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins the firing pins z_000_568_a_dick_1952_27_r_0568_0012__removed->r_0568_0009__the_r_0568_0010__firing_r_0568_0011__pins [arg1] r_0568_0008__and and r_0568_0008__and->z_000_568_a_dick_1952_27_r_0568_0012__removed [conj2] r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off were carried off r_0568_0008__and->r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off [conj1] z_000_568_a_dick_1952_18 r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off->z_000_568_a_dick_1952_18 [arg0] r_0568_0002__the_r_0568_0003__warheads the warheads r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off->r_0568_0002__the_r_0568_0003__warheads [arg1] r_0568_0004__themselves themselves r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off->r_0568_0004__themselves [nim] r_0568_0001__Finally Finally r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off->r_0568_0001__Finally [nim] 
fof(formula,axiom,
    ? [R_568_8_AND,R_568_5_WERE_CARRIED_OFF,Z_568_A_DICK_1952_18,R_568_2_THE_WARHEADS,R_568_4_THEMSELVES,R_568_1_FINALLY,Z_568_A_DICK_1952_27_REMOVED,Z_568_A_DICK_1952_36,R_568_9_THE_FIRING_PINS] :
      ( the_warheads(R_568_2_THE_WARHEADS)
      & themselves(R_568_4_THEMSELVES)
      & finally(R_568_1_FINALLY)
      & the_firing_pins(R_568_9_THE_FIRING_PINS)
      & and(R_568_8_AND)
      & conj1(R_568_8_AND,R_568_5_WERE_CARRIED_OFF)
      & were_carried_off(R_568_5_WERE_CARRIED_OFF,Z_568_A_DICK_1952_18,R_568_2_THE_WARHEADS)
      & nim12(R_568_5_WERE_CARRIED_OFF,R_568_4_THEMSELVES)
      & nim4(R_568_5_WERE_CARRIED_OFF,R_568_1_FINALLY)
      & conj2(R_568_8_AND,Z_568_A_DICK_1952_27_REMOVED)
      & z_568_a_dick_1952_27_removed(Z_568_A_DICK_1952_27_REMOVED,Z_568_A_DICK_1952_36,R_568_9_THE_FIRING_PINS) ) ).


n568_a_dick_1952 n568_a_dick_1952__1_1_1_1_1_1 Finally n568_a_dick_1952__1_1_1_2_1_1 the n568_a_dick_1952__1_1_1_2_2_1 warheads n568_a_dick_1952__1_1_1_3_1_1 themselves n568_a_dick_1952__1_1_1_4_1 were n568_a_dick_1952__1_1_1_5_1_1 * n568_a_dick_1952__1_1_1_5_2_1 carried n568_a_dick_1952__1_1_1_5_3_1 off n568_a_dick_1952__1_1_2_1_1 and n568_a_dick_1952__1_1_2_2_1_1_1 the n568_a_dick_1952__1_1_2_2_1_2_1 firing n568_a_dick_1952__1_1_2_2_1_3_1 pins n568_a_dick_1952__1_1_2_2_2_1_1 * n568_a_dick_1952__1_1_2_2_2_2_1 removed n568_a_dick_1952__1_2_1 . n568_a_dick_1952__1 IP-MAT n568_a_dick_1952__1_1 ILYR n568_a_dick_1952__1->n568_a_dick_1952__1_1 n568_a_dick_1952__1_2 PUNC n568_a_dick_1952__1->n568_a_dick_1952__1_2 n568_a_dick_1952__1_1_1 ILYR n568_a_dick_1952__1_1->n568_a_dick_1952__1_1_1 n568_a_dick_1952__1_1_2 CONJP n568_a_dick_1952__1_1->n568_a_dick_1952__1_1_2 n568_a_dick_1952__1_1_1_1 ADVP-NIM n568_a_dick_1952__1_1_1->n568_a_dick_1952__1_1_1_1 n568_a_dick_1952__1_1_1_2 NP-SBJ n568_a_dick_1952__1_1_1->n568_a_dick_1952__1_1_1_2 n568_a_dick_1952__1_1_1_3 NP-RFL n568_a_dick_1952__1_1_1->n568_a_dick_1952__1_1_1_3 n568_a_dick_1952__1_1_1_4 BED;_cat_VePASS_ n568_a_dick_1952__1_1_1->n568_a_dick_1952__1_1_1_4 n568_a_dick_1952__1_1_1_5 IP-PPL-CAT n568_a_dick_1952__1_1_1->n568_a_dick_1952__1_1_1_5 n568_a_dick_1952__1_1_1_1_1 ADV n568_a_dick_1952__1_1_1_1->n568_a_dick_1952__1_1_1_1_1 n568_a_dick_1952__1_1_1_1_1->n568_a_dick_1952__1_1_1_1_1_1 n568_a_dick_1952__1_1_1_2_1 D n568_a_dick_1952__1_1_1_2->n568_a_dick_1952__1_1_1_2_1 n568_a_dick_1952__1_1_1_2_2 NS n568_a_dick_1952__1_1_1_2->n568_a_dick_1952__1_1_1_2_2 n568_a_dick_1952__1_1_1_2_1->n568_a_dick_1952__1_1_1_2_1_1 n568_a_dick_1952__1_1_1_2_2->n568_a_dick_1952__1_1_1_2_2_1 n568_a_dick_1952__1_1_1_3_1 PNX n568_a_dick_1952__1_1_1_3->n568_a_dick_1952__1_1_1_3_1 n568_a_dick_1952__1_1_1_3_1->n568_a_dick_1952__1_1_1_3_1_1 n568_a_dick_1952__1_1_1_4->n568_a_dick_1952__1_1_1_4_1 n568_a_dick_1952__1_1_1_5_1 NP-LGS n568_a_dick_1952__1_1_1_5->n568_a_dick_1952__1_1_1_5_1 n568_a_dick_1952__1_1_1_5_2 VVN;_phr_Vn<=>p_ n568_a_dick_1952__1_1_1_5->n568_a_dick_1952__1_1_1_5_2 n568_a_dick_1952__1_1_1_5_3 RP n568_a_dick_1952__1_1_1_5->n568_a_dick_1952__1_1_1_5_3 n568_a_dick_1952__1_1_1_5_1->n568_a_dick_1952__1_1_1_5_1_1 n568_a_dick_1952__1_1_1_5_2->n568_a_dick_1952__1_1_1_5_2_1 n568_a_dick_1952__1_1_1_5_3->n568_a_dick_1952__1_1_1_5_3_1 n568_a_dick_1952__1_1_2_1 CONJ n568_a_dick_1952__1_1_2->n568_a_dick_1952__1_1_2_1 n568_a_dick_1952__1_1_2_2 ILYR n568_a_dick_1952__1_1_2->n568_a_dick_1952__1_1_2_2 n568_a_dick_1952__1_1_2_1->n568_a_dick_1952__1_1_2_1_1 n568_a_dick_1952__1_1_2_2_1 NP-SBJ n568_a_dick_1952__1_1_2_2->n568_a_dick_1952__1_1_2_2_1 n568_a_dick_1952__1_1_2_2_2 IP-PPL-CAT n568_a_dick_1952__1_1_2_2->n568_a_dick_1952__1_1_2_2_2 n568_a_dick_1952__1_1_2_2_1_1 D n568_a_dick_1952__1_1_2_2_1->n568_a_dick_1952__1_1_2_2_1_1 n568_a_dick_1952__1_1_2_2_1_2 N n568_a_dick_1952__1_1_2_2_1->n568_a_dick_1952__1_1_2_2_1_2 n568_a_dick_1952__1_1_2_2_1_3 NS n568_a_dick_1952__1_1_2_2_1->n568_a_dick_1952__1_1_2_2_1_3 n568_a_dick_1952__1_1_2_2_1_1->n568_a_dick_1952__1_1_2_2_1_1_1 n568_a_dick_1952__1_1_2_2_1_2->n568_a_dick_1952__1_1_2_2_1_2_1 n568_a_dick_1952__1_1_2_2_1_3->n568_a_dick_1952__1_1_2_2_1_3_1 n568_a_dick_1952__1_1_2_2_2_1 NP-LGS n568_a_dick_1952__1_1_2_2_2->n568_a_dick_1952__1_1_2_2_2_1 n568_a_dick_1952__1_1_2_2_2_2 VVN;_Tn_ n568_a_dick_1952__1_1_2_2_2->n568_a_dick_1952__1_1_2_2_2_2 n568_a_dick_1952__1_1_2_2_2_1->n568_a_dick_1952__1_1_2_2_2_1_1 n568_a_dick_1952__1_1_2_2_2_2->n568_a_dick_1952__1_1_2_2_2_2_1 n568_a_dick_1952__1_2->n568_a_dick_1952__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Finally;{finally}))
                      (NP-SBJ (D the;{the})
                              (NS warheads;{warhead}))
                      (NP-RFL (PNX themselves;{themselves}))
                      (BED;_cat_VePASS_ were;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_phr_Vn<=>p_ carried;{carry[off]})
                                  (RP off;{off})))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N firing;{firing})
                                     (NS pins;{pin}))
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Tn_ removed;{remove})))))
          (PUNC .))
  (ID 568_a_dick_1952))