( (IP-MAT (NP-SBJ;{NASHA+TANCE} (PRO They;{they}))
          (MD;_cat_Vi_ could;{can})
          (NEG;_clitic_ n<apos>t;{not})
          (IP-INF-CAT (VB;_Tn_ believe;{believe})
                      (NP-OB1;{DORLE} (PRO him;{he})))
          (PUNC .))
  (ID 329_a_dick_1952))

arc(r_0329_0002__could,r_0329_0004__believe,scope).
arc(r_0329_0003__n_apos_t,r_0329_0002__could,keep_scope).
arc(r_0329_0004__believe,r_0329_0001__They,arg0).
arc(r_0329_0004__believe,r_0329_0005__him,arg1).

fof(formula,axiom,
    ~ ? [R_0329_0001__THEY,R_0329_0005__HIM,R_0329_0002__COULD_R_0329_0004__BELIEVE] :
        ( r_0329_0001__They(R_0329_0001__THEY)
        & r_0329_0005__him(R_0329_0005__HIM)
        & r_0329_0002__could_r_0329_0004__believe(R_0329_0002__COULD_R_0329_0004__BELIEVE)
        & has_arg1(R_0329_0002__COULD_R_0329_0004__BELIEVE,R_0329_0005__HIM)
        & has_arg0(R_0329_0002__COULD_R_0329_0004__BELIEVE,R_0329_0001__THEY) ) ).