218_a_dick_1952
I didn't think we had landed so close.”
( (IP-MAT (NP-SBJ;{DORLE} (PRO I;{I}))
(DOD did;{do})
(NEG;_clitic_ n<apos>t;{not})
(VB;_Tf_ think;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_I_ landed;{land})
(ADVP-NIM (ADVP (ADV so;{so}))
(ADV close;{close})))))
(PUNC .)
(PURQ <rdquo>))
(ID 218_a_dick_1952))
arc(r_0218_0002__did_r_0218_0004__think,r_0218_0001__I,arg0).
arc(r_0218_0002__did_r_0218_0004__think,r_0218_0006__had,arg1).
arc(r_0218_0003__n_apos_t,r_0218_0002__did_r_0218_0004__think,keep_scope).
arc(r_0218_0006__had,r_0218_0007__landed,scope).
arc(r_0218_0007__landed,r_0218_0005__we,arg0).
arc(r_0218_0007__landed,r_0218_0009__close,nim).
arc(r_0218_0009__close,r_0218_0008__so,qual).
fof(formula,axiom,
~ ? [R_0218_0001__I,R_0218_0005__WE,R_0218_0008__SO,R_0218_0009__CLOSE,R_0218_0006__HAD_R_0218_0007__LANDED,R_0218_0002__DID_R_0218_0004__THINK] :
( r_0218_0001__I(R_0218_0001__I)
& r_0218_0005__we(R_0218_0005__WE)
& r_0218_0008__so(R_0218_0008__SO)
& r_0218_0002__did_r_0218_0004__think(R_0218_0002__DID_R_0218_0004__THINK)
& has_arg1(R_0218_0002__DID_R_0218_0004__THINK,R_0218_0006__HAD_R_0218_0007__LANDED)
& r_0218_0006__had_r_0218_0007__landed(R_0218_0006__HAD_R_0218_0007__LANDED)
& has_nim(R_0218_0006__HAD_R_0218_0007__LANDED,R_0218_0009__CLOSE)
& r_0218_0009__close(R_0218_0009__CLOSE)
& has_qual(R_0218_0009__CLOSE,R_0218_0008__SO)
& has_arg0(R_0218_0006__HAD_R_0218_0007__LANDED,R_0218_0005__WE)
& has_arg0(R_0218_0002__DID_R_0218_0004__THINK,R_0218_0001__I) ) ).