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_8_15_BUT,R_8_8_AND,R_8_4_WALKED,R_8_9_STARTED_TRYING,R_8_11_TO_UNLOCK,R_8_6_ONE_CAR,R_8_31_AND,R_8_23_SAW,R_8_18_THAT_MOMENT,Z_8_A_STORIES_11_H38_114,R_8_38_AND,R_8_37_BAWLING,R_8_39_SHOUTING,R_8_34_CAME,R_8_32_SO,R_8_26_WERE_DOING,R_8_2_AND,R_8_1_STEPHEN,R_8_3_RUSSELL,Z_8_A_STORIES_11_H38_72,R_8_30_CAR,R_8_20_A_MAN,R_8_21_FRENCH] :
      ( one_car(R_8_6_ONE_CAR)
      & that_moment(R_8_18_THAT_MOMENT)
      & so(R_8_32_SO)
      & stephen(R_8_1_STEPHEN)
      & russell(R_8_3_RUSSELL)
      & french(R_8_21_FRENCH)
      & but(R_8_15_BUT)
      & conj1(R_8_15_BUT,R_8_8_AND)
      & and(R_8_8_AND)
      & conj1(R_8_8_AND,R_8_4_WALKED)
      & walked(R_8_4_WALKED,R_8_2_AND)
      & and(R_8_2_AND)
      & conj1(R_8_2_AND,R_8_1_STEPHEN)
      & conj2(R_8_2_AND,R_8_3_RUSSELL)
      & up_to_clr22(R_8_4_WALKED,R_8_6_ONE_CAR)
      & conj2(R_8_8_AND,R_8_9_STARTED_TRYING)
      & started_trying(R_8_9_STARTED_TRYING,R_8_2_AND)
      & clr36(R_8_9_STARTED_TRYING,R_8_11_TO_UNLOCK)
      & to_unlock(R_8_11_TO_UNLOCK,R_8_2_AND,R_8_6_ONE_CAR)
      & conj2(R_8_15_BUT,R_8_31_AND)
      & and(R_8_31_AND)
      & conj1(R_8_31_AND,R_8_23_SAW)
      & saw(R_8_23_SAW,R_8_20_A_MAN,Z_8_A_STORIES_11_H38_72)
      & a_man(R_8_20_A_MAN)
      & attrib65(R_8_20_A_MAN,R_8_21_FRENCH)
      & just_at_nim57(R_8_23_SAW,R_8_18_THAT_MOMENT)
      & conj2(R_8_31_AND,Z_8_A_STORIES_11_H38_114)
      & z_8_a_stories_11_h38_114(Z_8_A_STORIES_11_H38_114)
      & conj1(Z_8_A_STORIES_11_H38_114,R_8_38_AND)
      & and(R_8_38_AND)
      & conj1(R_8_38_AND,R_8_37_BAWLING)
      & bawling(R_8_37_BAWLING,R_8_20_A_MAN)
      & conj2(R_8_38_AND,R_8_39_SHOUTING)
      & shouting(R_8_39_SHOUTING,R_8_20_A_MAN)
      & conj2(Z_8_A_STORIES_11_H38_114,R_8_34_CAME)
      & came(R_8_34_CAME,R_8_20_A_MAN)
      & nim100(R_8_34_CAME,R_8_32_SO)
      & up_to_clr111(R_8_34_CAME,R_8_2_AND)
      & were_doing(R_8_26_WERE_DOING,R_8_2_AND,Z_8_A_STORIES_11_H38_72)
      & to_nim90(R_8_26_WERE_DOING,R_8_30_CAR)
      & car(R_8_30_CAR)
      & gen(R_8_30_CAR,R_8_20_A_MAN) ) ).

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