( (IP-MAT (NP-SBJ;{CITY} (D This;{this})
                         (N city;{city}))
          (DOD did;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_I_ die;{die})
          (PUNC <mdash>)
          (PRN (IP-MAT (NP-SBJ;{CITY} (PRO it;{it}))
                       (BED;_cat_VePASS_ was;{be})
                       (IP-PPL-CAT (NP-LGS *)
                                   (VVN;_Tn_ murdered;{murder}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 270_a_dick_1952))

arc(r_0270_0003__did_r_0270_0005__die,r_0270_0001__This_r_0270_0002__city,arg0).
arc(r_0270_0003__did_r_0270_0005__die,r_0270_0008__was,prn).
arc(r_0270_0004__n_apos_t,r_0270_0003__did_r_0270_0005__die,keep_scope).
arc(r_0270_0008__was,r_0270_0009__murdered,scope).
arc(r_0270_0009__murdered,r_0270_0001__This_r_0270_0002__city,arg1).
arc(r_0270_0009__murdered,z_0270_5005___star_,arg0).

fof(formula,axiom,
    ~ ? [R_0270_0001__THIS_R_0270_0002__CITY,Z_0270_5005___STAR_,R_0270_0008__WAS_R_0270_0009__MURDERED,R_0270_0003__DID_R_0270_0005__DIE] :
        ( r_0270_0001__This_r_0270_0002__city(R_0270_0001__THIS_R_0270_0002__CITY)
        & z_0270_5005___star_(Z_0270_5005___STAR_)
        & r_0270_0003__did_r_0270_0005__die(R_0270_0003__DID_R_0270_0005__DIE)
        & has_prn(R_0270_0003__DID_R_0270_0005__DIE,R_0270_0008__WAS_R_0270_0009__MURDERED)
        & r_0270_0008__was_r_0270_0009__murdered(R_0270_0008__WAS_R_0270_0009__MURDERED)
        & has_arg0(R_0270_0008__WAS_R_0270_0009__MURDERED,Z_0270_5005___STAR_)
        & has_arg1(R_0270_0008__WAS_R_0270_0009__MURDERED,R_0270_0001__THIS_R_0270_0002__CITY)
        & has_arg0(R_0270_0003__DID_R_0270_0005__DIE,R_0270_0001__THIS_R_0270_0002__CITY) ) ).