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_0085_0005__WIRING,Z_000_85_A_DICK_1952_19,R_0085_0006__IGNITED,R_0085_0003__OVER_HERE,R_0085_0002__FIRE,Z_000_85_A_DICK_1952_5,Z_000_85_A_DICK_1952_1] :
( r_0085_0003__over_here(R_0085_0003__OVER_HERE)
& r_0085_0005__wiring(R_0085_0005__WIRING)
& z_000_85_a_dick_1952_19(Z_000_85_A_DICK_1952_19)
& z_000_85_a_dick_1952_1(Z_000_85_A_DICK_1952_1)
& has_nim4(Z_000_85_A_DICK_1952_1,Z_000_85_A_DICK_1952_5)
& z_000_85_a_dick_1952_5(Z_000_85_A_DICK_1952_5)
& has_conj2(Z_000_85_A_DICK_1952_5,R_0085_0005__WIRING)
& has_conj1(Z_000_85_A_DICK_1952_5,R_0085_0002__FIRE)
& r_0085_0002__Fire(R_0085_0002__FIRE)
& has_qual9(R_0085_0002__FIRE,R_0085_0003__OVER_HERE)
& r_0085_0006__ignited(R_0085_0006__IGNITED)
& has_arg0(R_0085_0006__IGNITED,Z_000_85_A_DICK_1952_19)
& has_arg1(R_0085_0006__IGNITED,R_0085_0005__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))