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.

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

arc(r_0564_0001__When,r_0564_0003__reached,restriction).
arc(r_0564_0001__When,r_0564_0008__fell_r_0564_0009__on,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_0009__on,r_0564_0002__they,arg0).
arc(r_0564_0008__fell_r_0564_0009__on,r_0564_0007__all,nim).
arc(r_0564_0008__fell_r_0564_0009__on,r_0564_0010__the_r_0564_0011__gun,arg1).
arc(r_0564_0008__fell_r_0564_0009__on,r_0564_0012__at_once,nim).
arc(r_0564_0008__fell_r_0564_0009__on,z_0564_5013,r_0564_0014__with__nim).
arc(r_0564_0021__was,r_0564_0019__anything,inv_arg0).
arc(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_0564_5013,r_0564_0015__crowbars,conj1).
arc(z_0564_5013,r_0564_0017__hammers,conj2).
arc(z_0564_5013,r_0564_0019__anything,conj3).

fof(formula,axiom,
    ! [R_0564_0003__REACHED,R_0564_0002__THEY,R_0564_0004__THE_R_0564_0005__WEAPON] :
      ( ( r_0564_0002__they(R_0564_0002__THEY)
        & r_0564_0004__the_r_0564_0005__weapon(R_0564_0004__THE_R_0564_0005__WEAPON)
        & r_0564_0003__reached(R_0564_0003__REACHED)
        & has_arg1(R_0564_0003__REACHED,R_0564_0004__THE_R_0564_0005__WEAPON)
        & has_arg0(R_0564_0003__REACHED,R_0564_0002__THEY) )
     => ? [R_0564_0007__ALL,R_0564_0010__THE_R_0564_0011__GUN,R_0564_0012__AT_ONCE,R_0564_0015__CROWBARS,R_0564_0017__HAMMERS,R_0564_0022__HEAVY,R_0564_0024__HARD,R_0564_0023__AND,R_0564_0021__WAS,R_0564_0019__ANYTHING,Z_0564_5013,R_0564_0008__FELL_R_0564_0009__ON] :
          ( r_0564_0007__all(R_0564_0007__ALL)
          & r_0564_0010__the_r_0564_0011__gun(R_0564_0010__THE_R_0564_0011__GUN)
          & r_0564_0012__at_once(R_0564_0012__AT_ONCE)
          & r_0564_0015__crowbars(R_0564_0015__CROWBARS)
          & r_0564_0017__hammers(R_0564_0017__HAMMERS)
          & r_0564_0022__heavy(R_0564_0022__HEAVY)
          & r_0564_0024__hard(R_0564_0024__HARD)
          & r_0564_0008__fell_r_0564_0009__on(R_0564_0008__FELL_R_0564_0009__ON)
          & has_r_0564_0014__with__nim(R_0564_0008__FELL_R_0564_0009__ON,Z_0564_5013)
          & z_0564_5013(Z_0564_5013)
          & has_conj3(Z_0564_5013,R_0564_0019__ANYTHING)
          & r_0564_0019__anything(R_0564_0019__ANYTHING)
          & has_inv_arg0(R_0564_0019__ANYTHING,R_0564_0021__WAS)
          & r_0564_0021__was(R_0564_0021__WAS)
          & has_prd(R_0564_0021__WAS,R_0564_0023__AND)
          & r_0564_0023__and(R_0564_0023__AND)
          & has_conj2(R_0564_0023__AND,R_0564_0024__HARD)
          & has_conj1(R_0564_0023__AND,R_0564_0022__HEAVY)
          & has_conj2(Z_0564_5013,R_0564_0017__HAMMERS)
          & has_conj1(Z_0564_5013,R_0564_0015__CROWBARS)
          & has_nim(R_0564_0008__FELL_R_0564_0009__ON,R_0564_0012__AT_ONCE)
          & has_arg1(R_0564_0008__FELL_R_0564_0009__ON,R_0564_0010__THE_R_0564_0011__GUN)
          & has_nim(R_0564_0008__FELL_R_0564_0009__ON,R_0564_0007__ALL)
          & has_arg0(R_0564_0008__FELL_R_0564_0009__ON,R_0564_0002__THEY) ) ) ).