( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE+NASHA+TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Ip_ get;{get[back]})
                      (ADVP-CLR (ADV back;{back})
                                (PP (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (N ship;{ship})))))
          (PUNC .))
  (ID 556_a_dick_1952))

arc(r_0556_0002__Let,r_0556_0003___apos_s,arg1).
arc(r_0556_0002__Let,r_0556_0004__get,prd).
arc(r_0556_0002__Let,z_0556_5002,arg0).
arc(r_0556_0004__get,r_0556_0005__back,clr).
arc(r_0556_0004__get,z_0556_5005,arg0).
arc(r_0556_0005__back,r_0556_0007__the_r_0556_0008__ship,r_0556_0006__to).

fof(formula,axiom,
    ? [R_0556_0003___APOS_S,R_0556_0007__THE_R_0556_0008__SHIP,R_0556_0005__BACK,Z_0556_5005,R_0556_0004__GET,Z_0556_5002,R_0556_0002__LET] :
      ( r_0556_0003___apos_s(R_0556_0003___APOS_S)
      & r_0556_0007__the_r_0556_0008__ship(R_0556_0007__THE_R_0556_0008__SHIP)
      & z_0556_5002(Z_0556_5002)
      & z_0556_5005(Z_0556_5005)
      & r_0556_0002__Let(R_0556_0002__LET)
      & has_arg0(R_0556_0002__LET,Z_0556_5002)
      & has_prd(R_0556_0002__LET,R_0556_0004__GET)
      & r_0556_0004__get(R_0556_0004__GET)
      & has_arg0(R_0556_0004__GET,Z_0556_5005)
      & has_clr(R_0556_0004__GET,R_0556_0005__BACK)
      & r_0556_0005__back(R_0556_0005__BACK)
      & has_r_0556_0006__to(R_0556_0005__BACK,R_0556_0007__THE_R_0556_0008__SHIP)
      & has_arg1(R_0556_0002__LET,R_0556_0003___APOS_S) ) ).