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

arc(r_0612_0002__Let,r_0612_0003___apos_s,arg1).
arc(r_0612_0002__Let,r_0612_0004__go,prd).
arc(r_0612_0002__Let,z_0612_5002,arg0).
arc(r_0612_0004__go,r_0612_0006__home,clr).
arc(r_0612_0004__go,z_0612_5005,arg0).
arc(r_0612_0006__home,r_0612_0005__back,qual).

fof(formula,axiom,
    ? [R_0612_0003___APOS_S,R_0612_0005__BACK,R_0612_0006__HOME,Z_0612_5005,R_0612_0004__GO,Z_0612_5002,R_0612_0002__LET] :
      ( r_0612_0003___apos_s(R_0612_0003___APOS_S)
      & r_0612_0005__back(R_0612_0005__BACK)
      & z_0612_5002(Z_0612_5002)
      & z_0612_5005(Z_0612_5005)
      & r_0612_0002__Let(R_0612_0002__LET)
      & has_arg0(R_0612_0002__LET,Z_0612_5002)
      & has_prd(R_0612_0002__LET,R_0612_0004__GO)
      & r_0612_0004__go(R_0612_0004__GO)
      & has_arg0(R_0612_0004__GO,Z_0612_5005)
      & has_clr(R_0612_0004__GO,R_0612_0006__HOME)
      & r_0612_0006__home(R_0612_0006__HOME)
      & has_qual(R_0612_0006__HOME,R_0612_0005__BACK)
      & has_arg1(R_0612_0002__LET,R_0612_0003___APOS_S) ) ).