TSPC 46_a_hardy

46_a_hardy_1883
Mrs. Fennel, seeing the steam begin to generate on the countenances of her guests, crossed over and touched the fiddler's elbow and put her hand on the serpent's mouth.

arc(r_0046_0004__seeing, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, arg0).
arc(r_0046_0004__seeing, r_0046_0007__begin, arg1).
arc(r_0046_0007__begin, r_0046_0008__to_r_0046_0009__generate, scope).
arc(r_0046_0008__to_r_0046_0009__generate, r_0046_0005__the_r_0046_0006__steam, arg0).
arc(r_0046_0008__to_r_0046_0009__generate, r_0046_0011__the_r_0046_0012__countenances, r_0046_0010__on_nim29).
arc(r_0046_0011__the_r_0046_0012__countenances, r_0046_0015__guests, r_0046_0013__of).
arc(r_0046_0015__guests, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, gen).
arc(r_0046_0017__crossed_r_0046_0018__over, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, arg0).
arc(r_0046_0019__and_r_0046_0025__and, r_0046_0017__crossed_r_0046_0018__over, conj1).
arc(r_0046_0019__and_r_0046_0025__and, r_0046_0020__touched, conj2).
arc(r_0046_0019__and_r_0046_0025__and, r_0046_0026__put, conj3).
arc(r_0046_0020__touched, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, arg0).
arc(r_0046_0020__touched, r_0046_0024__elbow, arg1).
arc(r_0046_0024__elbow, r_0046_0021__the_r_0046_0022__fiddler_r_0046_0023___apos_s, gen).
arc(r_0046_0026__put, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, arg0).
arc(r_0046_0026__put, r_0046_0028__hand, arg1).
arc(r_0046_0026__put, r_0046_0033__mouth, r_0046_0029__on_nim82).
arc(r_0046_0028__hand, r_0046_0001__Mrs_dot__r_0046_0002__Fennel, gen).
arc(r_0046_0033__mouth, r_0046_0030__the_r_0046_0031__serpent_r_0046_0032___apos_s, gen).
arc(z_000_46_a_hardy_1883_9, r_0046_0004__seeing, restriction).
arc(z_000_46_a_hardy_1883_9, r_0046_0019__and_r_0046_0025__and, scope).

fof(formula,axiom,
    ? [R_0046_0001__MRS_DOT__R_0046_0002__FENNEL,R_0046_0005__THE_R_0046_0006__STEAM,R_0046_0015__GUESTS,R_0046_0011__THE_R_0046_0012__COUNTENANCES,R_0046_0007__BEGIN_R_0046_0008__TO_R_0046_0009__GENERATE,R_0046_0004__SEEING,R_0046_0017__CROSSED_R_0046_0018__OVER,R_0046_0021__THE_R_0046_0022__FIDDLER_R_0046_0023___APOS_S,R_0046_0024__ELBOW,R_0046_0020__TOUCHED,R_0046_0028__HAND,R_0046_0030__THE_R_0046_0031__SERPENT_R_0046_0032___APOS_S,R_0046_0033__MOUTH,R_0046_0026__PUT,R_0046_0019__AND_R_0046_0025__AND,Z_000_46_A_HARDY_1883_9] :
      ( r_0046_0001__Mrs_dot__r_0046_0002__Fennel(R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & r_0046_0005__the_r_0046_0006__steam(R_0046_0005__THE_R_0046_0006__STEAM)
      & r_0046_0021__the_r_0046_0022__fiddler_r_0046_0023___apos_s(R_0046_0021__THE_R_0046_0022__FIDDLER_R_0046_0023___APOS_S)
      & r_0046_0030__the_r_0046_0031__serpent_r_0046_0032___apos_s(R_0046_0030__THE_R_0046_0031__SERPENT_R_0046_0032___APOS_S)
      & z_000_46_a_hardy_1883_9(Z_000_46_A_HARDY_1883_9)
      & has_conj2(Z_000_46_A_HARDY_1883_9,R_0046_0019__AND_R_0046_0025__AND)
      & r_0046_0019__and_r_0046_0025__and(R_0046_0019__AND_R_0046_0025__AND)
      & has_conj3(R_0046_0019__AND_R_0046_0025__AND,R_0046_0026__PUT)
      & r_0046_0026__put(R_0046_0026__PUT)
      & has_r_0046_0029__on_nim82(R_0046_0026__PUT,R_0046_0033__MOUTH)
      & r_0046_0033__mouth(R_0046_0033__MOUTH)
      & has_gen(R_0046_0033__MOUTH,R_0046_0030__THE_R_0046_0031__SERPENT_R_0046_0032___APOS_S)
      & has_arg1(R_0046_0026__PUT,R_0046_0028__HAND)
      & r_0046_0028__hand(R_0046_0028__HAND)
      & has_gen(R_0046_0028__HAND,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & has_arg0(R_0046_0026__PUT,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & has_conj2(R_0046_0019__AND_R_0046_0025__AND,R_0046_0020__TOUCHED)
      & r_0046_0020__touched(R_0046_0020__TOUCHED)
      & has_arg1(R_0046_0020__TOUCHED,R_0046_0024__ELBOW)
      & r_0046_0024__elbow(R_0046_0024__ELBOW)
      & has_gen(R_0046_0024__ELBOW,R_0046_0021__THE_R_0046_0022__FIDDLER_R_0046_0023___APOS_S)
      & has_arg0(R_0046_0020__TOUCHED,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & has_conj1(R_0046_0019__AND_R_0046_0025__AND,R_0046_0017__CROSSED_R_0046_0018__OVER)
      & r_0046_0017__crossed_r_0046_0018__over(R_0046_0017__CROSSED_R_0046_0018__OVER)
      & has_arg0(R_0046_0017__CROSSED_R_0046_0018__OVER,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & has_conj1(Z_000_46_A_HARDY_1883_9,R_0046_0004__SEEING)
      & r_0046_0004__seeing(R_0046_0004__SEEING)
      & has_arg1(R_0046_0004__SEEING,R_0046_0007__BEGIN_R_0046_0008__TO_R_0046_0009__GENERATE)
      & r_0046_0007__begin_r_0046_0008__to_r_0046_0009__generate(R_0046_0007__BEGIN_R_0046_0008__TO_R_0046_0009__GENERATE)
      & has_r_0046_0010__on_nim29(R_0046_0007__BEGIN_R_0046_0008__TO_R_0046_0009__GENERATE,R_0046_0011__THE_R_0046_0012__COUNTENANCES)
      & r_0046_0011__the_r_0046_0012__countenances(R_0046_0011__THE_R_0046_0012__COUNTENANCES)
      & has_r_0046_0013__of(R_0046_0011__THE_R_0046_0012__COUNTENANCES,R_0046_0015__GUESTS)
      & r_0046_0015__guests(R_0046_0015__GUESTS)
      & has_gen(R_0046_0015__GUESTS,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL)
      & has_arg0(R_0046_0007__BEGIN_R_0046_0008__TO_R_0046_0009__GENERATE,R_0046_0005__THE_R_0046_0006__STEAM)
      & has_arg0(R_0046_0004__SEEING,R_0046_0001__MRS_DOT__R_0046_0002__FENNEL) ) ).

( (IP-MAT (NP-SBJ;{WIFE} (N Mrs<dot>)
                         (NPR Fennel;{Fennel}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tni_ seeing;{see})
                            (NP-DOB1 (D the;{the})
                                     (N steam;{steam}))
                            (IP-INF-OB1 (VB;_cat_Vt_ begin;{begin})
                                        (IP-INF-CAT (TO to;{to})
                                                    (VB;__ generate;{generate})
                                                    (PP-NIM (P-ROLE on;{on})
                                                            (NP (D the;{the})
                                                                (NS countenances;{countenance})
                                                                (PP (P-ROLE of;{of})
                                                                    (NP (NP-GEN;{WIFE} (PRO;_genm_ her;{her}))
                                                                        (NS guests;{guest})))))))))
          (PUNC ,)
          (ILYR (ILYR (VBD;__ crossed;{cross})
                      (RP over;{over}))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;__ touched;{touch})
                             (NP-OB1 (NP-GEN;{FIDDLER} (D the;{the})
                                                       (N fiddler;{fiddler})
                                                       (GENM <apos>s))
                                     (N elbow;{elbow}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;__ put;{put})
                             (NP-OB1 (NP-GEN;{WIFE} (PRO;_genm_ her;{her}))
                                     (N hand;{hand}))
                             (PP-NIM (P-ROLE on;{on})
                                     (NP (NP-GEN (D the;{the})
                                                 (N serpent;{serpent})
                                                 (GENM <apos>s))
                                         (N mouth;{mouth}))))))
          (PUNC .))
  (ID 46_a_hardy_1883))