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, nim18).
arc(r_0392_0007__killed, x_000_392_a_dick_1952_15, arg1).
arc(r_0392_0007__killed, z_000_392_a_dick_1952_16, arg0).

fof(formula,axiom,
    ? [R_0392_0002__HE,R_0392_0005__US,R_0392_0006__ALL,X_000_392_A_DICK_1952_15,Z_000_392_A_DICK_1952_16,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)
      & x_000_392_a_dick_1952_15(X_000_392_A_DICK_1952_15)
      & z_000_392_a_dick_1952_16(Z_000_392_A_DICK_1952_16)
      & 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_000_392_A_DICK_1952_16)
      & has_arg1(R_0392_0007__KILLED,X_000_392_A_DICK_1952_15)
      & has_nim18(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) ) ).

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