( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{GUN} (PRO It;{it}))
          (HVP;_cat_Ve_ <apos>s;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
                      (VVN;_phr_Vn<=>p_ shot;{shoot[down]})
                      (NP-OB1;{DORLE+NASHA+TANCE} (PRO us;{we}))
                      (RP down;{down})
                      (ADVP-NIM (ADV once;{once})))
          (PUNC .))
  (ID 532_a_dick_1952))

arc(r_0532_0003___apos_s,r_0532_0005__shot_r_0532_0007__down,scope).
arc(r_0532_0005__shot_r_0532_0007__down,r_0532_0002__It,arg0).
arc(r_0532_0005__shot_r_0532_0007__down,r_0532_0004__already,nim).
arc(r_0532_0005__shot_r_0532_0007__down,r_0532_0006__us,arg1).
arc(r_0532_0005__shot_r_0532_0007__down,r_0532_0008__once,nim).

fof(formula,axiom,
    ? [R_0532_0002__IT,R_0532_0004__ALREADY,R_0532_0006__US,R_0532_0008__ONCE,R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN] :
      ( r_0532_0002__It(R_0532_0002__IT)
      & r_0532_0004__already(R_0532_0004__ALREADY)
      & r_0532_0006__us(R_0532_0006__US)
      & r_0532_0008__once(R_0532_0008__ONCE)
      & r_0532_0003___apos_s_r_0532_0005__shot_r_0532_0007__down(R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN)
      & has_nim(R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN,R_0532_0008__ONCE)
      & has_arg1(R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN,R_0532_0006__US)
      & has_nim(R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN,R_0532_0004__ALREADY)
      & has_arg0(R_0532_0003___APOS_S_R_0532_0005__SHOT_R_0532_0007__DOWN,R_0532_0002__IT) ) ).