arc(utterance_555_a_dick_1952_4, r_0555_0002__Let, part1).
arc(r_0555_0002__Let, r_0555_0003___apos_s, arg1).
arc(r_0555_0002__Let, r_0555_0004__go, prd).
arc(r_0555_0002__Let, r_0555_0006__then, nim16).
arc(r_0555_0002__Let, z_000_555_a_dick_1952_5, arg0).
arc(r_0555_0004__go, x_000_555_a_dick_1952_11, arg0).
arc(r_0555_0010__said, utterance_555_a_dick_1952_4, arg1).
arc(r_0555_0010__said, r_0555_0009__Nasha, arg0).

fof(formula,axiom,
    ? [R_555_10_SAID,R_555_9_NASHA,UTTERANCE_555_A_DICK_1952_4,R_555_2_LET,Z_555_A_DICK_1952_5,R_555_3__APOS_S,R_555_6_THEN,R_555_4_GO,X_555_A_DICK_1952_11] :
      ( nasha(R_555_9_NASHA)
      & _apos_s(R_555_3__APOS_S)
      & then(R_555_6_THEN)
      & said(R_555_10_SAID,R_555_9_NASHA,UTTERANCE_555_A_DICK_1952_4)
      & utterance_555_a_dick_1952_4(UTTERANCE_555_A_DICK_1952_4)
      & part1(UTTERANCE_555_A_DICK_1952_4,R_555_2_LET)
      & let(R_555_2_LET,Z_555_A_DICK_1952_5,R_555_3__APOS_S,R_555_4_GO)
      & go(R_555_4_GO,X_555_A_DICK_1952_11)
      & nim16(R_555_2_LET,R_555_6_THEN) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (VB;_Cn.i_ Let;{let})
                                 (NP-OB1;{DORLE_NASHA_TANCE} (PRO <apos>s;{we}))
                                 (IP-INF-PRD (VB;_I_ go;{go}))
                                 (PUNC ,)
                                 (ADVP-NIM (ADV then;{then}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 555_a_dick_1952))