arc(utterance_611_a_dick_1952_4, r_0611_0003__let, part1).
arc(r_0611_0003__let, r_0611_0002__Then, nim6).
arc(r_0611_0003__let, r_0611_0004___apos_s, arg1).
arc(r_0611_0003__let, r_0611_0005__go, prd).
arc(r_0611_0003__let, z_000_611_a_dick_1952_5, arg0).
arc(r_0611_0005__go, x_000_611_a_dick_1952_14, arg0).
arc(r_0611_0009__said, utterance_611_a_dick_1952_4, arg1).
arc(r_0611_0009__said, r_0611_0008__Dorle, arg0).

fof(formula,axiom,
    ? [R_611_9_SAID,R_611_8_DORLE,UTTERANCE_611_A_DICK_1952_4,R_611_3_LET,Z_611_A_DICK_1952_5,R_611_4__APOS_S,R_611_2_THEN,R_611_5_GO,X_611_A_DICK_1952_14] :
      ( dorle(R_611_8_DORLE)
      & _apos_s(R_611_4__APOS_S)
      & then(R_611_2_THEN)
      & said(R_611_9_SAID,R_611_8_DORLE,UTTERANCE_611_A_DICK_1952_4)
      & utterance_611_a_dick_1952_4(UTTERANCE_611_A_DICK_1952_4)
      & part1(UTTERANCE_611_A_DICK_1952_4,R_611_3_LET)
      & let(R_611_3_LET,Z_611_A_DICK_1952_5,R_611_4__APOS_S,R_611_5_GO)
      & go(R_611_5_GO,X_611_A_DICK_1952_14)
      & nim6(R_611_3_LET,R_611_2_THEN) ) ).

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