TSPC 90_a_hardy

90_a_hardy_1883
The stranger hoped his host might not be made unhappy either by too many or too few of such episodes, and being invited by a gesture to a pull at the mug, he readily acquiesced.

arc(r_0090_0003__hoped, r_0090_0001__The_r_0090_0002__stranger, arg0).
arc(r_0090_0003__hoped, r_0090_0006__might_r_0090_0007__not, arg1).
arc(r_0090_0005__host, r_0090_0001__The_r_0090_0002__stranger, gen).
arc(r_0090_0006__might_r_0090_0007__not, r_0090_0008__be, scope).
arc(r_0090_0008__be, r_0090_0015__or, scope).
arc(r_0090_0009__made_r_0090_0011__either, r_0090_0005__host, arg1).
arc(r_0090_0009__made_r_0090_0011__either, r_0090_0010__unhappy, prd).
arc(r_0090_0009__made_r_0090_0011__either, z_000_90_a_hardy_1883_29, arg0).
arc(r_0090_0009__made_r_0090_0011__either, z_000_90_a_hardy_1883_41, r_0090_0012__by_nim41).
arc(r_0090_0014__many, r_0090_0013__too, qual43).
arc(r_0090_0015__or, r_0090_0009__made_r_0090_0011__either, conj1).
arc(r_0090_0015__or, z_000_90_a_hardy_1883_51, conj2).
arc(r_0090_0017__few, r_0090_0016__too, qual55).
arc(r_0090_0020__episodes, r_0090_0019__such, attrib64).
arc(r_0090_0022__and, r_0090_0003__hoped, conj1).
arc(r_0090_0022__and, z_000_90_a_hardy_1883_75, conj2).
arc(r_0090_0023__being, r_0090_0024__invited, scope).
arc(r_0090_0024__invited, r_0090_0001__The_r_0090_0002__stranger, arg1).
arc(r_0090_0024__invited, r_0090_0026__a_r_0090_0027__gesture, r_0090_0025__by_nim87).
arc(r_0090_0024__invited, r_0090_0029__a_r_0090_0030__pull, r_0090_0028__to_nim95).
arc(r_0090_0024__invited, z_000_90_a_hardy_1883_80, arg0).
arc(r_0090_0029__a_r_0090_0030__pull, r_0090_0032__the_r_0090_0033__mug, r_0090_0031__at).
arc(r_0090_0037__acquiesced, r_0090_0001__The_r_0090_0002__stranger, arg0).
arc(r_0090_0037__acquiesced, r_0090_0036__readily, nim113).
arc(z_000_90_a_hardy_1883_41, r_0090_0014__many, attrib42).
arc(z_000_90_a_hardy_1883_51, r_0090_0005__host, arg0).
arc(z_000_90_a_hardy_1883_51, z_000_90_a_hardy_1883_53, nim53).
arc(z_000_90_a_hardy_1883_53, r_0090_0017__few, attrib54).
arc(z_000_90_a_hardy_1883_53, r_0090_0020__episodes, r_0090_0018__of).
arc(z_000_90_a_hardy_1883_75, r_0090_0023__being, restriction).
arc(z_000_90_a_hardy_1883_75, r_0090_0037__acquiesced, scope).

fof(formula,axiom,
    ? [R_0090_0001__THE_R_0090_0002__STRANGER,R_0090_0003__HOPED,R_0090_0026__A_R_0090_0027__GESTURE,R_0090_0032__THE_R_0090_0033__MUG,R_0090_0029__A_R_0090_0030__PULL,Z_000_90_A_HARDY_1883_80,R_0090_0023__BEING_R_0090_0024__INVITED,R_0090_0036__READILY,R_0090_0037__ACQUIESCED,Z_000_90_A_HARDY_1883_75,R_0090_0022__AND] :
      ( r_0090_0001__The_r_0090_0002__stranger(R_0090_0001__THE_R_0090_0002__STRANGER)
      & r_0090_0026__a_r_0090_0027__gesture(R_0090_0026__A_R_0090_0027__GESTURE)
      & r_0090_0032__the_r_0090_0033__mug(R_0090_0032__THE_R_0090_0033__MUG)
      & r_0090_0036__readily(R_0090_0036__READILY)
      & z_000_90_a_hardy_1883_80(Z_000_90_A_HARDY_1883_80)
      & r_0090_0022__and(R_0090_0022__AND)
      & has_conj2(R_0090_0022__AND,Z_000_90_A_HARDY_1883_75)
      & z_000_90_a_hardy_1883_75(Z_000_90_A_HARDY_1883_75)
      & has_conj2(Z_000_90_A_HARDY_1883_75,R_0090_0037__ACQUIESCED)
      & r_0090_0037__acquiesced(R_0090_0037__ACQUIESCED)
      & has_nim113(R_0090_0037__ACQUIESCED,R_0090_0036__READILY)
      & has_arg0(R_0090_0037__ACQUIESCED,R_0090_0001__THE_R_0090_0002__STRANGER)
      & has_conj1(Z_000_90_A_HARDY_1883_75,R_0090_0023__BEING_R_0090_0024__INVITED)
      & r_0090_0023__being_r_0090_0024__invited(R_0090_0023__BEING_R_0090_0024__INVITED)
      & has_arg0(R_0090_0023__BEING_R_0090_0024__INVITED,Z_000_90_A_HARDY_1883_80)
      & has_r_0090_0028__to_nim95(R_0090_0023__BEING_R_0090_0024__INVITED,R_0090_0029__A_R_0090_0030__PULL)
      & r_0090_0029__a_r_0090_0030__pull(R_0090_0029__A_R_0090_0030__PULL)
      & has_r_0090_0031__at(R_0090_0029__A_R_0090_0030__PULL,R_0090_0032__THE_R_0090_0033__MUG)
      & has_r_0090_0025__by_nim87(R_0090_0023__BEING_R_0090_0024__INVITED,R_0090_0026__A_R_0090_0027__GESTURE)
      & has_arg1(R_0090_0023__BEING_R_0090_0024__INVITED,R_0090_0001__THE_R_0090_0002__STRANGER)
      & has_conj1(R_0090_0022__AND,R_0090_0003__HOPED)
      & r_0090_0003__hoped(R_0090_0003__HOPED)
      & has_arg1(R_0090_0003__HOPED,R_0090_0006__MIGHT_R_0090_0007__NOT_R_0090_0008__BE)
      & ~ ? [R_0090_0005__HOST,R_0090_0010__UNHAPPY,Z_000_90_A_HARDY_1883_29,R_0090_0013__TOO,R_0090_0014__MANY,Z_000_90_A_HARDY_1883_41,R_0090_0009__MADE_R_0090_0011__EITHER,R_0090_0016__TOO,R_0090_0017__FEW,R_0090_0019__SUCH,R_0090_0020__EPISODES,Z_000_90_A_HARDY_1883_53,Z_000_90_A_HARDY_1883_51,R_0090_0015__OR] :
            ( r_0090_0010__unhappy(R_0090_0010__UNHAPPY)
            & r_0090_0013__too(R_0090_0013__TOO)
            & r_0090_0016__too(R_0090_0016__TOO)
            & r_0090_0019__such(R_0090_0019__SUCH)
            & z_000_90_a_hardy_1883_29(Z_000_90_A_HARDY_1883_29)
            & r_0090_0015__or(R_0090_0015__OR)
            & has_conj2(R_0090_0015__OR,Z_000_90_A_HARDY_1883_51)
            & z_000_90_a_hardy_1883_51(Z_000_90_A_HARDY_1883_51)
            & has_nim53(Z_000_90_A_HARDY_1883_51,Z_000_90_A_HARDY_1883_53)
            & z_000_90_a_hardy_1883_53(Z_000_90_A_HARDY_1883_53)
            & has_r_0090_0018__of(Z_000_90_A_HARDY_1883_53,R_0090_0020__EPISODES)
            & r_0090_0020__episodes(R_0090_0020__EPISODES)
            & has_attrib64(R_0090_0020__EPISODES,R_0090_0019__SUCH)
            & has_attrib54(Z_000_90_A_HARDY_1883_53,R_0090_0017__FEW)
            & r_0090_0017__few(R_0090_0017__FEW)
            & has_qual55(R_0090_0017__FEW,R_0090_0016__TOO)
            & has_arg0(Z_000_90_A_HARDY_1883_51,R_0090_0005__HOST)
            & r_0090_0005__host(R_0090_0005__HOST)
            & has_gen(R_0090_0005__HOST,R_0090_0001__THE_R_0090_0002__STRANGER)
            & has_conj1(R_0090_0015__OR,R_0090_0009__MADE_R_0090_0011__EITHER)
            & r_0090_0009__made_r_0090_0011__either(R_0090_0009__MADE_R_0090_0011__EITHER)
            & has_r_0090_0012__by_nim41(R_0090_0009__MADE_R_0090_0011__EITHER,Z_000_90_A_HARDY_1883_41)
            & z_000_90_a_hardy_1883_41(Z_000_90_A_HARDY_1883_41)
            & has_attrib42(Z_000_90_A_HARDY_1883_41,R_0090_0014__MANY)
            & r_0090_0014__many(R_0090_0014__MANY)
            & has_qual43(R_0090_0014__MANY,R_0090_0013__TOO)
            & has_arg0(R_0090_0009__MADE_R_0090_0011__EITHER,Z_000_90_A_HARDY_1883_29)
            & has_prd(R_0090_0009__MADE_R_0090_0011__EITHER,R_0090_0010__UNHAPPY)
            & has_arg1(R_0090_0009__MADE_R_0090_0011__EITHER,R_0090_0005__HOST) )
      & has_arg0(R_0090_0003__HOPED,R_0090_0001__THE_R_0090_0002__STRANGER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PEDESTRIAN} (D The;{the})
                                           (N stranger;{stranger}))
                      (VBD;_Tf_ hoped;{hope})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                  (N host;{host}))
                                          (MD;_cat_Vi_ might;{may})
                                          (NEG not;{not})
                                          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                      (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                                                              (VVN;_Cn.a_ made;{make})
                                                                              (ADJP-PRD (ADJ unhappy;{unhappy}))
                                                                              (CONJ;_cl_ either;{either})
                                                                              (PP-NIM (P-ROLE by;{by})
                                                                                      (NP (ADJP (ADVP (ADV too;{too}))
                                                                                                (ADJ many;{many})))))
                                                                        (CONJP (CONJ or;{or})
                                                                               (ILYR (PP-NIM (NP (ADJP (ADVP (ADV too;{too}))
                                                                                                       (ADJ few;{few}))
                                                                                                 (PP (P-ROLE of;{of})
                                                                                                     (NP (ADJP (ADJ;_such_ such;{such}))
                                                                                                         (NS episodes;{episode})))))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (IP-PPL2 (BAG;_cat_VePASS_ being;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (VVN;_Tn.pr_ invited;{invite})
                                                           (PP-NIM (P-ROLE by;{by})
                                                                   (NP (D a;{a})
                                                                       (N gesture;{gesture})))
                                                           (PP-NIM (P-ROLE to;{to})
                                                                   (NP (D a;{a})
                                                                       (N pull;{pull})
                                                                       (PP (P-ROLE at;{at})
                                                                           (NP (D the;{the})
                                                                               (N mug;{mug}))))))))
                             (PUNC ,)
                             (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                             (ADVP-NIM (ADV readily;{readily}))
                             (VBD;_I_ acquiesced;{acquiesce}))))
          (PUNC .))
  (ID 90_a_hardy_1883))