441_a_dick_1952
but he could not read it.
( (IP-MAT (CONJ;_cl_ but;{but})
(NP-SBJ;{DORLE} (PRO he;{he}))
(MD;_cat_Vi_ could;{can})
(NEG not;{not})
(IP-INF-CAT (VB;_Tn_ read;{read})
(NP-OB1;{INSCRIPTION} (PRO it;{it})))
(PUNC .))
(ID 441_a_dick_1952))
arc(r_0441_0003__could,r_0441_0005__read,scope).
arc(r_0441_0004__not,r_0441_0003__could,keep_scope).
arc(r_0441_0005__read,r_0441_0002__he,arg0).
arc(r_0441_0005__read,r_0441_0006__it,arg1).
fof(formula,axiom,
~ ? [R_0441_0002__HE,R_0441_0006__IT,R_0441_0003__COULD_R_0441_0005__READ] :
( r_0441_0002__he(R_0441_0002__HE)
& r_0441_0006__it(R_0441_0006__IT)
& r_0441_0003__could_r_0441_0005__read(R_0441_0003__COULD_R_0441_0005__READ)
& has_arg1(R_0441_0003__COULD_R_0441_0005__READ,R_0441_0006__IT)
& has_arg0(R_0441_0003__COULD_R_0441_0005__READ,R_0441_0002__HE) ) ).