( (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))

arc(r_0085_0002__Fire,r_0085_0003__over_here,qual).
arc(r_0085_0006__ignited,r_0085_0005__wiring,inv_arg1).
arc(r_0085_0006__ignited,z_0085_5007___star_,arg0).
arc(z_0085_5009,r_0085_0002__Fire,conj1).
arc(z_0085_5009,r_0085_0005__wiring,conj2).
arc(z_0085_5010,z_0085_5009,z_0085_5002).

fof(formula,axiom,
    ? [R_0085_0003__OVER_HERE,R_0085_0002__FIRE,Z_0085_5007___STAR_,R_0085_0006__IGNITED,R_0085_0005__WIRING,Z_0085_5009,Z_0085_5010] :
      ( r_0085_0003__over_here(R_0085_0003__OVER_HERE)
      & z_0085_5007___star_(Z_0085_5007___STAR_)
      & z_0085_5010(Z_0085_5010)
      & has_z_0085_5002(Z_0085_5010,Z_0085_5009)
      & z_0085_5009(Z_0085_5009)
      & has_conj2(Z_0085_5009,R_0085_0005__WIRING)
      & r_0085_0005__wiring(R_0085_0005__WIRING)
      & has_inv_arg1(R_0085_0005__WIRING,R_0085_0006__IGNITED)
      & r_0085_0006__ignited(R_0085_0006__IGNITED)
      & has_arg0(R_0085_0006__IGNITED,Z_0085_5007___STAR_)
      & has_conj1(Z_0085_5009,R_0085_0002__FIRE)
      & r_0085_0002__Fire(R_0085_0002__FIRE)
      & has_qual(R_0085_0002__FIRE,R_0085_0003__OVER_HERE) ) ).