TSPC 122_a_lob

122_a_lob_n02
Old Hubert, standing beside her, his battered hat in his hand, his toothless mouth stretched in a wide grin, told her in halting patois that ‘Mistah Piers’ had explained right at the start that ‘Mis' Beryl’ would be ‘plenty, plenty sad’ not to be back at the Villa in time.

( (IP-MAT (NP-SBJ;{HUBERT} (ADJP (ADJ Old;{old}))
                           (NPR Hubert;{Hubert})
                           (PUNC ,)
                           (IP-PPL (VAG;_I_ standing;{stand})
                                   (PP-NIM (P-ROLE beside;{beside})
                                           (NP;{BERYL} (PRO her;{her})))))
          (PUNC ,)
          (PRN (NP (NP-GEN;{HUBERT} (PRO;_genm_ his;{his}))
                   (ADJP (ADJ battered;{battered}))
                   (N hat;{hat})
                   (PP (P-ROLE in;{in})
                       (NP (NP-GEN;{HUBERT} (PRO;_genm_ his;{his}))
                           (N hand;{hand})))))
          (PUNC ,)
          (PRN (NP (NP-GEN;{HUBERT} (PRO;_genm_ his;{his}))
                   (ADJP (ADJ toothless;{toothless}))
                   (N mouth;{mouth})
                   (IP-PPL (VVN;__ stretched;{stretch})
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (D a;{a})
                                       (ADJP (ADJ wide;{wide}))
                                       (N grin;{grin}))))))
          (PUNC ,)
          (VBD;_Dn.f_ told;{tell})
          (NP-OB2;{BERYL} (PRO her;{her}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (ADJP (ADJ halting;{halting}))
                      (N patois;{patois})))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PULQ <lquo>)
                              (NP-SBJ;{PIERS} (N Mistah;{mistah})
                                              (NPR Piers;{Piers}))
                              (PURQ <rquo>)
                              (HVD;_cat_Ve_ had;{have})
                              (IP-PPL-CAT (VVN;_Tf_ explained;{explain})
                                          (PP-NIM (ADVP-NIM (ADV right;{right}))
                                                  (P-ROLE at;{at})
                                                  (NP (D the;{the})
                                                      (N start;{start})))
                                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                                              (PULQ <lquo>)
                                                              (NP-SBJ;{BERYL} (N Mis<apos>;{mis<apos>})
                                                                              (NPR Beryl;{Beryl}))
                                                              (PURQ <rquo>)
                                                              (MD;_cat_Vi_ would;{will})
                                                              (IP-INF-CAT (BE;_La_ be;{be})
                                                                          (PULQ <lquo>)
                                                                          (ADJP-PRD (ADVP (ADV plenty;{plenty}))
                                                                                    (PUNC ,)
                                                                                    (ADVP (ADV plenty;{plenty}))
                                                                                    (ADJ sad;{sad})
                                                                                    (PURQ <rquo>)
                                                                                    (IP-INF;{NOT_BACK} (NEG not;{not})
                                                                                                       (TO to;{to})
                                                                                                       (BE;_Ln_ be;{be})
                                                                                                       (NP-PRD (ADVP (RP back;{back}))
                                                                                                               (PP (P-ROLE at;{at})
                                                                                                                   (NP (D the;{the})
                                                                                                                       (NPR Villa;{Villa}))))
                                                                                                       (PP-NIM (P-ROLE in;{in})
                                                                                                               (NP (N time;{time})))))))))))
          (PUNC .))
  (ID 122_a_lob_n02))

arc(r_0122_0002__Hubert,r_0122_0001__Old,attrib).
arc(r_0122_0004__standing,r_0122_0002__Hubert,inv_arg0).
arc(r_0122_0004__standing,r_0122_0006__her,r_0122_0005__beside__nim).
arc(r_0122_0010__hat,r_0122_0002__Hubert,gen).
arc(r_0122_0010__hat,r_0122_0009__battered,attrib).
arc(r_0122_0010__hat,r_0122_0013__hand,r_0122_0011__in).
arc(r_0122_0013__hand,r_0122_0002__Hubert,gen).
arc(r_0122_0017__mouth,r_0122_0002__Hubert,gen).
arc(r_0122_0017__mouth,r_0122_0016__toothless,attrib).
arc(r_0122_0018__stretched,r_0122_0017__mouth,inv_arg0).
arc(r_0122_0018__stretched,r_0122_0020__a_r_0122_0022__grin,r_0122_0019__in__nim).
arc(r_0122_0020__a_r_0122_0022__grin,r_0122_0021__wide,attrib).
arc(r_0122_0024__told,r_0122_0002__Hubert,arg0).
arc(r_0122_0024__told,r_0122_0006__her,arg2).
arc(r_0122_0024__told,r_0122_0010__hat,prn).
arc(r_0122_0024__told,r_0122_0017__mouth,prn).
arc(r_0122_0024__told,r_0122_0028__patois,r_0122_0026__in__nim).
arc(r_0122_0024__told,r_0122_0034__had,arg1).
arc(r_0122_0028__patois,r_0122_0027__halting,attrib).
arc(r_0122_0034__had,r_0122_0035__explained,scope).
arc(r_0122_0035__explained,r_0122_0031__Mistah_r_0122_0032__Piers,arg0).
arc(r_0122_0035__explained,r_0122_0038__the_r_0122_0039__start,r_0122_0036__right_r_0122_0037__at__nim).
arc(r_0122_0035__explained,r_0122_0045__would,arg1).
arc(r_0122_0045__would,r_0122_0046__be,scope).
arc(r_0122_0046__be,r_0122_0042__Mis_apos__r_0122_0043__Beryl,arg0).
arc(r_0122_0046__be,r_0122_0051__sad,prd).
arc(r_0122_0051__sad,r_0122_0048__plenty,qual).
arc(r_0122_0051__sad,r_0122_0050__plenty,qual).
arc(r_0122_0051__sad,r_0122_0053__not,emb).
arc(r_0122_0053__not,r_0122_0055__be,keep_scope).
arc(r_0122_0055__be,r_0122_0061__time,r_0122_0060__in__nim).
arc(r_0122_0055__be,z_0122_5013,arg0).
arc(r_0122_0055__be,z_0122_5017,prd).
arc(z_0122_5017,r_0122_0056__back,qual).
arc(z_0122_5017,r_0122_0058__the_r_0122_0059__Villa,r_0122_0057__at).

fof(formula,axiom,
    ? [R_0122_0001__OLD,R_0122_0006__HER,R_0122_0004__STANDING,R_0122_0002__HUBERT,R_0122_0009__BATTERED,R_0122_0013__HAND,R_0122_0010__HAT,R_0122_0016__TOOTHLESS,R_0122_0021__WIDE,R_0122_0020__A_R_0122_0022__GRIN,R_0122_0018__STRETCHED,R_0122_0017__MOUTH,R_0122_0027__HALTING,R_0122_0028__PATOIS,R_0122_0031__MISTAH_R_0122_0032__PIERS,R_0122_0038__THE_R_0122_0039__START,R_0122_0042__MIS_APOS__R_0122_0043__BERYL,R_0122_0048__PLENTY,R_0122_0050__PLENTY,R_0122_0051__SAD,R_0122_0045__WOULD_R_0122_0046__BE,R_0122_0034__HAD_R_0122_0035__EXPLAINED,R_0122_0024__TOLD] :
      ( r_0122_0001__Old(R_0122_0001__OLD)
      & r_0122_0006__her(R_0122_0006__HER)
      & r_0122_0009__battered(R_0122_0009__BATTERED)
      & r_0122_0016__toothless(R_0122_0016__TOOTHLESS)
      & r_0122_0021__wide(R_0122_0021__WIDE)
      & r_0122_0027__halting(R_0122_0027__HALTING)
      & r_0122_0031__Mistah_r_0122_0032__Piers(R_0122_0031__MISTAH_R_0122_0032__PIERS)
      & r_0122_0038__the_r_0122_0039__start(R_0122_0038__THE_R_0122_0039__START)
      & r_0122_0042__Mis_apos__r_0122_0043__Beryl(R_0122_0042__MIS_APOS__R_0122_0043__BERYL)
      & r_0122_0048__plenty(R_0122_0048__PLENTY)
      & r_0122_0050__plenty(R_0122_0050__PLENTY)
      & r_0122_0024__told(R_0122_0024__TOLD)
      & has_arg1(R_0122_0024__TOLD,R_0122_0034__HAD_R_0122_0035__EXPLAINED)
      & r_0122_0034__had_r_0122_0035__explained(R_0122_0034__HAD_R_0122_0035__EXPLAINED)
      & has_arg1(R_0122_0034__HAD_R_0122_0035__EXPLAINED,R_0122_0045__WOULD_R_0122_0046__BE)
      & r_0122_0045__would_r_0122_0046__be(R_0122_0045__WOULD_R_0122_0046__BE)
      & has_prd(R_0122_0045__WOULD_R_0122_0046__BE,R_0122_0051__SAD)
      & r_0122_0051__sad(R_0122_0051__SAD)
      & has_emb(R_0122_0051__SAD,R_0122_0053__NOT)
      & ~ ? [R_0122_0061__TIME,Z_0122_5013,R_0122_0056__BACK,R_0122_0058__THE_R_0122_0059__VILLA,Z_0122_5017,R_0122_0055__BE] :
            ( r_0122_0056__back(R_0122_0056__BACK)
            & r_0122_0058__the_r_0122_0059__Villa(R_0122_0058__THE_R_0122_0059__VILLA)
            & r_0122_0061__time(R_0122_0061__TIME)
            & z_0122_5013(Z_0122_5013)
            & r_0122_0055__be(R_0122_0055__BE)
            & has_prd(R_0122_0055__BE,Z_0122_5017)
            & z_0122_5017(Z_0122_5017)
            & has_r_0122_0057__at(Z_0122_5017,R_0122_0058__THE_R_0122_0059__VILLA)
            & has_qual(Z_0122_5017,R_0122_0056__BACK)
            & has_arg0(R_0122_0055__BE,Z_0122_5013)
            & has_r_0122_0060__in__nim(R_0122_0055__BE,R_0122_0061__TIME) )
      & has_qual(R_0122_0051__SAD,R_0122_0050__PLENTY)
      & has_qual(R_0122_0051__SAD,R_0122_0048__PLENTY)
      & has_arg0(R_0122_0045__WOULD_R_0122_0046__BE,R_0122_0042__MIS_APOS__R_0122_0043__BERYL)
      & has_r_0122_0036__right_r_0122_0037__at__nim(R_0122_0034__HAD_R_0122_0035__EXPLAINED,R_0122_0038__THE_R_0122_0039__START)
      & has_arg0(R_0122_0034__HAD_R_0122_0035__EXPLAINED,R_0122_0031__MISTAH_R_0122_0032__PIERS)
      & has_r_0122_0026__in__nim(R_0122_0024__TOLD,R_0122_0028__PATOIS)
      & r_0122_0028__patois(R_0122_0028__PATOIS)
      & has_attrib(R_0122_0028__PATOIS,R_0122_0027__HALTING)
      & has_prn(R_0122_0024__TOLD,R_0122_0017__MOUTH)
      & r_0122_0017__mouth(R_0122_0017__MOUTH)
      & has_inv_arg0(R_0122_0017__MOUTH,R_0122_0018__STRETCHED)
      & r_0122_0018__stretched(R_0122_0018__STRETCHED)
      & has_r_0122_0019__in__nim(R_0122_0018__STRETCHED,R_0122_0020__A_R_0122_0022__GRIN)
      & r_0122_0020__a_r_0122_0022__grin(R_0122_0020__A_R_0122_0022__GRIN)
      & has_attrib(R_0122_0020__A_R_0122_0022__GRIN,R_0122_0021__WIDE)
      & has_attrib(R_0122_0017__MOUTH,R_0122_0016__TOOTHLESS)
      & has_gen(R_0122_0017__MOUTH,R_0122_0002__HUBERT)
      & r_0122_0002__Hubert(R_0122_0002__HUBERT)
      & has_inv_arg0(R_0122_0002__HUBERT,R_0122_0004__STANDING)
      & r_0122_0004__standing(R_0122_0004__STANDING)
      & has_r_0122_0005__beside__nim(R_0122_0004__STANDING,R_0122_0006__HER)
      & has_attrib(R_0122_0002__HUBERT,R_0122_0001__OLD)
      & has_prn(R_0122_0024__TOLD,R_0122_0010__HAT)
      & r_0122_0010__hat(R_0122_0010__HAT)
      & has_r_0122_0011__in(R_0122_0010__HAT,R_0122_0013__HAND)
      & r_0122_0013__hand(R_0122_0013__HAND)
      & has_gen(R_0122_0013__HAND,R_0122_0002__HUBERT)
      & has_attrib(R_0122_0010__HAT,R_0122_0009__BATTERED)
      & has_gen(R_0122_0010__HAT,R_0122_0002__HUBERT)
      & has_arg2(R_0122_0024__TOLD,R_0122_0006__HER)
      & has_arg0(R_0122_0024__TOLD,R_0122_0002__HUBERT) ) ).