( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE+NASHA} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Tn_ see;{see})
                      (NP-OB1 (IP-REL (NP-231 (RPRO what;{what}))
                                      (NP-SBJ;{TANCE} (PRO he;{he}))
                                      (HVP;_cat_Ve_ <apos>s;{have})
                                      (IP-PPL-CAT (NP-OB1 *ICH*-231)
                                                  (VVN;_Tn_ found;{find})))))
          (PUNC .))
  (ID 410_a_dick_1952))

arc(r_0410_0001__Let,r_0410_0002___apos_s,arg1).
arc(r_0410_0001__Let,r_0410_0003__see,prd).
arc(r_0410_0001__Let,z_0410_5002,arg0).
arc(r_0410_0003__see,r_0410_0004__what,arg1).
arc(r_0410_0003__see,z_0410_5005,arg0).
arc(r_0410_0006___apos_s,r_0410_0007__found,scope).
arc(r_0410_0007__found,r_0410_0004__what,arg1).
arc(r_0410_0007__found,r_0410_0005__he,arg0).

fof(formula,axiom,
    ? [R_0410_0002___APOS_S,R_0410_0004__WHAT,Z_0410_5005,R_0410_0003__SEE,Z_0410_5002,R_0410_0001__LET,R_0410_0005__HE,R_0410_0006___APOS_S_R_0410_0007__FOUND] :
      ( r_0410_0002___apos_s(R_0410_0002___APOS_S)
      & r_0410_0004__what(R_0410_0004__WHAT)
      & r_0410_0005__he(R_0410_0005__HE)
      & z_0410_5002(Z_0410_5002)
      & z_0410_5005(Z_0410_5005)
      & r_0410_0006___apos_s_r_0410_0007__found(R_0410_0006___APOS_S_R_0410_0007__FOUND)
      & has_arg0(R_0410_0006___APOS_S_R_0410_0007__FOUND,R_0410_0005__HE)
      & has_arg1(R_0410_0006___APOS_S_R_0410_0007__FOUND,R_0410_0004__WHAT)
      & r_0410_0001__Let(R_0410_0001__LET)
      & has_arg0(R_0410_0001__LET,Z_0410_5002)
      & has_prd(R_0410_0001__LET,R_0410_0003__SEE)
      & r_0410_0003__see(R_0410_0003__SEE)
      & has_arg0(R_0410_0003__SEE,Z_0410_5005)
      & has_arg1(R_0410_0003__SEE,R_0410_0004__WHAT)
      & has_arg1(R_0410_0001__LET,R_0410_0002___APOS_S) ) ).