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_0611_0002__THEN,R_0611_0004___APOS_S,X_000_611_A_DICK_1952_14,R_0611_0005__GO,Z_000_611_A_DICK_1952_5,R_0611_0003__LET,UTTERANCE_611_A_DICK_1952_4,R_0611_0008__DORLE,R_0611_0009__SAID] :
      ( r_0611_0002__Then(R_0611_0002__THEN)
      & r_0611_0004___apos_s(R_0611_0004___APOS_S)
      & r_0611_0008__Dorle(R_0611_0008__DORLE)
      & x_000_611_a_dick_1952_14(X_000_611_A_DICK_1952_14)
      & z_000_611_a_dick_1952_5(Z_000_611_A_DICK_1952_5)
      & r_0611_0009__said(R_0611_0009__SAID)
      & has_arg0(R_0611_0009__SAID,R_0611_0008__DORLE)
      & has_arg1(R_0611_0009__SAID,UTTERANCE_611_A_DICK_1952_4)
      & utterance_611_a_dick_1952_4(UTTERANCE_611_A_DICK_1952_4)
      & has_part1(UTTERANCE_611_A_DICK_1952_4,R_0611_0003__LET)
      & r_0611_0003__let(R_0611_0003__LET)
      & has_arg0(R_0611_0003__LET,Z_000_611_A_DICK_1952_5)
      & has_prd(R_0611_0003__LET,R_0611_0005__GO)
      & r_0611_0005__go(R_0611_0005__GO)
      & has_arg0(R_0611_0005__GO,X_000_611_A_DICK_1952_14)
      & has_arg1(R_0611_0003__LET,R_0611_0004___APOS_S)
      & has_nim6(R_0611_0003__LET,R_0611_0002__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))