541_a_dick_1952
With a hammer or a stick of wood.
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_000_541_a_dick_1952_1, r_0541_0004__or, r_0541_0001__With_nim5).
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_000_541_A_DICK_1952_1] :
( 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_000_541_a_dick_1952_1(Z_000_541_A_DICK_1952_1)
& has_r_0541_0001__With_nim5(Z_000_541_A_DICK_1952_1,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) ) ).
( (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))