( (IP-IMP (PULQ <ldquo>)
          (ILYR (ILYR (VB;_Tn_ Turn;{turn})
                      (NP-OB1 (D the;{the})
                              (N ship;{ship})))
                (CONJP (CONJ and;{and})
                       (ILYR (VB;_Cn.i_ let;{let})
                             (NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
                             (IP-INF-PRD (VB;_Tw_ see;{see})
                                         (CP-QUE-OB1 (IP-SUB (NP-PRD (WPRO what;{what}))
                                                             (NP-SBJ;{THING} (PRO it;{it}))
                                                             (BEP;_Ln_ is;{be})))))))
          (PUNC !)
          (PURQ <rdquo>))
  (ID 60_a_dick_1952))

arc(r_0060_0002__Turn,r_0060_0003__the_r_0060_0004__ship,arg1).
arc(r_0060_0002__Turn,z_0060_5002,arg0).
arc(r_0060_0005__and,r_0060_0002__Turn,conj1).
arc(r_0060_0005__and,r_0060_0006__let,conj2).
arc(r_0060_0006__let,r_0060_0007___apos_s,arg1).
arc(r_0060_0006__let,r_0060_0008__see,prd).
arc(r_0060_0006__let,z_0060_5002,arg0).
arc(r_0060_0008__see,r_0060_0011__is,arg1).
arc(r_0060_0008__see,z_0060_5007,arg0).
arc(r_0060_0011__is,r_0060_0009__what,prd).
arc(r_0060_0011__is,r_0060_0010__it,arg0).

fof(formula,axiom,
    ? [R_0060_0003__THE_R_0060_0004__SHIP,Z_0060_5002,R_0060_0002__TURN,R_0060_0007___APOS_S,R_0060_0009__WHAT,R_0060_0010__IT,R_0060_0011__IS,Z_0060_5007,R_0060_0008__SEE,R_0060_0006__LET,R_0060_0005__AND] :
      ( r_0060_0003__the_r_0060_0004__ship(R_0060_0003__THE_R_0060_0004__SHIP)
      & r_0060_0007___apos_s(R_0060_0007___APOS_S)
      & r_0060_0009__what(R_0060_0009__WHAT)
      & r_0060_0010__it(R_0060_0010__IT)
      & z_0060_5002(Z_0060_5002)
      & z_0060_5007(Z_0060_5007)
      & r_0060_0005__and(R_0060_0005__AND)
      & has_conj2(R_0060_0005__AND,R_0060_0006__LET)
      & r_0060_0006__let(R_0060_0006__LET)
      & has_arg0(R_0060_0006__LET,Z_0060_5002)
      & has_prd(R_0060_0006__LET,R_0060_0008__SEE)
      & r_0060_0008__see(R_0060_0008__SEE)
      & has_arg0(R_0060_0008__SEE,Z_0060_5007)
      & has_arg1(R_0060_0008__SEE,R_0060_0011__IS)
      & r_0060_0011__is(R_0060_0011__IS)
      & has_arg0(R_0060_0011__IS,R_0060_0010__IT)
      & has_prd(R_0060_0011__IS,R_0060_0009__WHAT)
      & has_arg1(R_0060_0006__LET,R_0060_0007___APOS_S)
      & has_conj1(R_0060_0005__AND,R_0060_0002__TURN)
      & r_0060_0002__Turn(R_0060_0002__TURN)
      & has_arg0(R_0060_0002__TURN,Z_0060_5002)
      & has_arg1(R_0060_0002__TURN,R_0060_0003__THE_R_0060_0004__SHIP) ) ).