( (IP-MAT (NP-SBJ;{CAPTAIN} (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tw_ see;{see})
          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV why;{why}))
                              (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                              (BEP;_La_ <apos>re;{be})
                              (ADJP-PRD (ADVP (ADV so;{so}))
                                        (ADJ surprised;{surprised}))))
          (PUNC .))
  (ID 35_a_dick_1952))

arc(r_0035_0002__do_r_0035_0004__see,r_0035_0001__I,arg0).
arc(r_0035_0002__do_r_0035_0004__see,r_0035_0007___apos_re,arg1).
arc(r_0035_0003__n_apos_t,r_0035_0002__do_r_0035_0004__see,keep_scope).
arc(r_0035_0007___apos_re,r_0035_0005__why,nim).
arc(r_0035_0007___apos_re,r_0035_0006__we,arg0).
arc(r_0035_0007___apos_re,r_0035_0009__surprised,prd).
arc(r_0035_0009__surprised,r_0035_0008__so,qual).

fof(formula,axiom,
    ~ ? [R_0035_0001__I,R_0035_0005__WHY,R_0035_0006__WE,R_0035_0008__SO,R_0035_0009__SURPRISED,R_0035_0007___APOS_RE,R_0035_0002__DO_R_0035_0004__SEE] :
        ( r_0035_0001__I(R_0035_0001__I)
        & r_0035_0005__why(R_0035_0005__WHY)
        & r_0035_0006__we(R_0035_0006__WE)
        & r_0035_0008__so(R_0035_0008__SO)
        & r_0035_0002__do_r_0035_0004__see(R_0035_0002__DO_R_0035_0004__SEE)
        & has_arg1(R_0035_0002__DO_R_0035_0004__SEE,R_0035_0007___APOS_RE)
        & r_0035_0007___apos_re(R_0035_0007___APOS_RE)
        & has_prd(R_0035_0007___APOS_RE,R_0035_0009__SURPRISED)
        & r_0035_0009__surprised(R_0035_0009__SURPRISED)
        & has_qual(R_0035_0009__SURPRISED,R_0035_0008__SO)
        & has_arg0(R_0035_0007___APOS_RE,R_0035_0006__WE)
        & has_nim(R_0035_0007___APOS_RE,R_0035_0005__WHY)
        & has_arg0(R_0035_0002__DO_R_0035_0004__SEE,R_0035_0001__I) ) ).