( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ;{TANCE} (PRO He;{he}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_VP24C_ get;{get})
                      (NP-OB1;{DORLE+NASHA+TANCE} (PRO us;{we}))
                      (IP-PPL-PRD (NP-LGS *)
                                  (ADVP-NIM (ADV all;{all}))
                                  (VVN;_Tn_ killed;{kill})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 392_a_dick_1952))

arc(r_0392_0003___apos_ll,r_0392_0004__get,scope).
arc(r_0392_0004__get,r_0392_0002__He,arg0).
arc(r_0392_0004__get,r_0392_0005__us,arg1).
arc(r_0392_0004__get,r_0392_0007__killed,prd).
arc(r_0392_0007__killed,r_0392_0006__all,nim).
arc(r_0392_0007__killed,z_0392_5004,arg1).
arc(r_0392_0007__killed,z_0392_5006___star_,arg0).

fof(formula,axiom,
    ? [R_0392_0002__HE,R_0392_0005__US,R_0392_0006__ALL,Z_0392_5004,Z_0392_5006___STAR_,R_0392_0007__KILLED,R_0392_0003___APOS_LL_R_0392_0004__GET] :
      ( r_0392_0002__He(R_0392_0002__HE)
      & r_0392_0005__us(R_0392_0005__US)
      & r_0392_0006__all(R_0392_0006__ALL)
      & z_0392_5004(Z_0392_5004)
      & z_0392_5006___star_(Z_0392_5006___STAR_)
      & r_0392_0003___apos_ll_r_0392_0004__get(R_0392_0003___APOS_LL_R_0392_0004__GET)
      & has_prd(R_0392_0003___APOS_LL_R_0392_0004__GET,R_0392_0007__KILLED)
      & r_0392_0007__killed(R_0392_0007__KILLED)
      & has_arg0(R_0392_0007__KILLED,Z_0392_5006___STAR_)
      & has_arg1(R_0392_0007__KILLED,Z_0392_5004)
      & has_nim(R_0392_0007__KILLED,R_0392_0006__ALL)
      & has_arg1(R_0392_0003___APOS_LL_R_0392_0004__GET,R_0392_0005__US)
      & has_arg0(R_0392_0003___APOS_LL_R_0392_0004__GET,R_0392_0002__HE) ) ).