Context                Previous, Next                Top


564_a_dick_1952
When they reached the weapon they all fell on the gun at once, with crowbars, hammers, anything that was heavy and hard.

%3 r_0564_0001__When When r_0564_0003__reached reached r_0564_0001__When->r_0564_0003__reached [restriction] r_0564_0008__fell fell r_0564_0001__When->r_0564_0008__fell [scope] r_0564_0002__they they r_0564_0003__reached->r_0564_0002__they [arg0] r_0564_0004__the_r_0564_0005__weapon the weapon r_0564_0003__reached->r_0564_0004__the_r_0564_0005__weapon [arg1] r_0564_0006__they they r_0564_0008__fell->r_0564_0006__they [arg0] r_0564_0007__all all r_0564_0008__fell->r_0564_0007__all [nim] r_0564_0010__the_r_0564_0011__gun the gun r_0564_0008__fell->r_0564_0010__the_r_0564_0011__gun on [clr] r_0564_0012__at_once at once r_0564_0008__fell->r_0564_0012__at_once [nim] z_000_564_a_dick_1952_41 r_0564_0008__fell->z_000_564_a_dick_1952_41 with [nim] r_0564_0019__anything anything z_000_564_a_dick_1952_41->r_0564_0019__anything [conj3] r_0564_0015__crowbars crowbars z_000_564_a_dick_1952_41->r_0564_0015__crowbars [conj1] r_0564_0017__hammers hammers z_000_564_a_dick_1952_41->r_0564_0017__hammers [conj2] r_0564_0020__that_r_0564_0021__was that was r_0564_0020__that_r_0564_0021__was->r_0564_0019__anything [arg0] r_0564_0023__and and r_0564_0020__that_r_0564_0021__was->r_0564_0023__and [prd] r_0564_0022__heavy heavy r_0564_0023__and->r_0564_0022__heavy [conj1] r_0564_0024__hard hard r_0564_0023__and->r_0564_0024__hard [conj2] 
arc(r_0564_0001__When, r_0564_0003__reached, restriction).
arc(r_0564_0001__When, r_0564_0008__fell, scope).
arc(r_0564_0003__reached, r_0564_0002__they, arg0).
arc(r_0564_0003__reached, r_0564_0004__the_r_0564_0005__weapon, arg1).
arc(r_0564_0008__fell, r_0564_0006__they, arg0).
arc(r_0564_0008__fell, r_0564_0007__all, nim19).
arc(r_0564_0008__fell, r_0564_0010__the_r_0564_0011__gun, r_0564_0009__on_clr27).
arc(r_0564_0008__fell, r_0564_0012__at_once, nim32).
arc(r_0564_0008__fell, z_000_564_a_dick_1952_41, r_0564_0014__with_nim40).
arc(r_0564_0020__that_r_0564_0021__was, r_0564_0019__anything, arg0).
arc(r_0564_0020__that_r_0564_0021__was, r_0564_0023__and, prd).
arc(r_0564_0023__and, r_0564_0022__heavy, conj1).
arc(r_0564_0023__and, r_0564_0024__hard, conj2).
arc(z_000_564_a_dick_1952_41, r_0564_0015__crowbars, conj1).
arc(z_000_564_a_dick_1952_41, r_0564_0017__hammers, conj2).
arc(z_000_564_a_dick_1952_41, r_0564_0019__anything, conj3).


%3 r_0564_0001__When When r_0564_0003__reached reached r_0564_0001__When->r_0564_0003__reached [restriction] r_0564_0008__fell fell r_0564_0001__When->r_0564_0008__fell [scope] r_0564_0002__they they r_0564_0003__reached->r_0564_0002__they [arg0] r_0564_0004__the_r_0564_0005__weapon the weapon r_0564_0003__reached->r_0564_0004__the_r_0564_0005__weapon [arg1] r_0564_0006__they they r_0564_0008__fell->r_0564_0006__they [arg0] r_0564_0007__all all r_0564_0008__fell->r_0564_0007__all [nim] r_0564_0010__the_r_0564_0011__gun the gun r_0564_0008__fell->r_0564_0010__the_r_0564_0011__gun on [clr] r_0564_0012__at_once at once r_0564_0008__fell->r_0564_0012__at_once [nim] z_000_564_a_dick_1952_41 r_0564_0008__fell->z_000_564_a_dick_1952_41 with [nim] r_0564_0019__anything anything z_000_564_a_dick_1952_41->r_0564_0019__anything [conj3] r_0564_0015__crowbars crowbars z_000_564_a_dick_1952_41->r_0564_0015__crowbars [conj1] r_0564_0017__hammers hammers z_000_564_a_dick_1952_41->r_0564_0017__hammers [conj2] r_0564_0020__that_r_0564_0021__was that was r_0564_0020__that_r_0564_0021__was->r_0564_0019__anything [arg0] r_0564_0023__and and r_0564_0020__that_r_0564_0021__was->r_0564_0023__and [prd] r_0564_0022__heavy heavy r_0564_0023__and->r_0564_0022__heavy [conj1] r_0564_0024__hard hard r_0564_0023__and->r_0564_0024__hard [conj2] 
fof(formula,axiom,
    ? [R_564_20_THAT_WAS,R_564_19_ANYTHING,R_564_23_AND,R_564_22_HEAVY,R_564_24_HARD] :
      ( anything(R_564_19_ANYTHING)
      & heavy(R_564_22_HEAVY)
      & hard(R_564_24_HARD)
      & ! [R_564_3_REACHED,R_564_2_THEY,R_564_4_THE_WEAPON] :
          ( ( they(R_564_2_THEY)
            & the_weapon(R_564_4_THE_WEAPON)
            & reached(R_564_3_REACHED,R_564_2_THEY,R_564_4_THE_WEAPON) )
         => ? [R_564_8_FELL,R_564_6_THEY,R_564_7_ALL,R_564_12_AT_ONCE,R_564_10_THE_GUN,Z_564_A_DICK_1952_41,R_564_15_CROWBARS,R_564_17_HAMMERS] :
              ( they(R_564_6_THEY)
              & all(R_564_7_ALL)
              & at_once(R_564_12_AT_ONCE)
              & the_gun(R_564_10_THE_GUN)
              & crowbars(R_564_15_CROWBARS)
              & hammers(R_564_17_HAMMERS)
              & fell(R_564_8_FELL,R_564_6_THEY)
              & nim19(R_564_8_FELL,R_564_7_ALL)
              & nim32(R_564_8_FELL,R_564_12_AT_ONCE)
              & on_clr27(R_564_8_FELL,R_564_10_THE_GUN)
              & with_nim40(R_564_8_FELL,Z_564_A_DICK_1952_41)
              & z_564_a_dick_1952_41(Z_564_A_DICK_1952_41)
              & conj1(Z_564_A_DICK_1952_41,R_564_15_CROWBARS)
              & conj2(Z_564_A_DICK_1952_41,R_564_17_HAMMERS)
              & conj3(Z_564_A_DICK_1952_41,R_564_19_ANYTHING) ) )
      & that_was(R_564_20_THAT_WAS,R_564_19_ANYTHING,R_564_23_AND)
      & and(R_564_23_AND)
      & conj1(R_564_23_AND,R_564_22_HEAVY)
      & conj2(R_564_23_AND,R_564_24_HARD) ) ).


n564_a_dick_1952 n564_a_dick_1952_4 When n564_a_dick_1952_8 they n564_a_dick_1952_10 reached n564_a_dick_1952_13 the n564_a_dick_1952_15 weapon n564_a_dick_1952_18 they n564_a_dick_1952_21 all n564_a_dick_1952_23 fell n564_a_dick_1952_26 on n564_a_dick_1952_29 the n564_a_dick_1952_31 gun n564_a_dick_1952_34 at_once n564_a_dick_1952_36 , n564_a_dick_1952_39 with n564_a_dick_1952_44 crowbars n564_a_dick_1952_46 , n564_a_dick_1952_50 hammers n564_a_dick_1952_52 , n564_a_dick_1952_56 anything n564_a_dick_1952_59 that n564_a_dick_1952_61 *T* n564_a_dick_1952_63 was n564_a_dick_1952_68 heavy n564_a_dick_1952_71 and n564_a_dick_1952_74 hard n564_a_dick_1952_76 . n564_a_dick_1952_1 IP-MAT n564_a_dick_1952_2 PP-SCON n564_a_dick_1952_1->n564_a_dick_1952_2 n564_a_dick_1952_16 NP-SBJ n564_a_dick_1952_1->n564_a_dick_1952_16 n564_a_dick_1952_19 ADVP-NIM n564_a_dick_1952_1->n564_a_dick_1952_19 n564_a_dick_1952_22 VBD;_Ipr_ n564_a_dick_1952_1->n564_a_dick_1952_22 n564_a_dick_1952_24 PP-CLR n564_a_dick_1952_1->n564_a_dick_1952_24 n564_a_dick_1952_32 ADVP-NIM n564_a_dick_1952_1->n564_a_dick_1952_32 n564_a_dick_1952_35 PUNC n564_a_dick_1952_1->n564_a_dick_1952_35 n564_a_dick_1952_37 PP-NIM n564_a_dick_1952_1->n564_a_dick_1952_37 n564_a_dick_1952_75 PUNC n564_a_dick_1952_1->n564_a_dick_1952_75 n564_a_dick_1952_3 P-CONN n564_a_dick_1952_2->n564_a_dick_1952_3 n564_a_dick_1952_5 IP-ADV n564_a_dick_1952_2->n564_a_dick_1952_5 n564_a_dick_1952_3->n564_a_dick_1952_4 n564_a_dick_1952_6 NP-SBJ n564_a_dick_1952_5->n564_a_dick_1952_6 n564_a_dick_1952_9 VBD;_Tn_ n564_a_dick_1952_5->n564_a_dick_1952_9 n564_a_dick_1952_11 NP-OB1 n564_a_dick_1952_5->n564_a_dick_1952_11 n564_a_dick_1952_7 PRO n564_a_dick_1952_6->n564_a_dick_1952_7 n564_a_dick_1952_7->n564_a_dick_1952_8 n564_a_dick_1952_9->n564_a_dick_1952_10 n564_a_dick_1952_12 D n564_a_dick_1952_11->n564_a_dick_1952_12 n564_a_dick_1952_14 N n564_a_dick_1952_11->n564_a_dick_1952_14 n564_a_dick_1952_12->n564_a_dick_1952_13 n564_a_dick_1952_14->n564_a_dick_1952_15 n564_a_dick_1952_17 PRO n564_a_dick_1952_16->n564_a_dick_1952_17 n564_a_dick_1952_17->n564_a_dick_1952_18 n564_a_dick_1952_20 ADV n564_a_dick_1952_19->n564_a_dick_1952_20 n564_a_dick_1952_20->n564_a_dick_1952_21 n564_a_dick_1952_22->n564_a_dick_1952_23 n564_a_dick_1952_25 P-ROLE n564_a_dick_1952_24->n564_a_dick_1952_25 n564_a_dick_1952_27 NP n564_a_dick_1952_24->n564_a_dick_1952_27 n564_a_dick_1952_25->n564_a_dick_1952_26 n564_a_dick_1952_28 D n564_a_dick_1952_27->n564_a_dick_1952_28 n564_a_dick_1952_30 N n564_a_dick_1952_27->n564_a_dick_1952_30 n564_a_dick_1952_28->n564_a_dick_1952_29 n564_a_dick_1952_30->n564_a_dick_1952_31 n564_a_dick_1952_33 ADV n564_a_dick_1952_32->n564_a_dick_1952_33 n564_a_dick_1952_33->n564_a_dick_1952_34 n564_a_dick_1952_35->n564_a_dick_1952_36 n564_a_dick_1952_38 P-ROLE n564_a_dick_1952_37->n564_a_dick_1952_38 n564_a_dick_1952_40 NP n564_a_dick_1952_37->n564_a_dick_1952_40 n564_a_dick_1952_38->n564_a_dick_1952_39 n564_a_dick_1952_41 NLYR n564_a_dick_1952_40->n564_a_dick_1952_41 n564_a_dick_1952_42 NLYR n564_a_dick_1952_41->n564_a_dick_1952_42 n564_a_dick_1952_45 PUNC n564_a_dick_1952_41->n564_a_dick_1952_45 n564_a_dick_1952_47 CONJP n564_a_dick_1952_41->n564_a_dick_1952_47 n564_a_dick_1952_51 PUNC n564_a_dick_1952_41->n564_a_dick_1952_51 n564_a_dick_1952_53 CONJP n564_a_dick_1952_41->n564_a_dick_1952_53 n564_a_dick_1952_43 NS n564_a_dick_1952_42->n564_a_dick_1952_43 n564_a_dick_1952_43->n564_a_dick_1952_44 n564_a_dick_1952_45->n564_a_dick_1952_46 n564_a_dick_1952_48 NLYR n564_a_dick_1952_47->n564_a_dick_1952_48 n564_a_dick_1952_49 NS n564_a_dick_1952_48->n564_a_dick_1952_49 n564_a_dick_1952_49->n564_a_dick_1952_50 n564_a_dick_1952_51->n564_a_dick_1952_52 n564_a_dick_1952_54 NLYR n564_a_dick_1952_53->n564_a_dick_1952_54 n564_a_dick_1952_55 D;_nphd_ n564_a_dick_1952_54->n564_a_dick_1952_55 n564_a_dick_1952_57 IP-REL n564_a_dick_1952_54->n564_a_dick_1952_57 n564_a_dick_1952_55->n564_a_dick_1952_56 n564_a_dick_1952_58 C n564_a_dick_1952_57->n564_a_dick_1952_58 n564_a_dick_1952_60 NP-SBJ n564_a_dick_1952_57->n564_a_dick_1952_60 n564_a_dick_1952_62 BED;_La_ n564_a_dick_1952_57->n564_a_dick_1952_62 n564_a_dick_1952_64 ADJP-PRD n564_a_dick_1952_57->n564_a_dick_1952_64 n564_a_dick_1952_58->n564_a_dick_1952_59 n564_a_dick_1952_60->n564_a_dick_1952_61 n564_a_dick_1952_62->n564_a_dick_1952_63 n564_a_dick_1952_65 AJLYR n564_a_dick_1952_64->n564_a_dick_1952_65 n564_a_dick_1952_66 AJLYR n564_a_dick_1952_65->n564_a_dick_1952_66 n564_a_dick_1952_69 CONJP n564_a_dick_1952_65->n564_a_dick_1952_69 n564_a_dick_1952_67 ADJ n564_a_dick_1952_66->n564_a_dick_1952_67 n564_a_dick_1952_67->n564_a_dick_1952_68 n564_a_dick_1952_70 CONJ n564_a_dick_1952_69->n564_a_dick_1952_70 n564_a_dick_1952_72 AJLYR n564_a_dick_1952_69->n564_a_dick_1952_72 n564_a_dick_1952_70->n564_a_dick_1952_71 n564_a_dick_1952_73 ADJ n564_a_dick_1952_72->n564_a_dick_1952_73 n564_a_dick_1952_73->n564_a_dick_1952_74 n564_a_dick_1952_75->n564_a_dick_1952_76 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
                           (VBD;_Tn_ reached;{reach})
                           (NP-OB1 (D the;{the})
                                   (N weapon;{weapon}))))
          (NP-SBJ;{TRESPASSERS} (PRO they;{they}))
          (ADVP-NIM (ADV all;{all}))
          (VBD;_Ipr_ fell;{fall[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N gun;{gun})))
          (ADVP-NIM (ADV at_once;{at_once}))
          (PUNC ,)
          (PP-NIM (P-ROLE with;{with})
                  (NP (NLYR (NLYR (NS crowbars;{crowbar}))
                            (PUNC ,)
                            (CONJP (NLYR (NS hammers;{hammer})))
                            (PUNC ,)
                            (CONJP (NLYR (D;_nphd_ anything;{anything})
                                         (IP-REL (C that;{that})
                                                 (NP-SBJ *T*)
                                                 (BED;_La_ was;{be})
                                                 (ADJP-PRD (AJLYR (AJLYR (ADJ heavy;{heavy}))
                                                                  (CONJP (CONJ and;{and})
                                                                         (AJLYR (ADJ hard;{hard})))))))))))
          (PUNC .))
  (ID 564_a_dick_1952))