566_a_dick_1952
The wiring was pulled out, torn to shreds.
arc(r_0566_0003__was, z_000_566_a_dick_1952_10, scope).
arc(r_0566_0004__pulled_r_0566_0005__out, r_0566_0001__The_r_0566_0002__wiring, arg0).
arc(r_0566_0007__torn, r_0566_0001__The_r_0566_0002__wiring, arg0).
arc(r_0566_0007__torn, r_0566_0009__shreds, r_0566_0008__to_clr25).
arc(z_000_566_a_dick_1952_10, r_0566_0004__pulled_r_0566_0005__out, conj1).
arc(z_000_566_a_dick_1952_10, r_0566_0007__torn, conj2).
fof(formula,axiom,
~ ? [Z_566_A_DICK_1952_10,R_566_4_PULLED_OUT,R_566_7_TORN,R_566_1_THE_WIRING,R_566_9_SHREDS] :
( the_wiring(R_566_1_THE_WIRING)
& shreds(R_566_9_SHREDS)
& z_566_a_dick_1952_10(Z_566_A_DICK_1952_10)
& conj1(Z_566_A_DICK_1952_10,R_566_4_PULLED_OUT)
& pulled_out(R_566_4_PULLED_OUT,R_566_1_THE_WIRING)
& conj2(Z_566_A_DICK_1952_10,R_566_7_TORN)
& torn(R_566_7_TORN,R_566_1_THE_WIRING)
& to_clr25(R_566_7_TORN,R_566_9_SHREDS) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N wiring;{wiring}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (ILYR (ILYR (VVN;_phr_Vp_ pulled;{pull})
(RP out;{out}))
(PUNC ,)
(CONJP (ILYR (VVN;_Ipr_ torn;{tear[to]})
(PP-CLR (P-ROLE to;{to})
(NP (NS shreds;{shred})))))))
(PUNC .))
(ID 566_a_dick_1952))