TSPC 83_a_hardy

83_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.’

( (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 83_a_hardy_1883))

arc(r_0083_0002__seemed,r_0083_0001__He,arg0).
arc(r_0083_0002__seemed,r_0083_0003__pleased,prd).
arc(r_0083_0003__pleased,r_0083_0006__survey,r_0083_0004__with).
arc(r_0083_0006__survey,r_0083_0001__He,gen).
arc(r_0083_0008__and,r_0083_0002__seemed,conj1).
arc(r_0083_0008__and,z_0083_5023,conj2).
arc(r_0083_0010__baring,r_0083_0013__head,arg1).
arc(r_0083_0010__baring,r_0083_0026__is,arg0).
arc(r_0083_0013__head,r_0083_0001__He,gen).
arc(r_0083_0013__head,r_0083_0012__shaggy,attrib).
arc(r_0083_0015__said,r_0083_0001__He,arg0).
arc(r_0083_0015__said,r_0083_0018__a_r_0083_0021__voice,r_0083_0017__in__nim).
arc(r_0083_0015__said,r_0083_0026__is,arg1).
arc(r_0083_0018__a_r_0083_0021__voice,r_0083_0019__rich,attrib).
arc(r_0083_0018__a_r_0083_0021__voice,r_0083_0020__deep,attrib).
arc(r_0083_0026__is,r_0083_0024__The_r_0083_0025__rain,arg0).
arc(r_0083_0026__is,r_0083_0028__heavy,prd).
arc(r_0083_0026__is,r_0083_0030__friends,voc).
arc(r_0083_0027__so,z_0083_5010,emb).
arc(r_0083_0028__heavy,r_0083_0027__so,qual).
arc(r_0083_0034__ask,r_0083_0033__I,arg0).
arc(r_0083_0034__ask,r_0083_0035__leave,arg1).
arc(r_0083_0037__come_r_0083_0038__in,r_0083_0033__I,arg0).
arc(r_0083_0039__and,r_0083_0037__come_r_0083_0038__in,conj1).
arc(r_0083_0039__and,r_0083_0040__rest,conj2).
arc(r_0083_0040__rest,r_0083_0033__I,arg0).
arc(r_0083_0040__rest,r_0083_0041__awhile,nim).
arc(z_0083_5010,r_0083_0034__ask,scope).
arc(z_0083_5010,r_0083_0039__and,restriction).
arc(z_0083_5023,r_0083_0010__baring,restriction).
arc(z_0083_5023,r_0083_0015__said,scope).

fof(formula,axiom,
    ? [R_0083_0001__HE,R_0083_0006__SURVEY,R_0083_0003__PLEASED,R_0083_0002__SEEMED,R_0083_0012__SHAGGY,R_0083_0013__HEAD,R_0083_0024__THE_R_0083_0025__RAIN,R_0083_0033__I,R_0083_0035__LEAVE,R_0083_0034__ASK,R_0083_0037__COME_R_0083_0038__IN,R_0083_0041__AWHILE,R_0083_0040__REST,R_0083_0039__AND,Z_0083_5010,R_0083_0027__SO,R_0083_0028__HEAVY,R_0083_0030__FRIENDS,R_0083_0026__IS,R_0083_0010__BARING,R_0083_0019__RICH,R_0083_0020__DEEP,R_0083_0018__A_R_0083_0021__VOICE,R_0083_0015__SAID,Z_0083_5023,R_0083_0008__AND] :
      ( r_0083_0001__He(R_0083_0001__HE)
      & r_0083_0012__shaggy(R_0083_0012__SHAGGY)
      & r_0083_0019__rich(R_0083_0019__RICH)
      & r_0083_0020__deep(R_0083_0020__DEEP)
      & r_0083_0024__The_r_0083_0025__rain(R_0083_0024__THE_R_0083_0025__RAIN)
      & r_0083_0030__friends(R_0083_0030__FRIENDS)
      & r_0083_0033__I(R_0083_0033__I)
      & r_0083_0035__leave(R_0083_0035__LEAVE)
      & r_0083_0041__awhile(R_0083_0041__AWHILE)
      & r_0083_0008__and(R_0083_0008__AND)
      & has_conj2(R_0083_0008__AND,Z_0083_5023)
      & z_0083_5023(Z_0083_5023)
      & has_conj2(Z_0083_5023,R_0083_0015__SAID)
      & r_0083_0015__said(R_0083_0015__SAID)
      & has_arg1(R_0083_0015__SAID,R_0083_0026__IS)
      & r_0083_0026__is(R_0083_0026__IS)
      & has_voc(R_0083_0026__IS,R_0083_0030__FRIENDS)
      & has_prd(R_0083_0026__IS,R_0083_0028__HEAVY)
      & r_0083_0028__heavy(R_0083_0028__HEAVY)
      & has_qual(R_0083_0028__HEAVY,R_0083_0027__SO)
      & r_0083_0027__so(R_0083_0027__SO)
      & has_emb(R_0083_0027__SO,Z_0083_5010)
      & z_0083_5010(Z_0083_5010)
      & has_conj1(Z_0083_5010,R_0083_0039__AND)
      & r_0083_0039__and(R_0083_0039__AND)
      & has_conj2(R_0083_0039__AND,R_0083_0040__REST)
      & r_0083_0040__rest(R_0083_0040__REST)
      & has_nim(R_0083_0040__REST,R_0083_0041__AWHILE)
      & has_arg0(R_0083_0040__REST,R_0083_0033__I)
      & has_conj1(R_0083_0039__AND,R_0083_0037__COME_R_0083_0038__IN)
      & r_0083_0037__come_r_0083_0038__in(R_0083_0037__COME_R_0083_0038__IN)
      & has_arg0(R_0083_0037__COME_R_0083_0038__IN,R_0083_0033__I)
      & has_conj2(Z_0083_5010,R_0083_0034__ASK)
      & r_0083_0034__ask(R_0083_0034__ASK)
      & has_arg1(R_0083_0034__ASK,R_0083_0035__LEAVE)
      & has_arg0(R_0083_0034__ASK,R_0083_0033__I)
      & has_arg0(R_0083_0026__IS,R_0083_0024__THE_R_0083_0025__RAIN)
      & has_r_0083_0017__in__nim(R_0083_0015__SAID,R_0083_0018__A_R_0083_0021__VOICE)
      & r_0083_0018__a_r_0083_0021__voice(R_0083_0018__A_R_0083_0021__VOICE)
      & has_attrib(R_0083_0018__A_R_0083_0021__VOICE,R_0083_0020__DEEP)
      & has_attrib(R_0083_0018__A_R_0083_0021__VOICE,R_0083_0019__RICH)
      & has_arg0(R_0083_0015__SAID,R_0083_0001__HE)
      & has_conj1(Z_0083_5023,R_0083_0010__BARING)
      & r_0083_0010__baring(R_0083_0010__BARING)
      & has_arg0(R_0083_0010__BARING,R_0083_0026__IS)
      & has_arg1(R_0083_0010__BARING,R_0083_0013__HEAD)
      & r_0083_0013__head(R_0083_0013__HEAD)
      & has_attrib(R_0083_0013__HEAD,R_0083_0012__SHAGGY)
      & has_gen(R_0083_0013__HEAD,R_0083_0001__HE)
      & has_conj1(R_0083_0008__AND,R_0083_0002__SEEMED)
      & r_0083_0002__seemed(R_0083_0002__SEEMED)
      & has_prd(R_0083_0002__SEEMED,R_0083_0003__PLEASED)
      & r_0083_0003__pleased(R_0083_0003__PLEASED)
      & has_r_0083_0004__with(R_0083_0003__PLEASED,R_0083_0006__SURVEY)
      & r_0083_0006__survey(R_0083_0006__SURVEY)
      & has_gen(R_0083_0006__SURVEY,R_0083_0001__HE)
      & has_arg0(R_0083_0002__SEEMED,R_0083_0001__HE) ) ).