arc(utterance_393_a_dick_1952_4, r_0393_0004__come, part1).
arc(r_0393_0004__come, r_0393_0002__Tance, nim6).
arc(r_0393_0004__come, r_0393_0005__back, clr13).
arc(r_0393_0004__come, z_000_393_a_dick_1952_5, arg0).
arc(r_0393_0009__shouted, utterance_393_a_dick_1952_4, arg1).
arc(r_0393_0009__shouted, r_0393_0008__Dorle, arg0).

fof(formula,axiom,
    ? [R_393_9_SHOUTED,R_393_8_DORLE,UTTERANCE_393_A_DICK_1952_4,R_393_4_COME,Z_393_A_DICK_1952_5,R_393_5_BACK,R_393_2_TANCE] :
      ( dorle(R_393_8_DORLE)
      & back(R_393_5_BACK)
      & tance(R_393_2_TANCE)
      & shouted(R_393_9_SHOUTED,R_393_8_DORLE,UTTERANCE_393_A_DICK_1952_4)
      & utterance_393_a_dick_1952_4(UTTERANCE_393_A_DICK_1952_4)
      & part1(UTTERANCE_393_A_DICK_1952_4,R_393_4_COME)
      & come(R_393_4_COME,Z_393_A_DICK_1952_5)
      & clr13(R_393_4_COME,R_393_5_BACK)
      & nim6(R_393_4_COME,R_393_2_TANCE) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-IMP (NP-VOC;{TANCE} (NPR Tance;{Tance}))
                                 (PUNC ,)
                                 (VB;_Ip_ come;{come[back]})
                                 (ADVP-CLR (RP back;{back}))
                                 (PUNC !)))
          (PURQ <rdquo>)
          (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Tr_ shouted;{shout})
          (PUNC .))
  (ID 393_a_dick_1952))