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_0564_0019__ANYTHING,R_0564_0022__HEAVY,R_0564_0024__HARD,R_0564_0023__AND,R_0564_0020__THAT_R_0564_0021__WAS] :
( r_0564_0019__anything(R_0564_0019__ANYTHING)
& r_0564_0022__heavy(R_0564_0022__HEAVY)
& r_0564_0024__hard(R_0564_0024__HARD)
& r_0564_0020__that_r_0564_0021__was(R_0564_0020__THAT_R_0564_0021__WAS)
& has_prd(R_0564_0020__THAT_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_arg0(R_0564_0020__THAT_R_0564_0021__WAS,R_0564_0019__ANYTHING)
& ! [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_0006__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,Z_000_564_A_DICK_1952_41,R_0564_0008__FELL] :
( r_0564_0006__they(R_0564_0006__THEY)
& 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_0008__fell(R_0564_0008__FELL)
& has_r_0564_0014__with_nim40(R_0564_0008__FELL,Z_000_564_A_DICK_1952_41)
& z_000_564_a_dick_1952_41(Z_000_564_A_DICK_1952_41)
& has_conj3(Z_000_564_A_DICK_1952_41,R_0564_0019__ANYTHING)
& has_conj2(Z_000_564_A_DICK_1952_41,R_0564_0017__HAMMERS)
& has_conj1(Z_000_564_A_DICK_1952_41,R_0564_0015__CROWBARS)
& has_nim32(R_0564_0008__FELL,R_0564_0012__AT_ONCE)
& has_r_0564_0009__on_clr27(R_0564_0008__FELL,R_0564_0010__THE_R_0564_0011__GUN)
& has_nim19(R_0564_0008__FELL,R_0564_0007__ALL)
& has_arg0(R_0564_0008__FELL,R_0564_0006__THEY) ) ) ) ).
( (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))