TSPC 368_a_dick

368_a_dick_1952
“And by that time we'll be dead,” Nasha said bitterly.

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (CONJ;_cl_ And;{and})
                                 (PP-NIM (P-ROLE by;{by})
                                         (NP (D that;{that})
                                             (N time;{time})))
                                 (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                                 (MD;_cat_Vi_ <apos>ll;{will})
                                 (IP-INF-CAT (BE;_La_ be;{be})
                                             (ADJP-PRD (ADJ dead;{dead})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV bitterly;{bitterly}))
          (PUNC .))
  (ID 368_a_dick_1952))

arc(r_0368_0002__And,r_0368_0007___apos_ll,part1).
arc(r_0368_0007___apos_ll,r_0368_0004__that_r_0368_0005__time,r_0368_0003__by__nim).
arc(r_0368_0007___apos_ll,r_0368_0008__be,scope).
arc(r_0368_0008__be,r_0368_0006__we,arg0).
arc(r_0368_0008__be,r_0368_0009__dead,prd).
arc(r_0368_0013__said,r_0368_0002__And,arg1).
arc(r_0368_0013__said,r_0368_0012__Nasha,arg0).
arc(r_0368_0013__said,r_0368_0014__bitterly,nim).

fof(formula,axiom,
    ? [R_0368_0004__THAT_R_0368_0005__TIME,R_0368_0006__WE,R_0368_0009__DEAD,R_0368_0007___APOS_LL_R_0368_0008__BE,R_0368_0002__AND,R_0368_0012__NASHA,R_0368_0014__BITTERLY,R_0368_0013__SAID] :
      ( r_0368_0004__that_r_0368_0005__time(R_0368_0004__THAT_R_0368_0005__TIME)
      & r_0368_0006__we(R_0368_0006__WE)
      & r_0368_0009__dead(R_0368_0009__DEAD)
      & r_0368_0012__Nasha(R_0368_0012__NASHA)
      & r_0368_0014__bitterly(R_0368_0014__BITTERLY)
      & r_0368_0013__said(R_0368_0013__SAID)
      & has_nim(R_0368_0013__SAID,R_0368_0014__BITTERLY)
      & has_arg0(R_0368_0013__SAID,R_0368_0012__NASHA)
      & has_arg1(R_0368_0013__SAID,R_0368_0002__AND)
      & r_0368_0002__And(R_0368_0002__AND)
      & has_part1(R_0368_0002__AND,R_0368_0007___APOS_LL_R_0368_0008__BE)
      & r_0368_0007___apos_ll_r_0368_0008__be(R_0368_0007___APOS_LL_R_0368_0008__BE)
      & has_prd(R_0368_0007___APOS_LL_R_0368_0008__BE,R_0368_0009__DEAD)
      & has_arg0(R_0368_0007___APOS_LL_R_0368_0008__BE,R_0368_0006__WE)
      & has_r_0368_0003__by__nim(R_0368_0007___APOS_LL_R_0368_0008__BE,R_0368_0004__THAT_R_0368_0005__TIME) ) ).