( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE+NASHA+TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Tn_ open;{open})
                      (NP-OB1 (D;_nphd_ one;{one})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 473_a_dick_1952))

arc(r_0473_0001__Let,r_0473_0002___apos_s,arg1).
arc(r_0473_0001__Let,r_0473_0003__open,prd).
arc(r_0473_0001__Let,z_0473_5002,arg0).
arc(r_0473_0003__open,r_0473_0004__one,arg1).
arc(r_0473_0003__open,z_0473_5005,arg0).

fof(formula,axiom,
    ? [R_0473_0002___APOS_S,R_0473_0004__ONE,Z_0473_5005,R_0473_0003__OPEN,Z_0473_5002,R_0473_0001__LET] :
      ( r_0473_0002___apos_s(R_0473_0002___APOS_S)
      & r_0473_0004__one(R_0473_0004__ONE)
      & z_0473_5002(Z_0473_5002)
      & z_0473_5005(Z_0473_5005)
      & r_0473_0001__Let(R_0473_0001__LET)
      & has_arg0(R_0473_0001__LET,Z_0473_5002)
      & has_prd(R_0473_0001__LET,R_0473_0003__OPEN)
      & r_0473_0003__open(R_0473_0003__OPEN)
      & has_arg0(R_0473_0003__OPEN,Z_0473_5005)
      & has_arg1(R_0473_0003__OPEN,R_0473_0004__ONE)
      & has_arg1(R_0473_0001__LET,R_0473_0002___APOS_S) ) ).