( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ go;{go[back]})
                      (ADVP-CLR (RP back;{back}))
                      (ADVP-NIM (ADV at_once;{at_once})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 19_a_dick_1952))

arc(r_0019_0001__Let,r_0019_0002___apos_s,arg1).
arc(r_0019_0001__Let,r_0019_0003__go_r_0019_0004__back,prd).
arc(r_0019_0001__Let,z_0019_5002,arg0).
arc(r_0019_0003__go_r_0019_0004__back,r_0019_0005__at_once,nim).
arc(r_0019_0003__go_r_0019_0004__back,z_0019_5005,arg0).

fof(formula,axiom,
    ? [R_0019_0002___APOS_S,R_0019_0005__AT_ONCE,Z_0019_5005,R_0019_0003__GO_R_0019_0004__BACK,Z_0019_5002,R_0019_0001__LET] :
      ( r_0019_0002___apos_s(R_0019_0002___APOS_S)
      & r_0019_0005__at_once(R_0019_0005__AT_ONCE)
      & z_0019_5002(Z_0019_5002)
      & z_0019_5005(Z_0019_5005)
      & r_0019_0001__Let(R_0019_0001__LET)
      & has_arg0(R_0019_0001__LET,Z_0019_5002)
      & has_prd(R_0019_0001__LET,R_0019_0003__GO_R_0019_0004__BACK)
      & r_0019_0003__go_r_0019_0004__back(R_0019_0003__GO_R_0019_0004__BACK)
      & has_arg0(R_0019_0003__GO_R_0019_0004__BACK,Z_0019_5005)
      & has_nim(R_0019_0003__GO_R_0019_0004__BACK,R_0019_0005__AT_ONCE)
      & has_arg1(R_0019_0001__LET,R_0019_0002___APOS_S) ) ).