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

arc(r_0003_0001__Everything__quant,r_0003_0002__was,scope).
arc(r_0003_0001__Everything__quant,z_0003_5003,restriction).
arc(r_0003_0002__was,z_0003_5003,arg0).
arc(r_0003_0002__was,z_0003_5007,prd).
arc(z_0003_5007,r_0003_0003__silent,conj1).
arc(z_0003_5007,r_0003_0005__dead,conj2).

fof(formula,axiom,
    ! [Z_0003_5003] :
      ( z_0003_5003(Z_0003_5003)
     => ? [R_0003_0003__SILENT,R_0003_0005__DEAD,Z_0003_5007,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_0003_5007)
          & z_0003_5007(Z_0003_5007)
          & has_conj2(Z_0003_5007,R_0003_0005__DEAD)
          & has_conj1(Z_0003_5007,R_0003_0003__SILENT)
          & has_arg0(R_0003_0002__WAS,Z_0003_5003) ) ) ).