arc(utterance_600_a_dick_1952_4, r_0600_0002__When, part1).
arc(r_0600_0002__When, r_0600_0004__come, restriction).
arc(r_0600_0002__When, r_0600_0008__n_apos_t, scope).
arc(r_0600_0004__come, r_0600_0003__we, arg0).
arc(r_0600_0004__come, r_0600_0005__back, clr15).
arc(r_0600_0007__wo, r_0600_0009__find, scope).
arc(r_0600_0008__n_apos_t, r_0600_0007__wo, keep_scope).
arc(r_0600_0009__find, r_0600_0006__we, arg0).
arc(r_0600_0009__find, r_0600_0012__waiting, arg1).
arc(r_0600_0012__waiting, r_0600_0006__we, r_0600_0013__for_clr39).
arc(r_0600_0012__waiting, r_0600_0010__the_r_0600_0011__gun, arg0).
arc(r_0600_0018__said, utterance_600_a_dick_1952_4, arg1).
arc(r_0600_0018__said, r_0600_0017__Nasha, arg0).

fof(formula,axiom,
    ? [R_600_18_SAID,R_600_17_NASHA,UTTERANCE_600_A_DICK_1952_4] :
      ( nasha(R_600_17_NASHA)
      & said(R_600_18_SAID,R_600_17_NASHA,UTTERANCE_600_A_DICK_1952_4)
      & ! [R_600_4_COME,R_600_3_WE,R_600_5_BACK] :
          ( ( we(R_600_3_WE)
            & back(R_600_5_BACK)
            & come(R_600_4_COME,R_600_3_WE)
            & clr15(R_600_4_COME,R_600_5_BACK) )
         => ~ ? [R_600_7_WO_FIND,R_600_12_WAITING,R_600_10_THE_GUN,R_600_6_WE] :
                ( the_gun(R_600_10_THE_GUN)
                & we(R_600_6_WE)
                & wo_find(R_600_7_WO_FIND,R_600_6_WE,R_600_12_WAITING)
                & waiting(R_600_12_WAITING,R_600_10_THE_GUN)
                & for_clr39(R_600_12_WAITING,R_600_6_WE) ) )
      & part1(PART1)
      & utterance_600_a_dick_1952_4(UTTERANCE_600_A_DICK_1952_4) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (PP-SCON (P-CONN When;{when})
                                          (IP-ADV (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                                  (VBP;_Ip_ come;{come[back]})
                                                  (ADVP-CLR (RP back;{back}))))
                                 (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                 (MD;_cat_Vi_ wo;{will})
                                 (NEG;_clitic_ n<apos>t;{not})
                                 (IP-INF-CAT (VB;_Tsg_ find;{find})
                                             (IP-PPL3-OB1 (NP-SBJ;{GUN} (D the;{the})
                                                                        (N gun;{gun}))
                                                          (VAG;_Ipr_ waiting;{wait[for]})
                                                          (PP-CLR (P-ROLE for;{for})
                                                                  (NP;{TRESPASSERS} (PRO us;{we})))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 600_a_dick_1952))