85_a_dick_1952
“Fire over here, wiring ignited.”
arc(r_0085_0002__Fire, r_0085_0003__over_here, qual9).
arc(r_0085_0006__ignited, r_0085_0005__wiring, arg1).
arc(r_0085_0006__ignited, z_000_85_a_dick_1952_19, arg0).
arc(z_000_85_a_dick_1952_1, z_000_85_a_dick_1952_5, nim4).
arc(z_000_85_a_dick_1952_5, r_0085_0002__Fire, conj1).
arc(z_000_85_a_dick_1952_5, r_0085_0005__wiring, conj2).
fof(formula,axiom,
? [R_85_6_IGNITED,Z_85_A_DICK_1952_19,Z_85_A_DICK_1952_1,Z_85_A_DICK_1952_5,R_85_2_FIRE,R_85_3_OVER_HERE,R_85_5_WIRING] :
( over_here(R_85_3_OVER_HERE)
& wiring(R_85_5_WIRING)
& ignited(R_85_6_IGNITED,Z_85_A_DICK_1952_19,R_85_5_WIRING)
& z_85_a_dick_1952_1(Z_85_A_DICK_1952_1)
& nim4(Z_85_A_DICK_1952_1,Z_85_A_DICK_1952_5)
& z_85_a_dick_1952_5(Z_85_A_DICK_1952_5)
& conj1(Z_85_A_DICK_1952_5,R_85_2_FIRE)
& fire(R_85_2_FIRE)
& qual9(R_85_2_FIRE,R_85_3_OVER_HERE)
& conj2(Z_85_A_DICK_1952_5,R_85_5_WIRING) ) ).
( (FRAG (PULQ <ldquo>)
(NP (NLYR (NLYR (N Fire;{fire})
(ADVP (ADV over_here;{over_here})))
(PUNC ,)
(CONJP (NLYR (N wiring;{wiring})
(IP-PPL (NP-LGS *)
(VVN;_Tn_ ignited;{ignite}))))))
(PUNC .)
(PURQ <rdquo>))
(ID 85_a_dick_1952))