329_a_dick_1952
They couldn't believe him.
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_329_2_COULD_BELIEVE,R_329_1_THEY,R_329_5_HIM] :
( they(R_329_1_THEY)
& him(R_329_5_HIM)
& could_believe(R_329_2_COULD_BELIEVE,R_329_1_THEY,R_329_5_HIM) ) ).
( (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))