TSPC 33_a_hardy

33_a_hardy_1883
Absolute confidence in each other's good opinion begat perfect ease, while the finishing stroke of manner, amounting to a truly princely serenity, was lent to the majority by the absence of any expression or trait denoting that they wished to get on in the world, enlarge their minds, or do any eclipsing thing whatever — which nowadays so generally nips the bloom and bonhomie of all except the two extremes of the social scale.

( (IP-MAT (NP-SBJ (ADJP (ADJ Absolute;{absolute}))
                  (N confidence;{confidence})
                  (PP (P-ROLE in;{in})
                      (NP (NP-GEN (PNX each_other;{each_other})
                                  (GENM <apos>s))
                          (ADJP (ADJ good;{good}))
                          (N opinion;{opinion}))))
          (VBD;_Tn_ begat;{beget})
          (NP-OB1 (ADJP (ADJ perfect;{perfect}))
                  (N ease;{ease}))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (ADJP (ADJ finishing;{finishing}))
                                   (N stroke;{stroke})
                                   (PP (P-ROLE of;{of})
                                       (NP (N manner;{manner})))
                                   (PUNC ,)
                                   (IP-PPL (VAG;_Ipr_ amounting;{amount[to]})
                                           (PP-CLR (P-ROLE to;{to})
                                                   (NP (D a;{a})
                                                       (ADJP (ADVP (ADV truly;{truly}))
                                                             (ADJ princely;{princely}))
                                                       (N serenity;{serenity})))))
                           (PUNC ,)
                           (BED;_cat_VePASS_ was;{be})
                           (IP-PPL-CAT (VVN;__ lent;{lend})
                                       (PP-CLR (P-ROLE to;{to})
                                               (NP;{MAJORITY} (D the;{the})
                                                              (N majority;{majority})))
                                       (PP-LGS (P-ROLE;_lgs_ by;{by})
                                               (NP (D the;{the})
                                                   (N absence;{absence})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (D any;{any})
                                                           (NLYR (NLYR (N expression;{expression}))
                                                                 (CONJP (CONJ or;{or})
                                                                        (NLYR (N trait;{trait}))))
                                                           (IP-PPL (VAG;_Tf_ denoting;{denote})
                                                                   (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                       (NP-SBJ;{MAJORITY} (PRO they;{they}))
                                                                                       (VBD;_Tt_ wished;{wish})
                                                                                       (IP-INF-OB1 (TO to;{to})
                                                                                                   (ILYR (ILYR (VB;_phr_Vp_ get;{get})
                                                                                                               (RP on;{on})
                                                                                                               (PP-NIM (P-ROLE in;{in})
                                                                                                                       (NP (D the;{the})
                                                                                                                           (N world;{world}))))
                                                                                                         (PUNC ,)
                                                                                                         (CONJP (ILYR (VB;_Tn_ enlarge;{enlarge})
                                                                                                                      (NP-OB1 (NP-GEN (PRO;_genm_ their;{their}))
                                                                                                                              (NS minds;{mind}))))
                                                                                                         (PUNC ,)
                                                                                                         (CONJP (CONJ or;{or})
                                                                                                                (ILYR (DO;_Tn_ do;{do})
                                                                                                                      (NP-OB1 (D any;{any})
                                                                                                                              (ADJP (ADJ eclipsing;{eclipsing}))
                                                                                                                              (N thing;{thing})
                                                                                                                              (ADVP (ADV whatever;{whatever}))
                                                                                                                              (PUNC <mdash>)
                                                                                                                              (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                                                                                      (ADVP-NIM (ADV nowadays;{nowadays}))
                                                                                                                                      (ADVP-NIM (ADV so_generally;{so_generally}))
                                                                                                                                      (VBP;__ nips;{nip})
                                                                                                                                      (NP-OB1 (D the;{the})
                                                                                                                                              (NLYR (NLYR (N bloom;{bloom}))
                                                                                                                                                    (CONJP (CONJ and;{and})
                                                                                                                                                           (NLYR (N bonhomie;{bonhomie}))))
                                                                                                                                              (PP (P-ROLE of;{of})
                                                                                                                                                  (NP (Q;_nphd_ all;{all})
                                                                                                                                                      (PP (P-ROLE except;{except})
                                                                                                                                                          (NP (D the;{the})
                                                                                                                                                              (NUM two;{two})
                                                                                                                                                              (NS extremes;{extreme})
                                                                                                                                                              (PP (P-ROLE of;{of})
                                                                                                                                                                  (NP (D the;{the})
                                                                                                                                                                      (ADJP (ADJ social;{social}))
                                                                                                                                                                      (N scale;{scale}))))))))))))))))))))))))
          (PUNC .))
  (ID 33_a_hardy_1883))

arc(r_0033_0002__confidence,r_0033_0001__Absolute,attrib).
arc(r_0033_0002__confidence,r_0033_0007__opinion,r_0033_0003__in).
arc(r_0033_0007__opinion,r_0033_0004__each_other,gen).
arc(r_0033_0007__opinion,r_0033_0006__good,attrib).
arc(r_0033_0008__begat,r_0033_0002__confidence,arg0).
arc(r_0033_0008__begat,r_0033_0010__ease,arg1).
arc(r_0033_0010__ease,r_0033_0009__perfect,attrib).
arc(r_0033_0012__while,r_0033_0008__begat,scope).
arc(r_0033_0012__while,r_0033_0026__was,restriction).
arc(r_0033_0013__the_r_0033_0015__stroke,r_0033_0014__finishing,attrib).
arc(r_0033_0013__the_r_0033_0015__stroke,r_0033_0017__manner,r_0033_0016__of).
arc(r_0033_0019__amounting_r_0033_0020__to,r_0033_0013__the_r_0033_0015__stroke,inv_arg0).
arc(r_0033_0019__amounting_r_0033_0020__to,r_0033_0021__a_r_0033_0024__serenity,arg1).
arc(r_0033_0021__a_r_0033_0024__serenity,r_0033_0023__princely,attrib).
arc(r_0033_0023__princely,r_0033_0022__truly,qual).
arc(r_0033_0026__was,r_0033_0027__lent,scope).
arc(r_0033_0027__lent,r_0033_0013__the_r_0033_0015__stroke,arg1).
arc(r_0033_0027__lent,r_0033_0029__the_r_0033_0030__majority,r_0033_0028__to__clr).
arc(r_0033_0027__lent,r_0033_0032__the_r_0033_0033__absence,r_0033_0031__by_arg0).
arc(r_0033_0032__the_r_0033_0033__absence,r_0033_0035__any_r_0033_0036__expression_r_0033_0037__or_r_0033_0038__trait,r_0033_0034__of).
arc(r_0033_0039__denoting,r_0033_0035__any_r_0033_0036__expression_r_0033_0037__or_r_0033_0038__trait,inv_arg0).
arc(r_0033_0039__denoting,r_0033_0042__wished,arg1).
arc(r_0033_0042__wished,r_0033_0041__they,arg0).
arc(r_0033_0042__wished,r_0033_0054__or,arg1).
arc(r_0033_0044__get_r_0033_0045__on,r_0033_0041__they,arg0).
arc(r_0033_0044__get_r_0033_0045__on,r_0033_0047__the_r_0033_0048__world,r_0033_0046__in__nim).
arc(r_0033_0050__enlarge,r_0033_0041__they,arg0).
arc(r_0033_0050__enlarge,r_0033_0052__minds,arg1).
arc(r_0033_0052__minds,r_0033_0051__their,gen).
arc(r_0033_0054__or,r_0033_0044__get_r_0033_0045__on,conj1).
arc(r_0033_0054__or,r_0033_0050__enlarge,conj2).
arc(r_0033_0054__or,r_0033_0055__do,conj3).
arc(r_0033_0055__do,r_0033_0041__they,arg0).
arc(r_0033_0055__do,r_0033_0056__any_r_0033_0058__thing,arg1).
arc(r_0033_0056__any_r_0033_0058__thing,r_0033_0057__eclipsing,attrib).
arc(r_0033_0056__any_r_0033_0058__thing,r_0033_0059__whatever,qual).
arc(r_0033_0064__nips,r_0033_0056__any_r_0033_0058__thing,arg0).
arc(r_0033_0064__nips,r_0033_0062__nowadays,nim).
arc(r_0033_0064__nips,r_0033_0063__so_generally,nim).
arc(r_0033_0064__nips,r_0033_0065__the_r_0033_0066__bloom_r_0033_0067__and_r_0033_0068__bonhomie,arg1).
arc(r_0033_0065__the_r_0033_0066__bloom_r_0033_0067__and_r_0033_0068__bonhomie,z_0033_5033,r_0033_0069__of).
arc(r_0033_0070__all__quant,r_0033_0065__the_r_0033_0066__bloom_r_0033_0067__and_r_0033_0068__bonhomie,scope).
arc(r_0033_0070__all__quant,z_0033_5033,restriction).
arc(r_0033_0072__the_r_0033_0073__two_r_0033_0074__extremes,r_0033_0076__the_r_0033_0078__scale,r_0033_0075__of).
arc(r_0033_0076__the_r_0033_0078__scale,r_0033_0077__social,attrib).
arc(z_0033_5033,r_0033_0072__the_r_0033_0073__two_r_0033_0074__extremes,r_0033_0071__except).

fof(formula,axiom,
    ? [R_0033_0001__ABSOLUTE,R_0033_0004__EACH_OTHER,R_0033_0006__GOOD,R_0033_0007__OPINION,R_0033_0002__CONFIDENCE,R_0033_0009__PERFECT,R_0033_0010__EASE,R_0033_0008__BEGAT,R_0033_0014__FINISHING,R_0033_0017__MANNER,R_0033_0022__TRULY,R_0033_0023__PRINCELY,R_0033_0021__A_R_0033_0024__SERENITY,R_0033_0019__AMOUNTING_R_0033_0020__TO,R_0033_0013__THE_R_0033_0015__STROKE,R_0033_0029__THE_R_0033_0030__MAJORITY,R_0033_0041__THEY,R_0033_0047__THE_R_0033_0048__WORLD,R_0033_0044__GET_R_0033_0045__ON,R_0033_0051__THEIR,R_0033_0052__MINDS,R_0033_0050__ENLARGE,R_0033_0057__ECLIPSING,R_0033_0059__WHATEVER,R_0033_0056__ANY_R_0033_0058__THING,R_0033_0055__DO,R_0033_0054__OR,R_0033_0042__WISHED,R_0033_0039__DENOTING,R_0033_0035__ANY_R_0033_0036__EXPRESSION_R_0033_0037__OR_R_0033_0038__TRAIT,R_0033_0032__THE_R_0033_0033__ABSENCE,R_0033_0026__WAS_R_0033_0027__LENT,R_0033_0012__WHILE] :
      ( r_0033_0001__Absolute(R_0033_0001__ABSOLUTE)
      & r_0033_0004__each_other(R_0033_0004__EACH_OTHER)
      & r_0033_0006__good(R_0033_0006__GOOD)
      & r_0033_0009__perfect(R_0033_0009__PERFECT)
      & r_0033_0014__finishing(R_0033_0014__FINISHING)
      & r_0033_0017__manner(R_0033_0017__MANNER)
      & r_0033_0022__truly(R_0033_0022__TRULY)
      & r_0033_0029__the_r_0033_0030__majority(R_0033_0029__THE_R_0033_0030__MAJORITY)
      & r_0033_0041__they(R_0033_0041__THEY)
      & r_0033_0047__the_r_0033_0048__world(R_0033_0047__THE_R_0033_0048__WORLD)
      & r_0033_0051__their(R_0033_0051__THEIR)
      & r_0033_0057__eclipsing(R_0033_0057__ECLIPSING)
      & r_0033_0059__whatever(R_0033_0059__WHATEVER)
      & ! [Z_0033_5033,R_0033_0077__SOCIAL,R_0033_0076__THE_R_0033_0078__SCALE,R_0033_0072__THE_R_0033_0073__TWO_R_0033_0074__EXTREMES] :
          ( ( r_0033_0077__social(R_0033_0077__SOCIAL)
            & z_0033_5033(Z_0033_5033)
            & has_r_0033_0071__except(Z_0033_5033,R_0033_0072__THE_R_0033_0073__TWO_R_0033_0074__EXTREMES)
            & r_0033_0072__the_r_0033_0073__two_r_0033_0074__extremes(R_0033_0072__THE_R_0033_0073__TWO_R_0033_0074__EXTREMES)
            & has_r_0033_0075__of(R_0033_0072__THE_R_0033_0073__TWO_R_0033_0074__EXTREMES,R_0033_0076__THE_R_0033_0078__SCALE)
            & r_0033_0076__the_r_0033_0078__scale(R_0033_0076__THE_R_0033_0078__SCALE)
            & has_attrib(R_0033_0076__THE_R_0033_0078__SCALE,R_0033_0077__SOCIAL) )
         => ? [R_0033_0062__NOWADAYS,R_0033_0063__SO_GENERALLY,R_0033_0065__THE_R_0033_0066__BLOOM_R_0033_0067__AND_R_0033_0068__BONHOMIE,R_0033_0064__NIPS] :
              ( r_0033_0062__nowadays(R_0033_0062__NOWADAYS)
              & r_0033_0063__so_generally(R_0033_0063__SO_GENERALLY)
              & r_0033_0064__nips(R_0033_0064__NIPS)
              & has_arg1(R_0033_0064__NIPS,R_0033_0065__THE_R_0033_0066__BLOOM_R_0033_0067__AND_R_0033_0068__BONHOMIE)
              & r_0033_0065__the_r_0033_0066__bloom_r_0033_0067__and_r_0033_0068__bonhomie(R_0033_0065__THE_R_0033_0066__BLOOM_R_0033_0067__AND_R_0033_0068__BONHOMIE)
              & has_r_0033_0069__of(R_0033_0065__THE_R_0033_0066__BLOOM_R_0033_0067__AND_R_0033_0068__BONHOMIE,Z_0033_5033)
              & has_nim(R_0033_0064__NIPS,R_0033_0063__SO_GENERALLY)
              & has_nim(R_0033_0064__NIPS,R_0033_0062__NOWADAYS)
              & has_arg0(R_0033_0064__NIPS,R_0033_0056__ANY_R_0033_0058__THING) ) )
      & r_0033_0012__while(R_0033_0012__WHILE)
      & has_conj1(R_0033_0012__WHILE,R_0033_0026__WAS_R_0033_0027__LENT)
      & r_0033_0026__was_r_0033_0027__lent(R_0033_0026__WAS_R_0033_0027__LENT)
      & has_r_0033_0031__by_arg0(R_0033_0026__WAS_R_0033_0027__LENT,R_0033_0032__THE_R_0033_0033__ABSENCE)
      & r_0033_0032__the_r_0033_0033__absence(R_0033_0032__THE_R_0033_0033__ABSENCE)
      & has_r_0033_0034__of(R_0033_0032__THE_R_0033_0033__ABSENCE,R_0033_0035__ANY_R_0033_0036__EXPRESSION_R_0033_0037__OR_R_0033_0038__TRAIT)
      & r_0033_0035__any_r_0033_0036__expression_r_0033_0037__or_r_0033_0038__trait(R_0033_0035__ANY_R_0033_0036__EXPRESSION_R_0033_0037__OR_R_0033_0038__TRAIT)
      & has_inv_arg0(R_0033_0035__ANY_R_0033_0036__EXPRESSION_R_0033_0037__OR_R_0033_0038__TRAIT,R_0033_0039__DENOTING)
      & r_0033_0039__denoting(R_0033_0039__DENOTING)
      & has_arg1(R_0033_0039__DENOTING,R_0033_0042__WISHED)
      & r_0033_0042__wished(R_0033_0042__WISHED)
      & has_arg1(R_0033_0042__WISHED,R_0033_0054__OR)
      & r_0033_0054__or(R_0033_0054__OR)
      & has_conj3(R_0033_0054__OR,R_0033_0055__DO)
      & r_0033_0055__do(R_0033_0055__DO)
      & has_arg1(R_0033_0055__DO,R_0033_0056__ANY_R_0033_0058__THING)
      & r_0033_0056__any_r_0033_0058__thing(R_0033_0056__ANY_R_0033_0058__THING)
      & has_qual(R_0033_0056__ANY_R_0033_0058__THING,R_0033_0059__WHATEVER)
      & has_attrib(R_0033_0056__ANY_R_0033_0058__THING,R_0033_0057__ECLIPSING)
      & has_arg0(R_0033_0055__DO,R_0033_0041__THEY)
      & has_conj2(R_0033_0054__OR,R_0033_0050__ENLARGE)
      & r_0033_0050__enlarge(R_0033_0050__ENLARGE)
      & has_arg1(R_0033_0050__ENLARGE,R_0033_0052__MINDS)
      & r_0033_0052__minds(R_0033_0052__MINDS)
      & has_gen(R_0033_0052__MINDS,R_0033_0051__THEIR)
      & has_arg0(R_0033_0050__ENLARGE,R_0033_0041__THEY)
      & has_conj1(R_0033_0054__OR,R_0033_0044__GET_R_0033_0045__ON)
      & r_0033_0044__get_r_0033_0045__on(R_0033_0044__GET_R_0033_0045__ON)
      & has_r_0033_0046__in__nim(R_0033_0044__GET_R_0033_0045__ON,R_0033_0047__THE_R_0033_0048__WORLD)
      & has_arg0(R_0033_0044__GET_R_0033_0045__ON,R_0033_0041__THEY)
      & has_arg0(R_0033_0042__WISHED,R_0033_0041__THEY)
      & has_r_0033_0028__to__clr(R_0033_0026__WAS_R_0033_0027__LENT,R_0033_0029__THE_R_0033_0030__MAJORITY)
      & has_arg1(R_0033_0026__WAS_R_0033_0027__LENT,R_0033_0013__THE_R_0033_0015__STROKE)
      & r_0033_0013__the_r_0033_0015__stroke(R_0033_0013__THE_R_0033_0015__STROKE)
      & has_inv_arg0(R_0033_0013__THE_R_0033_0015__STROKE,R_0033_0019__AMOUNTING_R_0033_0020__TO)
      & r_0033_0019__amounting_r_0033_0020__to(R_0033_0019__AMOUNTING_R_0033_0020__TO)
      & has_arg1(R_0033_0019__AMOUNTING_R_0033_0020__TO,R_0033_0021__A_R_0033_0024__SERENITY)
      & r_0033_0021__a_r_0033_0024__serenity(R_0033_0021__A_R_0033_0024__SERENITY)
      & has_attrib(R_0033_0021__A_R_0033_0024__SERENITY,R_0033_0023__PRINCELY)
      & r_0033_0023__princely(R_0033_0023__PRINCELY)
      & has_qual(R_0033_0023__PRINCELY,R_0033_0022__TRULY)
      & has_r_0033_0016__of(R_0033_0013__THE_R_0033_0015__STROKE,R_0033_0017__MANNER)
      & has_attrib(R_0033_0013__THE_R_0033_0015__STROKE,R_0033_0014__FINISHING)
      & has_conj2(R_0033_0012__WHILE,R_0033_0008__BEGAT)
      & r_0033_0008__begat(R_0033_0008__BEGAT)
      & has_arg1(R_0033_0008__BEGAT,R_0033_0010__EASE)
      & r_0033_0010__ease(R_0033_0010__EASE)
      & has_attrib(R_0033_0010__EASE,R_0033_0009__PERFECT)
      & has_arg0(R_0033_0008__BEGAT,R_0033_0002__CONFIDENCE)
      & r_0033_0002__confidence(R_0033_0002__CONFIDENCE)
      & has_r_0033_0003__in(R_0033_0002__CONFIDENCE,R_0033_0007__OPINION)
      & r_0033_0007__opinion(R_0033_0007__OPINION)
      & has_attrib(R_0033_0007__OPINION,R_0033_0006__GOOD)
      & has_gen(R_0033_0007__OPINION,R_0033_0004__EACH_OTHER)
      & has_attrib(R_0033_0002__CONFIDENCE,R_0033_0001__ABSOLUTE) ) ).