TSPC 564_a_dick

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.

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).

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) ) ).

( (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))