arc(r_0354_0001__Everyone_quant, r_0354_0002__is, scope).
arc(r_0354_0001__Everyone_quant, z_000_354_a_dick_1952_2, restriction).
arc(r_0354_0002__is, r_0354_0003__dead, prd).
arc(r_0354_0002__is, z_000_354_a_dick_1952_2, arg0).

fof(formula,axiom,
    ! [Z_354_A_DICK_1952_2] :
      ( true
     => ? [R_354_2_IS,R_354_3_DEAD] :
          ( dead(R_354_3_DEAD)
          & is(R_354_2_IS,Z_354_A_DICK_1952_2,R_354_3_DEAD) ) ) ).

( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ dead;{dead}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 354_a_dick_1952))