( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D;_nphd_ that;{that}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (Q;_nphd_ all;{all}))
          (PUNC !))
  (ID 546_a_dick_1952))

arc(r_0546_0003___apos_s,r_0546_0002__that,arg0).
arc(r_0546_0003___apos_s,z_0546_5003,prd).
arc(r_0546_0004__all__quant,r_0546_0003___apos_s,scope).
arc(r_0546_0004__all__quant,z_0546_5003,restriction).

fof(formula,axiom,
    ! [Z_0546_5003] :
      ( z_0546_5003(Z_0546_5003)
     => ? [R_0546_0002__THAT,R_0546_0003___APOS_S] :
          ( r_0546_0002__that(R_0546_0002__THAT)
          & r_0546_0003___apos_s(R_0546_0003___APOS_S)
          & has_prd(R_0546_0003___APOS_S,Z_0546_5003)
          & has_arg0(R_0546_0003___APOS_S,R_0546_0002__THAT) ) ) ).