TSPC 600_a_dick

600_a_dick_1952
“When we come back we won't find the gun waiting for us,” Nasha said.

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,
    ? [UTTERANCE_600_A_DICK_1952_4,R_0600_0017__NASHA,R_0600_0018__SAID] :
      ( r_0600_0017__Nasha(R_0600_0017__NASHA)
      & r_0600_0018__said(R_0600_0018__SAID)
      & has_arg0(R_0600_0018__SAID,R_0600_0017__NASHA)
      & has_arg1(R_0600_0018__SAID,UTTERANCE_600_A_DICK_1952_4)
      & utterance_600_a_dick_1952_4(UTTERANCE_600_A_DICK_1952_4)
      & ! [R_0600_0004__COME,R_0600_0003__WE,R_0600_0005__BACK] :
          ( ( r_0600_0003__we(R_0600_0003__WE)
            & r_0600_0005__back(R_0600_0005__BACK)
            & r_0600_0004__come(R_0600_0004__COME)
            & has_clr15(R_0600_0004__COME,R_0600_0005__BACK)
            & has_arg0(R_0600_0004__COME,R_0600_0003__WE) )
         => ~ ? [R_0600_0006__WE,R_0600_0010__THE_R_0600_0011__GUN,R_0600_0012__WAITING,R_0600_0007__WO_R_0600_0009__FIND] :
                ( r_0600_0006__we(R_0600_0006__WE)
                & r_0600_0010__the_r_0600_0011__gun(R_0600_0010__THE_R_0600_0011__GUN)
                & r_0600_0007__wo_r_0600_0009__find(R_0600_0007__WO_R_0600_0009__FIND)
                & has_arg1(R_0600_0007__WO_R_0600_0009__FIND,R_0600_0012__WAITING)
                & r_0600_0012__waiting(R_0600_0012__WAITING)
                & has_arg0(R_0600_0012__WAITING,R_0600_0010__THE_R_0600_0011__GUN)
                & has_r_0600_0013__for_clr39(R_0600_0012__WAITING,R_0600_0006__WE)
                & has_arg0(R_0600_0007__WO_R_0600_0009__FIND,R_0600_0006__WE) ) ) ) ).

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