218_a_dick_1952
I didn't think we had landed so close.”

n218_a_dick_1952 n218_a_dick_1952__1_1_1_1 I n218_a_dick_1952__1_2_1 did n218_a_dick_1952__1_3_1 n't n218_a_dick_1952__1_4_1 think n218_a_dick_1952__1_5_1_1_1_1 we n218_a_dick_1952__1_5_1_2_1 had n218_a_dick_1952__1_5_1_3_1_1 landed n218_a_dick_1952__1_5_1_3_2_1_1_1 so n218_a_dick_1952__1_5_1_3_2_2_1 close n218_a_dick_1952__1_6_1 . n218_a_dick_1952__1_7_1 <rdquo> n218_a_dick_1952__1 IP-MAT n218_a_dick_1952__1_1 NP-SBJ n218_a_dick_1952__1->n218_a_dick_1952__1_1 n218_a_dick_1952__1_2 DOD n218_a_dick_1952__1->n218_a_dick_1952__1_2 n218_a_dick_1952__1_3 NEG;_clitic_ n218_a_dick_1952__1->n218_a_dick_1952__1_3 n218_a_dick_1952__1_4 VB;_Tf_ n218_a_dick_1952__1->n218_a_dick_1952__1_4 n218_a_dick_1952__1_5 CP-THT-OB1 n218_a_dick_1952__1->n218_a_dick_1952__1_5 n218_a_dick_1952__1_6 PUNC n218_a_dick_1952__1->n218_a_dick_1952__1_6 n218_a_dick_1952__1_7 PURQ n218_a_dick_1952__1->n218_a_dick_1952__1_7 n218_a_dick_1952__1_1_1 PRO n218_a_dick_1952__1_1->n218_a_dick_1952__1_1_1 n218_a_dick_1952__1_1_1->n218_a_dick_1952__1_1_1_1 n218_a_dick_1952__1_2->n218_a_dick_1952__1_2_1 n218_a_dick_1952__1_3->n218_a_dick_1952__1_3_1 n218_a_dick_1952__1_4->n218_a_dick_1952__1_4_1 n218_a_dick_1952__1_5_1 IP-SUB n218_a_dick_1952__1_5->n218_a_dick_1952__1_5_1 n218_a_dick_1952__1_5_1_1 NP-SBJ n218_a_dick_1952__1_5_1->n218_a_dick_1952__1_5_1_1 n218_a_dick_1952__1_5_1_2 HVD;_cat_Ve_ n218_a_dick_1952__1_5_1->n218_a_dick_1952__1_5_1_2 n218_a_dick_1952__1_5_1_3 IP-PPL-CAT n218_a_dick_1952__1_5_1->n218_a_dick_1952__1_5_1_3 n218_a_dick_1952__1_5_1_1_1 PRO n218_a_dick_1952__1_5_1_1->n218_a_dick_1952__1_5_1_1_1 n218_a_dick_1952__1_5_1_1_1->n218_a_dick_1952__1_5_1_1_1_1 n218_a_dick_1952__1_5_1_2->n218_a_dick_1952__1_5_1_2_1 n218_a_dick_1952__1_5_1_3_1 VVN;_I_ n218_a_dick_1952__1_5_1_3->n218_a_dick_1952__1_5_1_3_1 n218_a_dick_1952__1_5_1_3_2 ADVP-NIM n218_a_dick_1952__1_5_1_3->n218_a_dick_1952__1_5_1_3_2 n218_a_dick_1952__1_5_1_3_1->n218_a_dick_1952__1_5_1_3_1_1 n218_a_dick_1952__1_5_1_3_2_1 ADVP n218_a_dick_1952__1_5_1_3_2->n218_a_dick_1952__1_5_1_3_2_1 n218_a_dick_1952__1_5_1_3_2_2 ADV n218_a_dick_1952__1_5_1_3_2->n218_a_dick_1952__1_5_1_3_2_2 n218_a_dick_1952__1_5_1_3_2_1_1 ADV n218_a_dick_1952__1_5_1_3_2_1->n218_a_dick_1952__1_5_1_3_2_1_1 n218_a_dick_1952__1_5_1_3_2_1_1->n218_a_dick_1952__1_5_1_3_2_1_1_1 n218_a_dick_1952__1_5_1_3_2_2->n218_a_dick_1952__1_5_1_3_2_2_1 n218_a_dick_1952__1_6->n218_a_dick_1952__1_6_1 n218_a_dick_1952__1_7->n218_a_dick_1952__1_7_1
( (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))



%3 r_0218_0009__close close r_0218_0008__so so r_0218_0009__close->r_0218_0008__so [qual] r_0218_0007__landed landed r_0218_0007__landed->r_0218_0009__close [nim] r_0218_0005__we we r_0218_0007__landed->r_0218_0005__we [arg0] r_0218_0006__had had r_0218_0006__had->r_0218_0007__landed [scope] r_0218_0003__n_apos_t n't r_0218_0002__did_r_0218_0004__think did think r_0218_0003__n_apos_t->r_0218_0002__did_r_0218_0004__think [keep_scope] r_0218_0002__did_r_0218_0004__think->r_0218_0006__had [arg1] r_0218_0001__I I r_0218_0002__did_r_0218_0004__think->r_0218_0001__I [arg0]
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).



%3 r_0218_0002__did_r_0218_0004__think did think r_0218_0001__I I r_0218_0002__did_r_0218_0004__think->r_0218_0001__I [arg0] r_0218_0006__had_r_0218_0007__landed had landed r_0218_0002__did_r_0218_0004__think->r_0218_0006__had_r_0218_0007__landed [arg1] r_0218_0005__we we r_0218_0006__had_r_0218_0007__landed->r_0218_0005__we [arg0] r_0218_0009__close close r_0218_0006__had_r_0218_0007__landed->r_0218_0009__close [nim] r_0218_0003__n_apos_t n't r_0218_0003__n_apos_t->r_0218_0002__did_r_0218_0004__think [keep_scope] r_0218_0008__so so 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) ) ).