( (IP-IMP (PULQ <ldquo>)
          (INTJ Well)
          (PUNC ,)
          (VB;_Cn.i_ let;{let})
          (NP-OB1;{DORLE+NASHA+TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ go;{go[on]})
                      (ADVP-CLR (RP on;{on}))
                      (PUNC ,)
                      (ADVP-NIM (ADV then;{then})))
          (PUNC .))
  (ID 241_a_dick_1952))

arc(r_0241_0004__let,r_0241_0005___apos_s,arg1).
arc(r_0241_0004__let,r_0241_0006__go_r_0241_0007__on,prd).
arc(r_0241_0004__let,z_0241_5002,arg0).
arc(r_0241_0006__go_r_0241_0007__on,r_0241_0009__then,nim).
arc(r_0241_0006__go_r_0241_0007__on,z_0241_5005,arg0).

fof(formula,axiom,
    ? [R_0241_0005___APOS_S,R_0241_0009__THEN,Z_0241_5005,R_0241_0006__GO_R_0241_0007__ON,Z_0241_5002,R_0241_0004__LET] :
      ( r_0241_0005___apos_s(R_0241_0005___APOS_S)
      & r_0241_0009__then(R_0241_0009__THEN)
      & z_0241_5002(Z_0241_5002)
      & z_0241_5005(Z_0241_5005)
      & r_0241_0004__let(R_0241_0004__LET)
      & has_arg0(R_0241_0004__LET,Z_0241_5002)
      & has_prd(R_0241_0004__LET,R_0241_0006__GO_R_0241_0007__ON)
      & r_0241_0006__go_r_0241_0007__on(R_0241_0006__GO_R_0241_0007__ON)
      & has_arg0(R_0241_0006__GO_R_0241_0007__ON,Z_0241_5005)
      & has_nim(R_0241_0006__GO_R_0241_0007__ON,R_0241_0009__THEN)
      & has_arg1(R_0241_0004__LET,R_0241_0005___APOS_S) ) ).