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_392_3__APOS_LL_GET,R_392_2_HE,R_392_5_US,R_392_7_KILLED,Z_392_A_DICK_1952_16,X_392_A_DICK_1952_15,R_392_6_ALL] :
      ( he(R_392_2_HE)
      & us(R_392_5_US)
      & all(R_392_6_ALL)
      & _apos_ll_get(R_392_3__APOS_LL_GET,R_392_2_HE,R_392_5_US,R_392_7_KILLED)
      & killed(R_392_7_KILLED,Z_392_A_DICK_1952_16,X_392_A_DICK_1952_15)
      & nim18(R_392_7_KILLED,R_392_6_ALL) ) ).

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