arc(r_0003_0001__Everything_quant, r_0003_0002__was, scope).
arc(r_0003_0001__Everything_quant, z_000_3_a_dick_1952_2, restriction).
arc(r_0003_0002__was, z_000_3_a_dick_1952_2, arg0).
arc(r_0003_0002__was, z_000_3_a_dick_1952_8, prd).
arc(z_000_3_a_dick_1952_8, r_0003_0003__silent, conj1).
arc(z_000_3_a_dick_1952_8, r_0003_0005__dead, conj2).

fof(formula,axiom,
    ! [Z_000_3_A_DICK_1952_2] :
      ( z_000_3_a_dick_1952_2(Z_000_3_A_DICK_1952_2)
     => ? [R_0003_0003__SILENT,R_0003_0005__DEAD,Z_000_3_A_DICK_1952_8,R_0003_0002__WAS] :
          ( r_0003_0003__silent(R_0003_0003__SILENT)
          & r_0003_0005__dead(R_0003_0005__DEAD)
          & r_0003_0002__was(R_0003_0002__WAS)
          & has_prd(R_0003_0002__WAS,Z_000_3_A_DICK_1952_8)
          & z_000_3_a_dick_1952_8(Z_000_3_A_DICK_1952_8)
          & has_conj2(Z_000_3_A_DICK_1952_8,R_0003_0005__DEAD)
          & has_conj1(Z_000_3_A_DICK_1952_8,R_0003_0003__SILENT)
          & has_arg0(R_0003_0002__WAS,Z_000_3_A_DICK_1952_2) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Everything;{everything}))
          (BED;_La_ was;{be})
          (ADJP-PRD (AJLYR (AJLYR (ADJ silent;{silent}))
                           (PUNC ,)
                           (CONJP (AJLYR (ADJ dead;{dead})))))
          (PUNC .))
  (ID 3_a_dick_1952))