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_3_A_DICK_1952_2] :
      ( true
     => ? [R_3_2_WAS,Z_3_A_DICK_1952_8,R_3_3_SILENT,R_3_5_DEAD] :
          ( silent(R_3_3_SILENT)
          & dead(R_3_5_DEAD)
          & was(R_3_2_WAS,Z_3_A_DICK_1952_2,Z_3_A_DICK_1952_8)
          & z_3_a_dick_1952_8(Z_3_A_DICK_1952_8)
          & conj1(Z_3_A_DICK_1952_8,R_3_3_SILENT)
          & conj2(Z_3_A_DICK_1952_8,R_3_5_DEAD) ) ) ).

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