TSPC 54_a_hardy

54_a_hardy_1883
He appeared tall, but a recruiting sergeant, or other person accustomed to the judging of men's heights by the eye, would have discerned that this was chiefly owing to his gauntness, and that he was not more than five - feet - eight or nine.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PEDESTRIAN} (PRO He;{he}))
                      (VBD;_La_ appeared;{appear})
                      (ADJP-PRD (ADJ tall;{tall})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (NLYR (NLYR (D a;{a})
                                                 (N recruiting;{recruiting})
                                                 (N sergeant;{sergeant}))
                                           (PUNC ,)
                                           (CONJP (CONJ or;{or})
                                                  (NLYR (ADJP (ADJ other;{other}))
                                                        (N person;{person})
                                                        (IP-PPL (NP-LGS *)
                                                                (VVN;_Tn.pr_ accustomed;{accustom})
                                                                (PP-CLR (P-ROLE to;{to})
                                                                        (NP (D the;{the})
                                                                            (N judging;{judging})
                                                                            (PP (P-ROLE of;{of})
                                                                                (NP (NP-GEN (NS men;{man})
                                                                                            (GENM <apos>s))
                                                                                    (NS heights;{height})))
                                                                            (PP (P-ROLE by;{by})
                                                                                (NP (D the;{the})
                                                                                    (N eye;{eye}))))))))))
                             (PUNC ,)
                             (MD;_cat_Vi_ would;{will})
                             (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                         (IP-PPL-CAT (VVN;_Tf_ discerned;{discern})
                                                     (CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
                                                                                     (NP-SBJ (D;_nphd_ this;{this}))
                                                                                     (BED;_cat_Vg_ was;{be})
                                                                                     (IP-PPL-CAT (ADVP-NIM (ADV chiefly;{chiefly}))
                                                                                                 (VAG;_Ipr_ owing;{owe[to]})
                                                                                                 (PP-CLR (P-ROLE to;{to})
                                                                                                         (NP (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                                                                             (N gauntness;{gauntness})))))
                                                                               (PUNC ,)
                                                                               (CONJP (CONJ and;{and})
                                                                                      (ILYR (C that;{that})
                                                                                            (NP-SBJ;{PEDESTRIAN} (PRO he;{he}))
                                                                                            (BED;_La_ was;{be})
                                                                                            (ADJP-PRD (NEG not;{not})
                                                                                                      (ADJR more;{more})
                                                                                                      (PP (P-ROLE than;{than})
                                                                                                          (NP (NUM five)
                                                                                                              (PUNC <hyphen>)
                                                                                                              (N feet;{feet})
                                                                                                              (PUNC <hyphen>)
                                                                                                              (NLYR (NLYR (NLYR (NUM eight))
                                                                                                                          (CONJP (CONJ or;{or})
                                                                                                                                 (NLYR (NUM nine))))))))))))))))))
          (PUNC .))
  (ID 54_a_hardy_1883))

arc(r_0054_0002__appeared,r_0054_0001__He,arg0).
arc(r_0054_0002__appeared,r_0054_0003__tall,prd).
arc(r_0054_0005__but,r_0054_0002__appeared,conj1).
arc(r_0054_0005__but,r_0054_0025__would,conj2).
arc(r_0054_0010__or,r_0054_0006__a_r_0054_0007__recruiting_r_0054_0008__sergeant,conj1).
arc(r_0054_0010__or,r_0054_0012__person,conj2).
arc(r_0054_0012__person,r_0054_0011__other,attrib).
arc(r_0054_0013__accustomed_r_0054_0014__to,r_0054_0012__person,inv_arg1).
arc(r_0054_0013__accustomed_r_0054_0014__to,r_0054_0015__the_r_0054_0016__judging,arg2).
arc(r_0054_0013__accustomed_r_0054_0014__to,z_0054_5011___star_,arg0).
arc(r_0054_0015__the_r_0054_0016__judging,r_0054_0020__heights,r_0054_0017__of).
arc(r_0054_0015__the_r_0054_0016__judging,r_0054_0022__the_r_0054_0023__eye,r_0054_0021__by).
arc(r_0054_0020__heights,r_0054_0018__men,gen).
arc(r_0054_0025__would,r_0054_0026__have,scope).
arc(r_0054_0026__have,r_0054_0027__discerned,scope).
arc(r_0054_0027__discerned,r_0054_0010__or,arg0).
arc(r_0054_0027__discerned,r_0054_0037__and,arg1).
arc(r_0054_0030__was,r_0054_0032__owing_r_0054_0033__to,scope).
arc(r_0054_0032__owing_r_0054_0033__to,r_0054_0029__this,arg0).
arc(r_0054_0032__owing_r_0054_0033__to,r_0054_0031__chiefly,nim).
arc(r_0054_0032__owing_r_0054_0033__to,r_0054_0035__gauntness,arg1).
arc(r_0054_0035__gauntness,r_0054_0001__He,gen).
arc(r_0054_0037__and,r_0054_0030__was,conj1).
arc(r_0054_0037__and,r_0054_0040__was,conj2).
arc(r_0054_0040__was,r_0054_0001__He,arg0).
arc(r_0054_0040__was,r_0054_0041__not_r_0054_0042__more,prd).
arc(r_0054_0041__not_r_0054_0042__more,r_0054_0044__five_r_0054_0046__feet_r_0054_0048__eight_r_0054_0049__or_r_0054_0050__nine,r_0054_0043__than).

fof(formula,axiom,
    ? [R_0054_0001__HE,R_0054_0003__TALL,R_0054_0002__APPEARED,R_0054_0006__A_R_0054_0007__RECRUITING_R_0054_0008__SERGEANT,R_0054_0011__OTHER,R_0054_0018__MEN,R_0054_0020__HEIGHTS,R_0054_0022__THE_R_0054_0023__EYE,R_0054_0015__THE_R_0054_0016__JUDGING,Z_0054_5011___STAR_,R_0054_0013__ACCUSTOMED_R_0054_0014__TO,R_0054_0012__PERSON,R_0054_0010__OR,R_0054_0029__THIS,R_0054_0031__CHIEFLY,R_0054_0035__GAUNTNESS,R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO,R_0054_0044__FIVE_R_0054_0046__FEET_R_0054_0048__EIGHT_R_0054_0049__OR_R_0054_0050__NINE,R_0054_0041__NOT_R_0054_0042__MORE,R_0054_0040__WAS,R_0054_0037__AND,R_0054_0025__WOULD_R_0054_0026__HAVE_R_0054_0027__DISCERNED,R_0054_0005__BUT] :
      ( r_0054_0001__He(R_0054_0001__HE)
      & r_0054_0003__tall(R_0054_0003__TALL)
      & r_0054_0006__a_r_0054_0007__recruiting_r_0054_0008__sergeant(R_0054_0006__A_R_0054_0007__RECRUITING_R_0054_0008__SERGEANT)
      & r_0054_0011__other(R_0054_0011__OTHER)
      & r_0054_0018__men(R_0054_0018__MEN)
      & r_0054_0022__the_r_0054_0023__eye(R_0054_0022__THE_R_0054_0023__EYE)
      & r_0054_0029__this(R_0054_0029__THIS)
      & r_0054_0031__chiefly(R_0054_0031__CHIEFLY)
      & r_0054_0044__five_r_0054_0046__feet_r_0054_0048__eight_r_0054_0049__or_r_0054_0050__nine(R_0054_0044__FIVE_R_0054_0046__FEET_R_0054_0048__EIGHT_R_0054_0049__OR_R_0054_0050__NINE)
      & z_0054_5011___star_(Z_0054_5011___STAR_)
      & r_0054_0005__but(R_0054_0005__BUT)
      & has_conj2(R_0054_0005__BUT,R_0054_0025__WOULD_R_0054_0026__HAVE_R_0054_0027__DISCERNED)
      & r_0054_0025__would_r_0054_0026__have_r_0054_0027__discerned(R_0054_0025__WOULD_R_0054_0026__HAVE_R_0054_0027__DISCERNED)
      & has_arg1(R_0054_0025__WOULD_R_0054_0026__HAVE_R_0054_0027__DISCERNED,R_0054_0037__AND)
      & r_0054_0037__and(R_0054_0037__AND)
      & has_conj2(R_0054_0037__AND,R_0054_0040__WAS)
      & r_0054_0040__was(R_0054_0040__WAS)
      & has_prd(R_0054_0040__WAS,R_0054_0041__NOT_R_0054_0042__MORE)
      & ~ has_r_0054_0043__than(R_0054_0041__NOT_R_0054_0042__MORE,R_0054_0044__FIVE_R_0054_0046__FEET_R_0054_0048__EIGHT_R_0054_0049__OR_R_0054_0050__NINE)
      & has_arg0(R_0054_0040__WAS,R_0054_0001__HE)
      & has_conj1(R_0054_0037__AND,R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO)
      & r_0054_0030__was_r_0054_0032__owing_r_0054_0033__to(R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO)
      & has_arg1(R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO,R_0054_0035__GAUNTNESS)
      & r_0054_0035__gauntness(R_0054_0035__GAUNTNESS)
      & has_gen(R_0054_0035__GAUNTNESS,R_0054_0001__HE)
      & has_nim(R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO,R_0054_0031__CHIEFLY)
      & has_arg0(R_0054_0030__WAS_R_0054_0032__OWING_R_0054_0033__TO,R_0054_0029__THIS)
      & has_arg0(R_0054_0025__WOULD_R_0054_0026__HAVE_R_0054_0027__DISCERNED,R_0054_0010__OR)
      & r_0054_0010__or(R_0054_0010__OR)
      & has_conj2(R_0054_0010__OR,R_0054_0012__PERSON)
      & r_0054_0012__person(R_0054_0012__PERSON)
      & has_inv_arg1(R_0054_0012__PERSON,R_0054_0013__ACCUSTOMED_R_0054_0014__TO)
      & r_0054_0013__accustomed_r_0054_0014__to(R_0054_0013__ACCUSTOMED_R_0054_0014__TO)
      & has_arg0(R_0054_0013__ACCUSTOMED_R_0054_0014__TO,Z_0054_5011___STAR_)
      & has_arg2(R_0054_0013__ACCUSTOMED_R_0054_0014__TO,R_0054_0015__THE_R_0054_0016__JUDGING)
      & r_0054_0015__the_r_0054_0016__judging(R_0054_0015__THE_R_0054_0016__JUDGING)
      & has_r_0054_0021__by(R_0054_0015__THE_R_0054_0016__JUDGING,R_0054_0022__THE_R_0054_0023__EYE)
      & has_r_0054_0017__of(R_0054_0015__THE_R_0054_0016__JUDGING,R_0054_0020__HEIGHTS)
      & r_0054_0020__heights(R_0054_0020__HEIGHTS)
      & has_gen(R_0054_0020__HEIGHTS,R_0054_0018__MEN)
      & has_attrib(R_0054_0012__PERSON,R_0054_0011__OTHER)
      & has_conj1(R_0054_0010__OR,R_0054_0006__A_R_0054_0007__RECRUITING_R_0054_0008__SERGEANT)
      & has_conj1(R_0054_0005__BUT,R_0054_0002__APPEARED)
      & r_0054_0002__appeared(R_0054_0002__APPEARED)
      & has_prd(R_0054_0002__APPEARED,R_0054_0003__TALL)
      & has_arg0(R_0054_0002__APPEARED,R_0054_0001__HE) ) ).