TSPC 9_a_stories_11

9_a_stories_11_h38
By this time we were dying from laughter watching them, but Mrs Smith wasn't.

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE By;{by})
                              (NP (D this;{this})
                                  (N time;{time})))
                      (NP-SBJ (PRO we;{we}))
                      (BED;_cat_Vg_ were;{be})
                      (IP-PPL-CAT (VAG;_Ipr_ dying;{die[from]})
                                  (PP-CLR (P-ROLE from;{from})
                                          (NP (N laughter;{laughter}))))
                      (PP-SCON (IP-PPL2 (VAG;_Tn_ watching;{watch})
                                        (NP-OB1;{STEPHEN+RUSSELL} (PRO them;{they})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{MRS_S} (N Mrs;{mr})
                                             (NPR Smith;{Smith}))
                             (BED;_cat_Vg_ was;{be})
                             (NEG;_clitic_ n<apos>t;{not}))))
          (PUNC .))
  (ID 9_a_stories_11_h38))

arc(r_0009_0005__were,r_0009_0002__this_r_0009_0003__time,r_0009_0001__By__nim).
arc(r_0009_0005__were,r_0009_0006__dying_r_0009_0007__from,scope).
arc(r_0009_0006__dying_r_0009_0007__from,r_0009_0004__we,arg0).
arc(r_0009_0006__dying_r_0009_0007__from,r_0009_0008__laughter,arg1).
arc(r_0009_0009__watching,r_0009_0004__we,arg0).
arc(r_0009_0009__watching,r_0009_0010__them,arg1).
arc(r_0009_0012__but,r_0009_0016__n_apos_t,conj2).
arc(r_0009_0012__but,z_0009_5002,conj1).
arc(r_0009_0015__was,r_0009_0013__Mrs_r_0009_0014__Smith,arg0).
arc(r_0009_0016__n_apos_t,r_0009_0015__was,keep_scope).
arc(z_0009_5002,r_0009_0005__were,scope).
arc(z_0009_5002,r_0009_0009__watching,restriction).

fof(formula,axiom,
    ? [R_0009_0002__THIS_R_0009_0003__TIME,R_0009_0004__WE,R_0009_0008__LAUGHTER,R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM,R_0009_0010__THEM,R_0009_0009__WATCHING,Z_0009_5002,R_0009_0012__BUT] :
      ( r_0009_0002__this_r_0009_0003__time(R_0009_0002__THIS_R_0009_0003__TIME)
      & r_0009_0004__we(R_0009_0004__WE)
      & r_0009_0008__laughter(R_0009_0008__LAUGHTER)
      & r_0009_0010__them(R_0009_0010__THEM)
      & r_0009_0012__but(R_0009_0012__BUT)
      & has_conj1(R_0009_0012__BUT,Z_0009_5002)
      & z_0009_5002(Z_0009_5002)
      & has_conj1(Z_0009_5002,R_0009_0009__WATCHING)
      & r_0009_0009__watching(R_0009_0009__WATCHING)
      & has_arg1(R_0009_0009__WATCHING,R_0009_0010__THEM)
      & has_arg0(R_0009_0009__WATCHING,R_0009_0004__WE)
      & has_conj2(Z_0009_5002,R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM)
      & r_0009_0005__were_r_0009_0006__dying_r_0009_0007__from(R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM)
      & has_arg1(R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM,R_0009_0008__LAUGHTER)
      & has_arg0(R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM,R_0009_0004__WE)
      & has_r_0009_0001__By__nim(R_0009_0005__WERE_R_0009_0006__DYING_R_0009_0007__FROM,R_0009_0002__THIS_R_0009_0003__TIME)
      & has_conj2(R_0009_0012__BUT,R_0009_0016__N_APOS_T)
      & ~ ? [R_0009_0013__MRS_R_0009_0014__SMITH,R_0009_0015__WAS] :
            ( r_0009_0013__Mrs_r_0009_0014__Smith(R_0009_0013__MRS_R_0009_0014__SMITH)
            & r_0009_0015__was(R_0009_0015__WAS)
            & has_arg0(R_0009_0015__WAS,R_0009_0013__MRS_R_0009_0014__SMITH) ) ) ).