arc(r_0060_0002__Turn, r_0060_0003__the_r_0060_0004__ship, arg1).
arc(r_0060_0002__Turn, z_000_60_a_dick_1952_1, 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_000_60_a_dick_1952_1, arg0).
arc(r_0060_0008__see, r_0060_0011__is, arg1).
arc(r_0060_0008__see, x_000_60_a_dick_1952_22, 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_000_60_A_DICK_1952_1,R_0060_0002__TURN,R_0060_0007___APOS_S,R_0060_0009__WHAT,R_0060_0010__IT,R_0060_0011__IS,X_000_60_A_DICK_1952_22,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)
      & x_000_60_a_dick_1952_22(X_000_60_A_DICK_1952_22)
      & z_000_60_a_dick_1952_1(Z_000_60_A_DICK_1952_1)
      & 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_000_60_A_DICK_1952_1)
      & has_prd(R_0060_0006__LET,R_0060_0008__SEE)
      & r_0060_0008__see(R_0060_0008__SEE)
      & has_arg0(R_0060_0008__SEE,X_000_60_A_DICK_1952_22)
      & 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_000_60_A_DICK_1952_1)
      & has_arg1(R_0060_0002__TURN,R_0060_0003__THE_R_0060_0004__SHIP) ) ).

( (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))