( (FRAG (PP-PRD (P-ROLE Like;{like})
                (IP-PPL (BAG;_cat_VePASS_ being;{be})
                        (IP-PPL-CAT (VVN;_phr_Vn<=>p_ shot;{shoot})
                                    (RP down;{down})
                                    (PP-LGS (P-ROLE;_lgs_ by;{by})
                                            (NP (D;_nphd_ that;{that}))))))
        (PUNC <mdash>)
        (PURQ <rdquo>))
  (ID 505_a_dick_1952))

arc(r_0505_0002__being,r_0505_0003__shot_r_0505_0004__down,scope).
arc(r_0505_0003__shot_r_0505_0004__down,r_0505_0006__that,r_0505_0005__by_arg0).
arc(r_0505_0003__shot_r_0505_0004__down,z_0505_5003,arg1).
arc(z_0505_5007,r_0505_0002__being,r_0505_0001__Like__prd).

fof(formula,axiom,
    ? [R_0505_0006__THAT,Z_0505_5003,R_0505_0002__BEING_R_0505_0003__SHOT_R_0505_0004__DOWN,Z_0505_5007] :
      ( r_0505_0006__that(R_0505_0006__THAT)
      & z_0505_5003(Z_0505_5003)
      & z_0505_5007(Z_0505_5007)
      & has_r_0505_0001__Like__prd(Z_0505_5007,R_0505_0002__BEING_R_0505_0003__SHOT_R_0505_0004__DOWN)
      & r_0505_0002__being_r_0505_0003__shot_r_0505_0004__down(R_0505_0002__BEING_R_0505_0003__SHOT_R_0505_0004__DOWN)
      & has_arg1(R_0505_0002__BEING_R_0505_0003__SHOT_R_0505_0004__DOWN,Z_0505_5003)
      & has_r_0505_0005__by_arg0(R_0505_0002__BEING_R_0505_0003__SHOT_R_0505_0004__DOWN,R_0505_0006__THAT) ) ).