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 r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off were carried off r_0568_0001__Finally Finally r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off->r_0568_0001__Finally [nim] 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] 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_0008__and and r_0568_0008__and->r_0568_0005__were_r_0568_0006__carried_r_0568_0007__off [conj1] z_000_568_a_dick_1952_27_r_0568_0012__removed removed r_0568_0008__and->z_000_568_a_dick_1952_27_r_0568_0012__removed [conj2] 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] 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] 
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_6 Finally n568_a_dick_1952_9 the n568_a_dick_1952_11 warheads n568_a_dick_1952_14 themselves n568_a_dick_1952_16 were n568_a_dick_1952_19 * n568_a_dick_1952_21 carried n568_a_dick_1952_23 off n568_a_dick_1952_26 and n568_a_dick_1952_30 the n568_a_dick_1952_32 firing n568_a_dick_1952_34 pins n568_a_dick_1952_37 * n568_a_dick_1952_39 removed n568_a_dick_1952_41 . n568_a_dick_1952_1 IP-MAT n568_a_dick_1952_2 ILYR n568_a_dick_1952_1->n568_a_dick_1952_2 n568_a_dick_1952_40 PUNC n568_a_dick_1952_1->n568_a_dick_1952_40 n568_a_dick_1952_3 ILYR n568_a_dick_1952_2->n568_a_dick_1952_3 n568_a_dick_1952_24 CONJP n568_a_dick_1952_2->n568_a_dick_1952_24 n568_a_dick_1952_4 ADVP-NIM n568_a_dick_1952_3->n568_a_dick_1952_4 n568_a_dick_1952_7 NP-SBJ n568_a_dick_1952_3->n568_a_dick_1952_7 n568_a_dick_1952_12 NP-RFL n568_a_dick_1952_3->n568_a_dick_1952_12 n568_a_dick_1952_15 BED;_cat_VePASS_ n568_a_dick_1952_3->n568_a_dick_1952_15 n568_a_dick_1952_17 IP-PPL-CAT n568_a_dick_1952_3->n568_a_dick_1952_17 n568_a_dick_1952_5 ADV n568_a_dick_1952_4->n568_a_dick_1952_5 n568_a_dick_1952_5->n568_a_dick_1952_6 n568_a_dick_1952_8 D n568_a_dick_1952_7->n568_a_dick_1952_8 n568_a_dick_1952_10 NS n568_a_dick_1952_7->n568_a_dick_1952_10 n568_a_dick_1952_8->n568_a_dick_1952_9 n568_a_dick_1952_10->n568_a_dick_1952_11 n568_a_dick_1952_13 PNX n568_a_dick_1952_12->n568_a_dick_1952_13 n568_a_dick_1952_13->n568_a_dick_1952_14 n568_a_dick_1952_15->n568_a_dick_1952_16 n568_a_dick_1952_18 NP-LGS n568_a_dick_1952_17->n568_a_dick_1952_18 n568_a_dick_1952_20 VVN;_phr_Vn<=>p_ n568_a_dick_1952_17->n568_a_dick_1952_20 n568_a_dick_1952_22 RP n568_a_dick_1952_17->n568_a_dick_1952_22 n568_a_dick_1952_18->n568_a_dick_1952_19 n568_a_dick_1952_20->n568_a_dick_1952_21 n568_a_dick_1952_22->n568_a_dick_1952_23 n568_a_dick_1952_25 CONJ n568_a_dick_1952_24->n568_a_dick_1952_25 n568_a_dick_1952_27 ILYR n568_a_dick_1952_24->n568_a_dick_1952_27 n568_a_dick_1952_25->n568_a_dick_1952_26 n568_a_dick_1952_28 NP-SBJ n568_a_dick_1952_27->n568_a_dick_1952_28 n568_a_dick_1952_35 IP-PPL-CAT n568_a_dick_1952_27->n568_a_dick_1952_35 n568_a_dick_1952_29 D n568_a_dick_1952_28->n568_a_dick_1952_29 n568_a_dick_1952_31 N n568_a_dick_1952_28->n568_a_dick_1952_31 n568_a_dick_1952_33 NS n568_a_dick_1952_28->n568_a_dick_1952_33 n568_a_dick_1952_29->n568_a_dick_1952_30 n568_a_dick_1952_31->n568_a_dick_1952_32 n568_a_dick_1952_33->n568_a_dick_1952_34 n568_a_dick_1952_36 NP-LGS n568_a_dick_1952_35->n568_a_dick_1952_36 n568_a_dick_1952_38 VVN;_Tn_ n568_a_dick_1952_35->n568_a_dick_1952_38 n568_a_dick_1952_36->n568_a_dick_1952_37 n568_a_dick_1952_38->n568_a_dick_1952_39 n568_a_dick_1952_40->n568_a_dick_1952_41 
( (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))