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_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) ) ).
( (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))