( (IP-IMP (REACT Interesting_<dot>)
          (CONJ;_cl_ But;{but})
          (VB;_Cn.i_ let;{let})
          (NP-OB1;{DORLE+NASHA+TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_I_ go;{go}))
          (PUNC ;))
  (ID 205_a_dick_1952))

arc(r_0205_0003__let,r_0205_0004___apos_s,arg1).
arc(r_0205_0003__let,r_0205_0005__go,prd).
arc(r_0205_0003__let,z_0205_5002,arg0).
arc(r_0205_0005__go,z_0205_5005,arg0).

fof(formula,axiom,
    ? [R_0205_0004___APOS_S,Z_0205_5005,R_0205_0005__GO,Z_0205_5002,R_0205_0003__LET] :
      ( r_0205_0004___apos_s(R_0205_0004___APOS_S)
      & z_0205_5002(Z_0205_5002)
      & z_0205_5005(Z_0205_5005)
      & r_0205_0003__let(R_0205_0003__LET)
      & has_arg0(R_0205_0003__LET,Z_0205_5002)
      & has_prd(R_0205_0003__LET,R_0205_0005__GO)
      & r_0205_0005__go(R_0205_0005__GO)
      & has_arg0(R_0205_0005__GO,Z_0205_5005)
      & has_arg1(R_0205_0003__LET,R_0205_0004___APOS_S) ) ).