TSPC 600_a_dick

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

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

arc(r_0600_0002__When,r_0600_0004__come_r_0600_0005__back,restriction).
arc(r_0600_0002__When,r_0600_0008__n_apos_t,scope).
arc(r_0600_0004__come_r_0600_0005__back,r_0600_0003__we,arg0).
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_0003__we,arg0).
arc(r_0600_0009__find,r_0600_0012__waiting_r_0600_0013__for,arg1).
arc(r_0600_0012__waiting_r_0600_0013__for,r_0600_0003__we,arg1).
arc(r_0600_0012__waiting_r_0600_0013__for,r_0600_0010__the_r_0600_0011__gun,arg0).
arc(r_0600_0018__said,r_0600_0017__Nasha,arg0).
arc(r_0600_0018__said,z_0600_5002__utterance,arg1).
arc(z_0600_5002__utterance,r_0600_0002__When,part1).

fof(formula,axiom,
    ? [R_0600_0017__NASHA,Z_0600_5002__UTTERANCE,R_0600_0018__SAID] :
      ( r_0600_0017__Nasha(R_0600_0017__NASHA)
      & r_0600_0018__said(R_0600_0018__SAID)
      & has_arg1(R_0600_0018__SAID,Z_0600_5002__UTTERANCE)
      & z_0600_5002__utterance(Z_0600_5002__UTTERANCE)
      & ! [R_0600_0004__COME_R_0600_0005__BACK,R_0600_0003__WE] :
          ( ( r_0600_0003__we(R_0600_0003__WE)
            & r_0600_0004__come_r_0600_0005__back(R_0600_0004__COME_R_0600_0005__BACK)
            & has_arg0(R_0600_0004__COME_R_0600_0005__BACK,R_0600_0003__WE) )
         => ~ ? [R_0600_0010__THE_R_0600_0011__GUN,R_0600_0012__WAITING_R_0600_0013__FOR,R_0600_0007__WO_R_0600_0009__FIND] :
                ( 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_0013__FOR)
                & r_0600_0012__waiting_r_0600_0013__for(R_0600_0012__WAITING_R_0600_0013__FOR)
                & has_arg0(R_0600_0012__WAITING_R_0600_0013__FOR,R_0600_0010__THE_R_0600_0011__GUN)
                & has_arg1(R_0600_0012__WAITING_R_0600_0013__FOR,R_0600_0003__WE)
                & has_arg0(R_0600_0007__WO_R_0600_0009__FIND,R_0600_0003__WE) ) )
      & has_arg0(R_0600_0018__SAID,R_0600_0017__NASHA) ) ).