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

arc(r_0393_0004__come_r_0393_0005__back,r_0393_0002__Tance,voc).
arc(r_0393_0004__come_r_0393_0005__back,z_0393_5004,arg0).
arc(r_0393_0009__shouted,r_0393_0008__Dorle,arg0).
arc(r_0393_0009__shouted,z_0393_5002__utterance,arg1).
arc(z_0393_5002__utterance,r_0393_0004__come_r_0393_0005__back,part1).

fof(formula,axiom,
    ? [R_0393_0008__DORLE,R_0393_0002__TANCE,Z_0393_5004,R_0393_0004__COME_R_0393_0005__BACK,Z_0393_5002__UTTERANCE,R_0393_0009__SHOUTED] :
      ( r_0393_0002__Tance(R_0393_0002__TANCE)
      & r_0393_0008__Dorle(R_0393_0008__DORLE)
      & z_0393_5004(Z_0393_5004)
      & r_0393_0009__shouted(R_0393_0009__SHOUTED)
      & has_arg1(R_0393_0009__SHOUTED,Z_0393_5002__UTTERANCE)
      & z_0393_5002__utterance(Z_0393_5002__UTTERANCE)
      & has_part1(Z_0393_5002__UTTERANCE,R_0393_0004__COME_R_0393_0005__BACK)
      & r_0393_0004__come_r_0393_0005__back(R_0393_0004__COME_R_0393_0005__BACK)
      & has_arg0(R_0393_0004__COME_R_0393_0005__BACK,Z_0393_5004)
      & has_voc(R_0393_0004__COME_R_0393_0005__BACK,R_0393_0002__TANCE)
      & has_arg0(R_0393_0009__SHOUTED,R_0393_0008__DORLE) ) ).