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.

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

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_0005__up_to,r_0008_0002__and,arg0).
arc(r_0008_0004__walked_r_0008_0005__up_to,r_0008_0006__one_r_0008_0007__car,arg1).
arc(r_0008_0008__and,r_0008_0004__walked_r_0008_0005__up_to,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_0012__unlock,clr).
arc(r_0008_0012__unlock,r_0008_0002__and,arg0).
arc(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,attrib).
arc(r_0008_0023__saw,r_0008_0018__that_r_0008_0019__moment,r_0008_0016__just_r_0008_0017__at__nim).
arc(r_0008_0023__saw,r_0008_0020__a_r_0008_0022__man,arg0).
arc(r_0008_0023__saw,r_0008_0024__what,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_0024__what,arg1).
arc(r_0008_0027__doing,r_0008_0030__car,r_0008_0028__to__nim).
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_0008_5025,conj2).
arc(r_0008_0034__came,r_0008_0002__and,r_0008_0035__up_to__clr).
arc(r_0008_0034__came,r_0008_0020__a_r_0008_0022__man,arg0).
arc(r_0008_0034__came,r_0008_0032__so,nim).
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_0008_5025,r_0008_0034__came,scope).
arc(z_0008_5025,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_0005__UP_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,R_0008_0024__WHAT,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_0008_5025,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_0024__what(R_0008_0024__WHAT)
      & r_0008_0032__so(R_0008_0032__SO)
      & r_0008_0026__were_r_0008_0027__doing(R_0008_0026__WERE_R_0008_0027__DOING)
      & has_r_0008_0028__to__nim(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_attrib(R_0008_0020__A_R_0008_0022__MAN,R_0008_0021__FRENCH)
      & has_arg1(R_0008_0026__WERE_R_0008_0027__DOING,R_0008_0024__WHAT)
      & 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_0008_5025)
      & z_0008_5025(Z_0008_5025)
      & has_conj1(Z_0008_5025,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_0008_5025,R_0008_0034__CAME)
      & r_0008_0034__came(R_0008_0034__CAME)
      & has_nim(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__clr(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,R_0008_0024__WHAT)
      & has_arg0(R_0008_0023__SAW,R_0008_0020__A_R_0008_0022__MAN)
      & has_r_0008_0016__just_r_0008_0017__at__nim(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_clr(R_0008_0009__STARTED_R_0008_0010__TRYING,R_0008_0012__UNLOCK)
      & r_0008_0012__unlock(R_0008_0012__UNLOCK)
      & has_arg1(R_0008_0012__UNLOCK,R_0008_0006__ONE_R_0008_0007__CAR)
      & has_arg0(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_0005__UP_TO)
      & r_0008_0004__walked_r_0008_0005__up_to(R_0008_0004__WALKED_R_0008_0005__UP_TO)
      & has_arg1(R_0008_0004__WALKED_R_0008_0005__UP_TO,R_0008_0006__ONE_R_0008_0007__CAR)
      & has_arg0(R_0008_0004__WALKED_R_0008_0005__UP_TO,R_0008_0002__AND) ) ).