TSPC 8_a_stories_11

8_a_stories_11_h38
Stephen and Russell walked up to one car and started trying to unlock it, but just at that moment a French man saw what they were doing to his car and so he came up to them bawling and shouting.

arc(r_0008_0002__and, r_0008_0001__Stephen, conj1).
arc(r_0008_0002__and, r_0008_0003__Russell, conj2).
arc(r_0008_0004__walked, r_0008_0002__and, arg0).
arc(r_0008_0004__walked, r_0008_0006__one_r_0008_0007__car, r_0008_0005__up_to_clr22).
arc(r_0008_0008__and, r_0008_0004__walked, conj1).
arc(r_0008_0008__and, r_0008_0009__started, conj2).
arc(r_0008_0009__started, r_0008_0010__trying, scope).
arc(r_0008_0010__trying, r_0008_0002__and, arg0).
arc(r_0008_0010__trying, r_0008_0011__to_r_0008_0012__unlock, clr36).
arc(r_0008_0011__to_r_0008_0012__unlock, r_0008_0002__and, arg0).
arc(r_0008_0011__to_r_0008_0012__unlock, r_0008_0006__one_r_0008_0007__car, arg1).
arc(r_0008_0015__but, r_0008_0008__and, conj1).
arc(r_0008_0015__but, r_0008_0031__and, conj2).
arc(r_0008_0020__a_r_0008_0022__man, r_0008_0021__French, attrib65).
arc(r_0008_0023__saw, r_0008_0018__that_r_0008_0019__moment, r_0008_0016__just_r_0008_0017__at_nim57).
arc(r_0008_0023__saw, r_0008_0020__a_r_0008_0022__man, arg0).
arc(r_0008_0023__saw, z_000_8_a_stories_11_h38_72, arg1).
arc(r_0008_0026__were, r_0008_0027__doing, scope).
arc(r_0008_0027__doing, r_0008_0002__and, arg0).
arc(r_0008_0027__doing, r_0008_0030__car, r_0008_0028__to_nim90).
arc(r_0008_0027__doing, z_000_8_a_stories_11_h38_72, arg1).
arc(r_0008_0030__car, r_0008_0020__a_r_0008_0022__man, gen).
arc(r_0008_0031__and, r_0008_0023__saw, conj1).
arc(r_0008_0031__and, z_000_8_a_stories_11_h38_114, conj2).
arc(r_0008_0034__came, r_0008_0002__and, r_0008_0035__up_to_clr111).
arc(r_0008_0034__came, r_0008_0020__a_r_0008_0022__man, arg0).
arc(r_0008_0034__came, r_0008_0032__so, nim100).
arc(r_0008_0037__bawling, r_0008_0020__a_r_0008_0022__man, arg0).
arc(r_0008_0038__and, r_0008_0037__bawling, conj1).
arc(r_0008_0038__and, r_0008_0039__shouting, conj2).
arc(r_0008_0039__shouting, r_0008_0020__a_r_0008_0022__man, arg0).
arc(z_000_8_a_stories_11_h38_114, r_0008_0034__came, scope).
arc(z_000_8_a_stories_11_h38_114, r_0008_0038__and, restriction).

fof(formula,axiom,
    ? [R_0008_0001__STEPHEN,R_0008_0003__RUSSELL,R_0008_0002__AND,R_0008_0006__ONE_R_0008_0007__CAR,R_0008_0004__WALKED,R_0008_0011__TO_R_0008_0012__UNLOCK,R_0008_0009__STARTED_R_0008_0010__TRYING,R_0008_0008__AND,R_0008_0018__THAT_R_0008_0019__MOMENT,R_0008_0021__FRENCH,R_0008_0020__A_R_0008_0022__MAN,Z_000_8_A_STORIES_11_H38_72,R_0008_0023__SAW,R_0008_0032__SO,R_0008_0034__CAME,R_0008_0037__BAWLING,R_0008_0039__SHOUTING,R_0008_0038__AND,Z_000_8_A_STORIES_11_H38_114,R_0008_0031__AND,R_0008_0015__BUT,R_0008_0030__CAR,R_0008_0026__WERE_R_0008_0027__DOING] :
      ( r_0008_0001__Stephen(R_0008_0001__STEPHEN)
      & r_0008_0003__Russell(R_0008_0003__RUSSELL)
      & r_0008_0006__one_r_0008_0007__car(R_0008_0006__ONE_R_0008_0007__CAR)
      & r_0008_0018__that_r_0008_0019__moment(R_0008_0018__THAT_R_0008_0019__MOMENT)
      & r_0008_0021__French(R_0008_0021__FRENCH)
      & r_0008_0032__so(R_0008_0032__SO)
      & z_000_8_a_stories_11_h38_72(Z_000_8_A_STORIES_11_H38_72)
      & r_0008_0026__were_r_0008_0027__doing(R_0008_0026__WERE_R_0008_0027__DOING)
      & has_arg1(R_0008_0026__WERE_R_0008_0027__DOING,Z_000_8_A_STORIES_11_H38_72)
      & has_r_0008_0028__to_nim90(R_0008_0026__WERE_R_0008_0027__DOING,R_0008_0030__CAR)
      & r_0008_0030__car(R_0008_0030__CAR)
      & has_gen(R_0008_0030__CAR,R_0008_0020__A_R_0008_0022__MAN)
      & r_0008_0020__a_r_0008_0022__man(R_0008_0020__A_R_0008_0022__MAN)
      & has_attrib65(R_0008_0020__A_R_0008_0022__MAN,R_0008_0021__FRENCH)
      & has_arg0(R_0008_0026__WERE_R_0008_0027__DOING,R_0008_0002__AND)
      & r_0008_0002__and(R_0008_0002__AND)
      & has_conj2(R_0008_0002__AND,R_0008_0003__RUSSELL)
      & has_conj1(R_0008_0002__AND,R_0008_0001__STEPHEN)
      & r_0008_0015__but(R_0008_0015__BUT)
      & has_conj2(R_0008_0015__BUT,R_0008_0031__AND)
      & r_0008_0031__and(R_0008_0031__AND)
      & has_conj2(R_0008_0031__AND,Z_000_8_A_STORIES_11_H38_114)
      & z_000_8_a_stories_11_h38_114(Z_000_8_A_STORIES_11_H38_114)
      & has_conj1(Z_000_8_A_STORIES_11_H38_114,R_0008_0038__AND)
      & r_0008_0038__and(R_0008_0038__AND)
      & has_conj2(R_0008_0038__AND,R_0008_0039__SHOUTING)
      & r_0008_0039__shouting(R_0008_0039__SHOUTING)
      & has_arg0(R_0008_0039__SHOUTING,R_0008_0020__A_R_0008_0022__MAN)
      & has_conj1(R_0008_0038__AND,R_0008_0037__BAWLING)
      & r_0008_0037__bawling(R_0008_0037__BAWLING)
      & has_arg0(R_0008_0037__BAWLING,R_0008_0020__A_R_0008_0022__MAN)
      & has_conj2(Z_000_8_A_STORIES_11_H38_114,R_0008_0034__CAME)
      & r_0008_0034__came(R_0008_0034__CAME)
      & has_nim100(R_0008_0034__CAME,R_0008_0032__SO)
      & has_arg0(R_0008_0034__CAME,R_0008_0020__A_R_0008_0022__MAN)
      & has_r_0008_0035__up_to_clr111(R_0008_0034__CAME,R_0008_0002__AND)
      & has_conj1(R_0008_0031__AND,R_0008_0023__SAW)
      & r_0008_0023__saw(R_0008_0023__SAW)
      & has_arg1(R_0008_0023__SAW,Z_000_8_A_STORIES_11_H38_72)
      & has_arg0(R_0008_0023__SAW,R_0008_0020__A_R_0008_0022__MAN)
      & has_r_0008_0016__just_r_0008_0017__at_nim57(R_0008_0023__SAW,R_0008_0018__THAT_R_0008_0019__MOMENT)
      & has_conj1(R_0008_0015__BUT,R_0008_0008__AND)
      & r_0008_0008__and(R_0008_0008__AND)
      & has_conj2(R_0008_0008__AND,R_0008_0009__STARTED_R_0008_0010__TRYING)
      & r_0008_0009__started_r_0008_0010__trying(R_0008_0009__STARTED_R_0008_0010__TRYING)
      & has_clr36(R_0008_0009__STARTED_R_0008_0010__TRYING,R_0008_0011__TO_R_0008_0012__UNLOCK)
      & r_0008_0011__to_r_0008_0012__unlock(R_0008_0011__TO_R_0008_0012__UNLOCK)
      & has_arg1(R_0008_0011__TO_R_0008_0012__UNLOCK,R_0008_0006__ONE_R_0008_0007__CAR)
      & has_arg0(R_0008_0011__TO_R_0008_0012__UNLOCK,R_0008_0002__AND)
      & has_arg0(R_0008_0009__STARTED_R_0008_0010__TRYING,R_0008_0002__AND)
      & has_conj1(R_0008_0008__AND,R_0008_0004__WALKED)
      & r_0008_0004__walked(R_0008_0004__WALKED)
      & has_r_0008_0005__up_to_clr22(R_0008_0004__WALKED,R_0008_0006__ONE_R_0008_0007__CAR)
      & has_arg0(R_0008_0004__WALKED,R_0008_0002__AND) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{STEPHEN_RUSSELL} (NLYR (NLYR (NPR Stephen;{Stephen}))
                                                      (CONJP (CONJ and;{and})
                                                             (NLYR (NPR Russell;{Russell})))))
                      (ILYR (ILYR (VBD;_Ipr_ walked;{walk[up_to]})
                                  (PP-CLR (P-ROLE up_to;{up_to})
                                          (NP;{CAR} (D one;{one})
                                                    (N car;{car}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_cat_Vg_ started;{start})
                                         (IP-PPL-CAT (VAG;_It_ trying;{try})
                                                     (IP-INF-CLR (TO to;{to})
                                                                 (VB;_Tn_ unlock;{unlock})
                                                                 (NP-OB1;{CAR} (PRO it;{it}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (PP-NIM (ADV just;{just})
                                                 (P-ROLE at;{at})
                                                 (NP (D that;{that})
                                                     (N moment;{moment})))
                                         (NP-SBJ;{F_MAN} (D a;{a})
                                                         (ADJP (ADJ French;{french}))
                                                         (N man;{man}))
                                         (VBD;_Tn_ saw;{see})
                                         (NP-OB1 (IP-REL (NP-112 (RPRO what;{what}))
                                                         (NP-SBJ;{STEPHEN_RUSSELL} (PRO they;{they}))
                                                         (BED;_cat_Vg_ were;{be})
                                                         (IP-PPL-CAT (NP-OB1 *ICH*-112)
                                                                     (DAG;_Tn_ doing;{do})
                                                                     (PP-NIM (P-ROLE to;{to})
                                                                             (NP;{CAR} (NP-GEN;{F_MAN} (PRO;_genm_ his;{his}))
                                                                                       (N car;{car})))))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (ADVP-NIM (ADV so;{so}))
                                                (NP-SBJ;{F_MAN} (PRO he;{he}))
                                                (VBD;_phr_Vpr_ came;{come[up_to]})
                                                (PP-CLR (P-ROLE up_to;{up_to})
                                                        (NP;{STEPHEN_RUSSELL} (PRO them;{they})))
                                                (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_I_ bawling;{bawl}))
                                                                        (CONJP (CONJ and;{and})
                                                                               (ILYR (VAG;_I_ shouting;{shout}))))))))))))
          (PUNC .))
  (ID 8_a_stories_11_h38))