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

%3 r_0009_0005__were were r_0009_0002__this_r_0009_0003__time this time r_0009_0005__were->r_0009_0002__this_r_0009_0003__time By [nim] r_0009_0006__dying dying r_0009_0005__were->r_0009_0006__dying [scope] r_0009_0004__we we r_0009_0006__dying->r_0009_0004__we [arg0] r_0009_0008__laughter laughter r_0009_0006__dying->r_0009_0008__laughter from [clr] r_0009_0009__watching watching r_0009_0009__watching->r_0009_0004__we [arg0] r_0009_0010__them them r_0009_0009__watching->r_0009_0010__them [arg1] r_0009_0012__but but r_0009_0016__n_apos_t n't r_0009_0012__but->r_0009_0016__n_apos_t [conj2] z_000_9_a_stories_11_h38_26 r_0009_0012__but->z_000_9_a_stories_11_h38_26 [conj1] r_0009_0015__was was r_0009_0016__n_apos_t->r_0009_0015__was [keep_scope] z_000_9_a_stories_11_h38_26->r_0009_0005__were [scope] z_000_9_a_stories_11_h38_26->r_0009_0009__watching [restriction] r_0009_1001____star__ * r_0009_0015__was->r_0009_1001____star__ [scope] r_0009_0013__Mrs_r_0009_0014__Smith Mrs Smith r_0009_1001____star__->r_0009_0013__Mrs_r_0009_0014__Smith [arg0]
arc(r_0009_0005__were, r_0009_0002__this_r_0009_0003__time, r_0009_0001__By_nim7).
arc(r_0009_0005__were, r_0009_0006__dying, scope).
arc(r_0009_0006__dying, r_0009_0004__we, arg0).
arc(r_0009_0006__dying, r_0009_0008__laughter, r_0009_0007__from_clr23).
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_000_9_a_stories_11_h38_26, conj1).
arc(r_0009_0015__was, r_0009_1001____star__, scope).
arc(r_0009_0016__n_apos_t, r_0009_0015__was, keep_scope).
arc(r_0009_1001____star__, r_0009_0013__Mrs_r_0009_0014__Smith, arg0).
arc(z_000_9_a_stories_11_h38_26, r_0009_0005__were, scope).
arc(z_000_9_a_stories_11_h38_26, r_0009_0009__watching, restriction).



%3 r_0009_0005__were_r_0009_0006__dying were dying r_0009_0002__this_r_0009_0003__time this time r_0009_0005__were_r_0009_0006__dying->r_0009_0002__this_r_0009_0003__time By [nim] r_0009_0004__we we r_0009_0005__were_r_0009_0006__dying->r_0009_0004__we [arg0] r_0009_0008__laughter laughter r_0009_0005__were_r_0009_0006__dying->r_0009_0008__laughter from [clr] r_0009_0009__watching watching r_0009_0009__watching->r_0009_0004__we [arg0] r_0009_0010__them them r_0009_0009__watching->r_0009_0010__them [arg1] r_0009_0012__but but r_0009_0016__n_apos_t n't r_0009_0012__but->r_0009_0016__n_apos_t [conj2] z_000_9_a_stories_11_h38_26 r_0009_0012__but->z_000_9_a_stories_11_h38_26 [conj1] r_0009_0015__was_r_0009_1001____star__ was  * r_0009_0016__n_apos_t->r_0009_0015__was_r_0009_1001____star__ [keep_scope] z_000_9_a_stories_11_h38_26->r_0009_0005__were_r_0009_0006__dying [conj2] z_000_9_a_stories_11_h38_26->r_0009_0009__watching [conj1] r_0009_0013__Mrs_r_0009_0014__Smith Mrs Smith r_0009_0015__was_r_0009_1001____star__->r_0009_0013__Mrs_r_0009_0014__Smith [arg0]
fof(formula,axiom,
    ? [R_9_12_BUT,Z_9_A_STORIES_11_H38_26,R_9_9_WATCHING,R_9_10_THEM,R_9_5_WERE_DYING,R_9_4_WE,R_9_2_THIS_TIME,R_9_8_LAUGHTER] :
      ( them(R_9_10_THEM)
      & we(R_9_4_WE)
      & this_time(R_9_2_THIS_TIME)
      & laughter(R_9_8_LAUGHTER)
      & but(R_9_12_BUT)
      & conj1(R_9_12_BUT,Z_9_A_STORIES_11_H38_26)
      & z_9_a_stories_11_h38_26(Z_9_A_STORIES_11_H38_26)
      & conj1(Z_9_A_STORIES_11_H38_26,R_9_9_WATCHING)
      & watching(R_9_9_WATCHING,R_9_4_WE,R_9_10_THEM)
      & conj2(Z_9_A_STORIES_11_H38_26,R_9_5_WERE_DYING)
      & were_dying(R_9_5_WERE_DYING,R_9_4_WE)
      & by_nim7(R_9_5_WERE_DYING,R_9_2_THIS_TIME)
      & from_clr23(R_9_5_WERE_DYING,R_9_8_LAUGHTER)
      & conj2(R_9_12_BUT,R_9_16_N_APOS_T)
      & ~ ? [R_9_15_WAS__STAR_,R_9_13_MRS_SMITH] :
            ( mrs_Smith(R_9_13_MRS_SMITH)
            & was__star_(R_9_15_WAS__STAR_,R_9_13_MRS_SMITH) ) ) ).



n9_a_stories_11_h38 n9_a_stories_11_h38_6 By n9_a_stories_11_h38_9 this n9_a_stories_11_h38_11 time n9_a_stories_11_h38_14 we n9_a_stories_11_h38_16 were n9_a_stories_11_h38_19 dying n9_a_stories_11_h38_22 from n9_a_stories_11_h38_25 laughter n9_a_stories_11_h38_29 watching n9_a_stories_11_h38_32 them n9_a_stories_11_h38_34 , n9_a_stories_11_h38_37 but n9_a_stories_11_h38_41 Mrs n9_a_stories_11_h38_43 Smith n9_a_stories_11_h38_45 was n9_a_stories_11_h38_47 n't n9_a_stories_11_h38_50 _*_ n9_a_stories_11_h38_52 . n9_a_stories_11_h38_1 IP-MAT n9_a_stories_11_h38_2 ILYR n9_a_stories_11_h38_1->n9_a_stories_11_h38_2 n9_a_stories_11_h38_51 PUNC n9_a_stories_11_h38_1->n9_a_stories_11_h38_51 n9_a_stories_11_h38_3 ILYR n9_a_stories_11_h38_2->n9_a_stories_11_h38_3 n9_a_stories_11_h38_33 PUNC n9_a_stories_11_h38_2->n9_a_stories_11_h38_33 n9_a_stories_11_h38_35 CONJP n9_a_stories_11_h38_2->n9_a_stories_11_h38_35 n9_a_stories_11_h38_4 PP-NIM n9_a_stories_11_h38_3->n9_a_stories_11_h38_4 n9_a_stories_11_h38_12 NP-SBJ n9_a_stories_11_h38_3->n9_a_stories_11_h38_12 n9_a_stories_11_h38_15 BED;_cat_Vg_ n9_a_stories_11_h38_3->n9_a_stories_11_h38_15 n9_a_stories_11_h38_17 IP-PPL-CAT n9_a_stories_11_h38_3->n9_a_stories_11_h38_17 n9_a_stories_11_h38_26 PP-SCON n9_a_stories_11_h38_3->n9_a_stories_11_h38_26 n9_a_stories_11_h38_5 P-ROLE n9_a_stories_11_h38_4->n9_a_stories_11_h38_5 n9_a_stories_11_h38_7 NP n9_a_stories_11_h38_4->n9_a_stories_11_h38_7 n9_a_stories_11_h38_5->n9_a_stories_11_h38_6 n9_a_stories_11_h38_8 D n9_a_stories_11_h38_7->n9_a_stories_11_h38_8 n9_a_stories_11_h38_10 N n9_a_stories_11_h38_7->n9_a_stories_11_h38_10 n9_a_stories_11_h38_8->n9_a_stories_11_h38_9 n9_a_stories_11_h38_10->n9_a_stories_11_h38_11 n9_a_stories_11_h38_13 PRO n9_a_stories_11_h38_12->n9_a_stories_11_h38_13 n9_a_stories_11_h38_13->n9_a_stories_11_h38_14 n9_a_stories_11_h38_15->n9_a_stories_11_h38_16 n9_a_stories_11_h38_18 VAG;_Ipr_ n9_a_stories_11_h38_17->n9_a_stories_11_h38_18 n9_a_stories_11_h38_20 PP-CLR n9_a_stories_11_h38_17->n9_a_stories_11_h38_20 n9_a_stories_11_h38_18->n9_a_stories_11_h38_19 n9_a_stories_11_h38_21 P-ROLE n9_a_stories_11_h38_20->n9_a_stories_11_h38_21 n9_a_stories_11_h38_23 NP n9_a_stories_11_h38_20->n9_a_stories_11_h38_23 n9_a_stories_11_h38_21->n9_a_stories_11_h38_22 n9_a_stories_11_h38_24 N n9_a_stories_11_h38_23->n9_a_stories_11_h38_24 n9_a_stories_11_h38_24->n9_a_stories_11_h38_25 n9_a_stories_11_h38_27 IP-PPL2 n9_a_stories_11_h38_26->n9_a_stories_11_h38_27 n9_a_stories_11_h38_28 VAG;_Tn_ n9_a_stories_11_h38_27->n9_a_stories_11_h38_28 n9_a_stories_11_h38_30 NP-OB1 n9_a_stories_11_h38_27->n9_a_stories_11_h38_30 n9_a_stories_11_h38_28->n9_a_stories_11_h38_29 n9_a_stories_11_h38_31 PRO n9_a_stories_11_h38_30->n9_a_stories_11_h38_31 n9_a_stories_11_h38_31->n9_a_stories_11_h38_32 n9_a_stories_11_h38_33->n9_a_stories_11_h38_34 n9_a_stories_11_h38_36 CONJ n9_a_stories_11_h38_35->n9_a_stories_11_h38_36 n9_a_stories_11_h38_38 ILYR n9_a_stories_11_h38_35->n9_a_stories_11_h38_38 n9_a_stories_11_h38_36->n9_a_stories_11_h38_37 n9_a_stories_11_h38_39 NP-SBJ n9_a_stories_11_h38_38->n9_a_stories_11_h38_39 n9_a_stories_11_h38_44 BED;_cat_Vg_ n9_a_stories_11_h38_38->n9_a_stories_11_h38_44 n9_a_stories_11_h38_46 NEG;_clitic_ n9_a_stories_11_h38_38->n9_a_stories_11_h38_46 n9_a_stories_11_h38_48 IP-PPL-CAT n9_a_stories_11_h38_38->n9_a_stories_11_h38_48 n9_a_stories_11_h38_40 N n9_a_stories_11_h38_39->n9_a_stories_11_h38_40 n9_a_stories_11_h38_42 NPR n9_a_stories_11_h38_39->n9_a_stories_11_h38_42 n9_a_stories_11_h38_40->n9_a_stories_11_h38_41 n9_a_stories_11_h38_42->n9_a_stories_11_h38_43 n9_a_stories_11_h38_44->n9_a_stories_11_h38_45 n9_a_stories_11_h38_46->n9_a_stories_11_h38_47 n9_a_stories_11_h38_49 VB n9_a_stories_11_h38_48->n9_a_stories_11_h38_49 n9_a_stories_11_h38_49->n9_a_stories_11_h38_50 n9_a_stories_11_h38_51->n9_a_stories_11_h38_52
( (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})
                             (IP-PPL-CAT (VB _*_)))))
          (PUNC .))
  (ID 9_a_stories_11_h38))