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

arc(r_0026_0001__Everything__quant,r_0026_0002__was,scope).
arc(r_0026_0001__Everything__quant,z_0026_5003,restriction).
arc(r_0026_0002__was,r_0026_0003__silent,prd).
arc(r_0026_0002__was,z_0026_5003,arg0).
arc(r_0026_0003__silent,r_0026_0005__dead,prn).

fof(formula,axiom,
    ! [Z_0026_5003] :
      ( z_0026_5003(Z_0026_5003)
     => ? [R_0026_0005__DEAD,R_0026_0003__SILENT,R_0026_0002__WAS] :
          ( r_0026_0005__dead(R_0026_0005__DEAD)
          & r_0026_0002__was(R_0026_0002__WAS)
          & has_arg0(R_0026_0002__WAS,Z_0026_5003)
          & has_prd(R_0026_0002__WAS,R_0026_0003__SILENT)
          & r_0026_0003__silent(R_0026_0003__SILENT)
          & has_prn(R_0026_0003__SILENT,R_0026_0005__DEAD) ) ) ).