541_a_dick_1952
With a hammer or a stick of wood.
( (FRAG (PP-NIM (P-ROLE With;{with})
(NP (NLYR (NLYR (D a;{a})
(N hammer;{hammer}))
(CONJP (CONJ or;{or})
(NLYR (D a;{a})
(N stick;{stick})
(PP (P-ROLE of;{of})
(NP (N wood;{wood}))))))))
(PUNC .))
(ID 541_a_dick_1952))
arc(r_0541_0004__or,r_0541_0002__a_r_0541_0003__hammer,conj1).
arc(r_0541_0004__or,r_0541_0005__a_r_0541_0006__stick,conj2).
arc(r_0541_0005__a_r_0541_0006__stick,r_0541_0008__wood,r_0541_0007__of).
arc(z_0541_5005,r_0541_0004__or,r_0541_0001__With__nim).
fof(formula,axiom,
? [R_0541_0002__A_R_0541_0003__HAMMER,R_0541_0008__WOOD,R_0541_0005__A_R_0541_0006__STICK,R_0541_0004__OR,Z_0541_5005] :
( r_0541_0002__a_r_0541_0003__hammer(R_0541_0002__A_R_0541_0003__HAMMER)
& r_0541_0008__wood(R_0541_0008__WOOD)
& z_0541_5005(Z_0541_5005)
& has_r_0541_0001__With__nim(Z_0541_5005,R_0541_0004__OR)
& r_0541_0004__or(R_0541_0004__OR)
& has_conj2(R_0541_0004__OR,R_0541_0005__A_R_0541_0006__STICK)
& r_0541_0005__a_r_0541_0006__stick(R_0541_0005__A_R_0541_0006__STICK)
& has_r_0541_0007__of(R_0541_0005__A_R_0541_0006__STICK,R_0541_0008__WOOD)
& has_conj1(R_0541_0004__OR,R_0541_0002__A_R_0541_0003__HAMMER) ) ).