( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                      (DOD did;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                      (VB;_Tn_ expect;{expect})
                      (NP-OB1 (Q;_nphd_ all;{all})
                              (NLYR (D;_nphd_ this;{this}))))
              (PUNC ?))
  (ID 34_a_dick_1952))

arc(r_0034_0002__did_r_0034_0005__expect,r_0034_0004__we,arg0).
arc(r_0034_0002__did_r_0034_0005__expect,z_0034_5004,arg1).
arc(r_0034_0003__n_apos_t,r_0034_0006__all__quant,keep_scope).
arc(r_0034_0006__all__quant,r_0034_0002__did_r_0034_0005__expect,scope).
arc(r_0034_0006__all__quant,z_0034_5004,restriction).
arc(z_0034_5004,r_0034_0007__this,nim).

fof(formula,axiom,
    ~ ! [Z_0034_5004,R_0034_0007__THIS] :
        ( ( r_0034_0007__this(R_0034_0007__THIS)
          & z_0034_5004(Z_0034_5004)
          & has_nim(Z_0034_5004,R_0034_0007__THIS) )
       => ? [R_0034_0004__WE,R_0034_0002__DID_R_0034_0005__EXPECT] :
            ( r_0034_0004__we(R_0034_0004__WE)
            & r_0034_0002__did_r_0034_0005__expect(R_0034_0002__DID_R_0034_0005__EXPECT)
            & has_arg1(R_0034_0002__DID_R_0034_0005__EXPECT,Z_0034_5004)
            & has_arg0(R_0034_0002__DID_R_0034_0005__EXPECT,R_0034_0004__WE) ) ) ).