TSPC 84_a_hardy

84_a_hardy_1883
He seemed pleased with his survey, and, baring his shaggy head, said, in a rich deep voice, ‘The rain is so heavy, friends, that I ask leave to come in and rest awhile.’

arc(r_0084_0002__seemed, r_0084_0001__He, arg0).
arc(r_0084_0002__seemed, r_0084_0003__pleased, prd).
arc(r_0084_0003__pleased, r_0084_0006__survey, r_0084_0004__with).
arc(r_0084_0006__survey, r_0084_0001__He, gen).
arc(r_0084_0008__and, r_0084_0002__seemed, conj1).
arc(r_0084_0008__and, z_000_84_a_hardy_1883_29, conj2).
arc(r_0084_0010__baring, r_0084_0001__He, arg0).
arc(r_0084_0010__baring, r_0084_0013__head, arg1).
arc(r_0084_0013__head, r_0084_0001__He, gen).
arc(r_0084_0013__head, r_0084_0012__shaggy, attrib37).
arc(r_0084_0015__said, r_0084_0001__He, arg0).
arc(r_0084_0015__said, r_0084_0018__a_r_0084_0021__voice, r_0084_0017__in_nim51).
arc(r_0084_0015__said, r_0084_0026__is, arg1).
arc(r_0084_0018__a_r_0084_0021__voice, r_0084_0019__rich, attrib54).
arc(r_0084_0018__a_r_0084_0021__voice, r_0084_0020__deep, attrib57).
arc(r_0084_0026__is, r_0084_0024__The_r_0084_0025__rain, arg0).
arc(r_0084_0026__is, r_0084_0028__heavy, prd).
arc(r_0084_0026__is, r_0084_0030__friends, nim85).
arc(r_0084_0027__so, z_000_84_a_hardy_1883_102, emb91).
arc(r_0084_0028__heavy, r_0084_0027__so, qual76).
arc(r_0084_0032__that_r_0084_0034__ask, r_0084_0033__I, arg0).
arc(r_0084_0032__that_r_0084_0034__ask, r_0084_0035__leave, arg1).
arc(r_0084_0037__come, r_0084_0033__I, arg0).
arc(r_0084_0037__come, r_0084_0038__in, clr110).
arc(r_0084_0039__and, r_0084_0037__come, conj1).
arc(r_0084_0039__and, r_0084_0040__rest, conj2).
arc(r_0084_0040__rest, r_0084_0033__I, arg0).
arc(r_0084_0040__rest, r_0084_0041__awhile, nim119).
arc(z_000_84_a_hardy_1883_102, r_0084_0032__that_r_0084_0034__ask, scope).
arc(z_000_84_a_hardy_1883_102, r_0084_0039__and, restriction).
arc(z_000_84_a_hardy_1883_29, r_0084_0010__baring, restriction).
arc(z_000_84_a_hardy_1883_29, r_0084_0015__said, scope).

fof(formula,axiom,
    ? [R_0084_0001__HE,R_0084_0006__SURVEY,R_0084_0003__PLEASED,R_0084_0002__SEEMED,R_0084_0012__SHAGGY,R_0084_0013__HEAD,R_0084_0010__BARING,R_0084_0019__RICH,R_0084_0020__DEEP,R_0084_0018__A_R_0084_0021__VOICE,R_0084_0024__THE_R_0084_0025__RAIN,R_0084_0033__I,R_0084_0035__LEAVE,R_0084_0032__THAT_R_0084_0034__ASK,R_0084_0038__IN,R_0084_0037__COME,R_0084_0041__AWHILE,R_0084_0040__REST,R_0084_0039__AND,Z_000_84_A_HARDY_1883_102,R_0084_0027__SO,R_0084_0028__HEAVY,R_0084_0030__FRIENDS,R_0084_0026__IS,R_0084_0015__SAID,Z_000_84_A_HARDY_1883_29,R_0084_0008__AND] :
      ( r_0084_0001__He(R_0084_0001__HE)
      & r_0084_0012__shaggy(R_0084_0012__SHAGGY)
      & r_0084_0019__rich(R_0084_0019__RICH)
      & r_0084_0020__deep(R_0084_0020__DEEP)
      & r_0084_0024__The_r_0084_0025__rain(R_0084_0024__THE_R_0084_0025__RAIN)
      & r_0084_0030__friends(R_0084_0030__FRIENDS)
      & r_0084_0033__I(R_0084_0033__I)
      & r_0084_0035__leave(R_0084_0035__LEAVE)
      & r_0084_0038__in(R_0084_0038__IN)
      & r_0084_0041__awhile(R_0084_0041__AWHILE)
      & r_0084_0008__and(R_0084_0008__AND)
      & has_conj2(R_0084_0008__AND,Z_000_84_A_HARDY_1883_29)
      & z_000_84_a_hardy_1883_29(Z_000_84_A_HARDY_1883_29)
      & has_conj2(Z_000_84_A_HARDY_1883_29,R_0084_0015__SAID)
      & r_0084_0015__said(R_0084_0015__SAID)
      & has_arg1(R_0084_0015__SAID,R_0084_0026__IS)
      & r_0084_0026__is(R_0084_0026__IS)
      & has_nim85(R_0084_0026__IS,R_0084_0030__FRIENDS)
      & has_prd(R_0084_0026__IS,R_0084_0028__HEAVY)
      & r_0084_0028__heavy(R_0084_0028__HEAVY)
      & has_qual76(R_0084_0028__HEAVY,R_0084_0027__SO)
      & r_0084_0027__so(R_0084_0027__SO)
      & has_emb91(R_0084_0027__SO,Z_000_84_A_HARDY_1883_102)
      & z_000_84_a_hardy_1883_102(Z_000_84_A_HARDY_1883_102)
      & has_conj1(Z_000_84_A_HARDY_1883_102,R_0084_0039__AND)
      & r_0084_0039__and(R_0084_0039__AND)
      & has_conj2(R_0084_0039__AND,R_0084_0040__REST)
      & r_0084_0040__rest(R_0084_0040__REST)
      & has_nim119(R_0084_0040__REST,R_0084_0041__AWHILE)
      & has_arg0(R_0084_0040__REST,R_0084_0033__I)
      & has_conj1(R_0084_0039__AND,R_0084_0037__COME)
      & r_0084_0037__come(R_0084_0037__COME)
      & has_clr110(R_0084_0037__COME,R_0084_0038__IN)
      & has_arg0(R_0084_0037__COME,R_0084_0033__I)
      & has_conj2(Z_000_84_A_HARDY_1883_102,R_0084_0032__THAT_R_0084_0034__ASK)
      & r_0084_0032__that_r_0084_0034__ask(R_0084_0032__THAT_R_0084_0034__ASK)
      & has_arg1(R_0084_0032__THAT_R_0084_0034__ASK,R_0084_0035__LEAVE)
      & has_arg0(R_0084_0032__THAT_R_0084_0034__ASK,R_0084_0033__I)
      & has_arg0(R_0084_0026__IS,R_0084_0024__THE_R_0084_0025__RAIN)
      & has_r_0084_0017__in_nim51(R_0084_0015__SAID,R_0084_0018__A_R_0084_0021__VOICE)
      & r_0084_0018__a_r_0084_0021__voice(R_0084_0018__A_R_0084_0021__VOICE)
      & has_attrib57(R_0084_0018__A_R_0084_0021__VOICE,R_0084_0020__DEEP)
      & has_attrib54(R_0084_0018__A_R_0084_0021__VOICE,R_0084_0019__RICH)
      & has_arg0(R_0084_0015__SAID,R_0084_0001__HE)
      & has_conj1(Z_000_84_A_HARDY_1883_29,R_0084_0010__BARING)
      & r_0084_0010__baring(R_0084_0010__BARING)
      & has_arg1(R_0084_0010__BARING,R_0084_0013__HEAD)
      & r_0084_0013__head(R_0084_0013__HEAD)
      & has_attrib37(R_0084_0013__HEAD,R_0084_0012__SHAGGY)
      & has_gen(R_0084_0013__HEAD,R_0084_0001__HE)
      & has_arg0(R_0084_0010__BARING,R_0084_0001__HE)
      & has_conj1(R_0084_0008__AND,R_0084_0002__SEEMED)
      & r_0084_0002__seemed(R_0084_0002__SEEMED)
      & has_prd(R_0084_0002__SEEMED,R_0084_0003__PLEASED)
      & r_0084_0003__pleased(R_0084_0003__PLEASED)
      & has_r_0084_0004__with(R_0084_0003__PLEASED,R_0084_0006__SURVEY)
      & r_0084_0006__survey(R_0084_0006__SURVEY)
      & has_gen(R_0084_0006__SURVEY,R_0084_0001__HE)
      & has_arg0(R_0084_0002__SEEMED,R_0084_0001__HE) ) ).

( (IP-MAT (NP-SBJ;{PEDESTRIAN} (PRO He;{he}))
          (ILYR (ILYR (VBD;_La_ seemed;{seem})
                      (ADJP-PRD (ADJ pleased;{pleased})
                                (PP (P-ROLE with;{with})
                                    (NP (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                        (N survey;{survey})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (PUNC ,)
                       (ILYR (PP-SCON (IP-PPL (VAG;_Tn_ baring;{bare})
                                              (NP-OB1 (NP-GEN;{PEDESTRIAN} (PRO;_genm_ his;{his}))
                                                      (ADJP (ADJ shaggy;{shaggy}))
                                                      (N head;{head}))))
                             (PUNC ,)
                             (VBD;_Tf_ said;{say})
                             (PUNC ,)
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D a;{a})
                                         (ADJP (ADJ rich;{rich}))
                                         (ADJP (ADJ deep;{deep}))
                                         (N voice;{voice})))
                             (PUNC ,)
                             (PULQ <lquo>)
                             (CP-THT-OB1 (IP-SUB (NP-SBJ (D The;{the})
                                                         (N rain;{rain}))
                                                 (BEP;_La_ is;{be})
                                                 (ADJP-PRD (ADVP (ADV so;{so})
                                                                 (CP-THT *ICH*-178))
                                                           (ADJ heavy;{heavy}))
                                                 (PUNC ,)
                                                 (NP-VOC (NS friends;{friend}))
                                                 (PUNC ,)
                                                 (CP-THT-EPD-178 (IP-SUB (C that;{that})
                                                                         (NP-SBJ (PRO I;{I}))
                                                                         (VBP;_Tn_ ask;{ask})
                                                                         (NP-OB1 (N leave;{leave}))
                                                                         (PP-SCON (IP-INF2 (TO to;{to})
                                                                                           (ILYR (ILYR (VB;_Ip_ come;{come[in]})
                                                                                                       (ADVP-CLR (RP in;{in})))
                                                                                                 (CONJP (CONJ and;{and})
                                                                                                        (ILYR (VB;_I_ rest;{rest})
                                                                                                              (ADVP-NIM (ADV awhile;{awhile}))))))))))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 84_a_hardy_1883))