( (FRAG (NP (Q;_nphd_ Nothing;{nothing})
            (IP-REL (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                    (MD;_cat_Vi_ could;{can})
                    (IP-INF-CAT (NP-OB1 *T*)
                                (VB;_Tn_ use;{use}))))
        (PUNC .))
  (ID 111_a_dick_1952))

arc(r_0111_0001__Nothing__quant,z_0111_5008,restriction).
arc(r_0111_0001__Nothing__quant,z_0111_5009,scope).
arc(r_0111_0003__could,r_0111_0004__use,scope).
arc(r_0111_0004__use,r_0111_0002__we,arg0).
arc(r_0111_0004__use,z_0111_5008,inv_arg1).
arc(z_0111_5009,z_0111_5008,z_0111_5002).

fof(formula,axiom,
    ! [Z_0111_5008,R_0111_0002__WE,R_0111_0003__COULD_R_0111_0004__USE] :
      ( ( r_0111_0002__we(R_0111_0002__WE)
        & z_0111_5008(Z_0111_5008)
        & has_inv_arg1(Z_0111_5008,R_0111_0003__COULD_R_0111_0004__USE)
        & r_0111_0003__could_r_0111_0004__use(R_0111_0003__COULD_R_0111_0004__USE)
        & has_arg0(R_0111_0003__COULD_R_0111_0004__USE,R_0111_0002__WE) )
     => ? [Z_0111_5009] :
          ( z_0111_5009(Z_0111_5009)
          & has_z_0111_5002(Z_0111_5009,Z_0111_5008) ) ) ).