TSPC 22_a_lob

22_a_lob_n02
Be this as it might, she must on no account show resentment now, and she greeted Jack and Blanche with friendly courtesy, thanking Jack warmly for coming to the rescue, and explaining as best she could how it was that she had been obliged to miss the celebrations.

( (IP-MAT (ILYR (ILYR (PP-SCON-CND (IP-ADV (BE;_Ln_ Be;{be})
                                           (NP-SBJ;{AFFAIRS} (D;_nphd_ this;{this}))
                                           (NP-PRD (IP-REL (NP-PRD (RPRO as;{as}))
                                                           (NP-SBJ;{AFFAIRS} (PRO it;{it}))
                                                           (MD;_cat_Vi_ might;{may})))))
                      (PUNC ,)
                      (NP-SBJ;{BERYL} (PRO she;{she}))
                      (MD;_cat_Vi_ must;{must})
                      (IP-INF-CAT (PP-NIM (P-ROLE on;{on})
                                          (NP (Q no;{no})
                                              (N account;{account})))
                                  (VB;_Tn_ show;{show})
                                  (NP-OB1 (N resentment;{resentment}))
                                  (ADVP-NIM (ADV now;{now}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{BERYL} (PRO she;{she}))
                             (VBD;_Tn_ greeted;{greet})
                             (NP-OB1;{JACK+BLANCHE} (NLYR (NLYR;{JACK} (NPR Jack;{Jack}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR;{BLANCHE} (NPR Blanche;{Blanche})))))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (ADJP (ADJ friendly;{friendly}))
                                         (N courtesy;{courtesy})))
                             (PUNC ,)
                             (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Tn.pr_ thanking;{thank[for]})
                                                           (NP-OB1;{JACK} (NPR Jack;{Jack}))
                                                           (ADVP-NIM (ADV warmly;{warmly}))
                                                           (PP-CLR (P-ROLE for;{for})
                                                                   (IP-PPL (VAG;_Ipr_ coming;{come[to]})
                                                                           (PP-CLR (P-ROLE to;{to})
                                                                                   (NP (D the;{the})
                                                                                       (N rescue;{rescue}))))))
                                                     (PUNC ,)
                                                     (CONJP (CONJ and;{and})
                                                            (ILYR (VAG;_Tw_ explaining;{explain})
                                                                  (ADVP-NIM (ADVP (ADV as;{as}))
                                                                            (ADVS best;{good})
                                                                            (CP-THT (IP-SUB (NP-SBJ;{BERYL} (PRO she;{she}))
                                                                                            (MD;_cat_Vi_ could;{can}))))
                                                                  (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV how;{how}))
                                                                                      (NP-SBJ (PRO;_provisional_ it;{it}))
                                                                                      (BED;_I_ was;{be})
                                                                                      (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                                                                           (NP-SBJ;{BERYL} (PRO she;{she}))
                                                                                                           (HVD;_cat_Ve_ had;{have})
                                                                                                           (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                                                       (IP-PPL-CAT (NP-LGS *)
                                                                                                                                   (VVN;__ obliged;{oblige})
                                                                                                                                   (IP-INF-OB1 (TO to;{to})
                                                                                                                                               (VB;__ miss;{miss})
                                                                                                                                               (NP-OB1 (D the;{the})
                                                                                                                                                       (NS celebrations;{celebration})))))))))))))))))
          (PUNC .))
  (ID 22_a_lob_n02))

arc(r_0022_0001__Be,r_0022_0002__this,arg0).
arc(r_0022_0001__Be,r_0022_0003__as,prd).
arc(r_0022_0005__might,r_0022_0002__this,arg0).
arc(r_0022_0005__might,r_0022_0003__as,prd).
arc(r_0022_0008__must,r_0022_0012__show,scope).
arc(r_0022_0010__no__quant,r_0022_0008__must,scope).
arc(r_0022_0010__no__quant,r_0022_0011__account,restriction).
arc(r_0022_0012__show,r_0022_0007__she,arg0).
arc(r_0022_0012__show,r_0022_0011__account,r_0022_0009__on__nim).
arc(r_0022_0012__show,r_0022_0013__resentment,arg1).
arc(r_0022_0012__show,r_0022_0014__now,nim).
arc(r_0022_0016__and,z_0022_5001__cnd,conj1).
arc(r_0022_0016__and,z_0022_5016,conj2).
arc(r_0022_0018__greeted,r_0022_0007__she,arg0).
arc(r_0022_0018__greeted,r_0022_0020__and,arg1).
arc(r_0022_0018__greeted,r_0022_0024__courtesy,r_0022_0022__with__nim).
arc(r_0022_0020__and,r_0022_0019__Jack,conj1).
arc(r_0022_0020__and,r_0022_0021__Blanche,conj2).
arc(r_0022_0024__courtesy,r_0022_0023__friendly,attrib).
arc(r_0022_0026__thanking,r_0022_0007__she,arg0).
arc(r_0022_0026__thanking,r_0022_0019__Jack,arg1).
arc(r_0022_0026__thanking,r_0022_0028__warmly,nim).
arc(r_0022_0026__thanking,r_0022_0030__coming_r_0022_0031__to,r_0022_0029__for__clr).
arc(r_0022_0030__coming_r_0022_0031__to,r_0022_0019__Jack,arg0).
arc(r_0022_0030__coming_r_0022_0031__to,r_0022_0032__the_r_0022_0033__rescue,arg1).
arc(r_0022_0035__and,r_0022_0026__thanking,conj1).
arc(r_0022_0035__and,r_0022_0036__explaining,conj2).
arc(r_0022_0036__explaining,r_0022_0007__she,arg0).
arc(r_0022_0036__explaining,r_0022_0038__best,nim).
arc(r_0022_0036__explaining,r_0022_0043__was,arg1).
arc(r_0022_0038__best,r_0022_0037__as,qual).
arc(r_0022_0038__best,r_0022_0040__could,emb).
arc(r_0022_0040__could,r_0022_0007__she,arg0).
arc(r_0022_0043__was,r_0022_0041__how,nim).
arc(r_0022_0043__was,r_0022_0046__had,arg0).
arc(r_0022_0046__had,r_0022_0047__been,scope).
arc(r_0022_0047__been,r_0022_0048__obliged,scope).
arc(r_0022_0048__obliged,r_0022_0007__she,arg2).
arc(r_0022_0048__obliged,r_0022_0050__miss,arg1).
arc(r_0022_0048__obliged,z_0022_5034___star_,arg0).
arc(r_0022_0050__miss,r_0022_0007__she,arg0).
arc(r_0022_0050__miss,r_0022_0051__the_r_0022_0052__celebrations,arg1).
arc(z_0022_5001__cnd,r_0022_0001__Be,restriction).
arc(z_0022_5001__cnd,r_0022_0010__no__quant,scope).
arc(z_0022_5016,r_0022_0018__greeted,scope).
arc(z_0022_5016,r_0022_0035__and,restriction).

fof(formula,axiom,
    ? [R_0022_0002__THIS,R_0022_0003__AS,R_0022_0005__MIGHT,R_0022_0001__BE,Z_0022_5001__CND,R_0022_0007__SHE,R_0022_0019__JACK,R_0022_0021__BLANCHE,R_0022_0020__AND,R_0022_0023__FRIENDLY,R_0022_0024__COURTESY,R_0022_0018__GREETED,R_0022_0028__WARMLY,R_0022_0032__THE_R_0022_0033__RESCUE,R_0022_0030__COMING_R_0022_0031__TO,R_0022_0026__THANKING,R_0022_0037__AS,R_0022_0040__COULD,R_0022_0038__BEST,R_0022_0041__HOW,R_0022_0051__THE_R_0022_0052__CELEBRATIONS,R_0022_0050__MISS,Z_0022_5034___STAR_,R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED,R_0022_0043__WAS,R_0022_0036__EXPLAINING,R_0022_0035__AND,Z_0022_5016,R_0022_0016__AND] :
      ( r_0022_0002__this(R_0022_0002__THIS)
      & r_0022_0003__as(R_0022_0003__AS)
      & r_0022_0007__she(R_0022_0007__SHE)
      & r_0022_0019__Jack(R_0022_0019__JACK)
      & r_0022_0021__Blanche(R_0022_0021__BLANCHE)
      & r_0022_0023__friendly(R_0022_0023__FRIENDLY)
      & r_0022_0028__warmly(R_0022_0028__WARMLY)
      & r_0022_0032__the_r_0022_0033__rescue(R_0022_0032__THE_R_0022_0033__RESCUE)
      & r_0022_0037__as(R_0022_0037__AS)
      & r_0022_0041__how(R_0022_0041__HOW)
      & r_0022_0051__the_r_0022_0052__celebrations(R_0022_0051__THE_R_0022_0052__CELEBRATIONS)
      & z_0022_5034___star_(Z_0022_5034___STAR_)
      & r_0022_0016__and(R_0022_0016__AND)
      & has_conj2(R_0022_0016__AND,Z_0022_5016)
      & z_0022_5016(Z_0022_5016)
      & has_conj1(Z_0022_5016,R_0022_0035__AND)
      & r_0022_0035__and(R_0022_0035__AND)
      & has_conj2(R_0022_0035__AND,R_0022_0036__EXPLAINING)
      & r_0022_0036__explaining(R_0022_0036__EXPLAINING)
      & has_arg1(R_0022_0036__EXPLAINING,R_0022_0043__WAS)
      & r_0022_0043__was(R_0022_0043__WAS)
      & has_arg0(R_0022_0043__WAS,R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED)
      & r_0022_0046__had_r_0022_0047__been_r_0022_0048__obliged(R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED)
      & has_arg0(R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED,Z_0022_5034___STAR_)
      & has_arg1(R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED,R_0022_0050__MISS)
      & r_0022_0050__miss(R_0022_0050__MISS)
      & has_arg1(R_0022_0050__MISS,R_0022_0051__THE_R_0022_0052__CELEBRATIONS)
      & has_arg0(R_0022_0050__MISS,R_0022_0007__SHE)
      & has_arg2(R_0022_0046__HAD_R_0022_0047__BEEN_R_0022_0048__OBLIGED,R_0022_0007__SHE)
      & has_nim(R_0022_0043__WAS,R_0022_0041__HOW)
      & has_nim(R_0022_0036__EXPLAINING,R_0022_0038__BEST)
      & r_0022_0038__best(R_0022_0038__BEST)
      & has_emb(R_0022_0038__BEST,R_0022_0040__COULD)
      & r_0022_0040__could(R_0022_0040__COULD)
      & has_arg0(R_0022_0040__COULD,R_0022_0007__SHE)
      & has_qual(R_0022_0038__BEST,R_0022_0037__AS)
      & has_arg0(R_0022_0036__EXPLAINING,R_0022_0007__SHE)
      & has_conj1(R_0022_0035__AND,R_0022_0026__THANKING)
      & r_0022_0026__thanking(R_0022_0026__THANKING)
      & has_r_0022_0029__for__clr(R_0022_0026__THANKING,R_0022_0030__COMING_R_0022_0031__TO)
      & r_0022_0030__coming_r_0022_0031__to(R_0022_0030__COMING_R_0022_0031__TO)
      & has_arg1(R_0022_0030__COMING_R_0022_0031__TO,R_0022_0032__THE_R_0022_0033__RESCUE)
      & has_arg0(R_0022_0030__COMING_R_0022_0031__TO,R_0022_0019__JACK)
      & has_nim(R_0022_0026__THANKING,R_0022_0028__WARMLY)
      & has_arg1(R_0022_0026__THANKING,R_0022_0019__JACK)
      & has_arg0(R_0022_0026__THANKING,R_0022_0007__SHE)
      & has_conj2(Z_0022_5016,R_0022_0018__GREETED)
      & r_0022_0018__greeted(R_0022_0018__GREETED)
      & has_r_0022_0022__with__nim(R_0022_0018__GREETED,R_0022_0024__COURTESY)
      & r_0022_0024__courtesy(R_0022_0024__COURTESY)
      & has_attrib(R_0022_0024__COURTESY,R_0022_0023__FRIENDLY)
      & has_arg1(R_0022_0018__GREETED,R_0022_0020__AND)
      & r_0022_0020__and(R_0022_0020__AND)
      & has_conj2(R_0022_0020__AND,R_0022_0021__BLANCHE)
      & has_conj1(R_0022_0020__AND,R_0022_0019__JACK)
      & has_arg0(R_0022_0018__GREETED,R_0022_0007__SHE)
      & has_conj1(R_0022_0016__AND,Z_0022_5001__CND)
      & z_0022_5001__cnd(Z_0022_5001__CND)
      & ! [R_0022_0011__ACCOUNT] :
          ( r_0022_0011__account(R_0022_0011__ACCOUNT)
         => ? [R_0022_0013__RESENTMENT,R_0022_0014__NOW,R_0022_0008__MUST_R_0022_0012__SHOW] :
              ( r_0022_0013__resentment(R_0022_0013__RESENTMENT)
              & r_0022_0014__now(R_0022_0014__NOW)
              & r_0022_0008__must_r_0022_0012__show(R_0022_0008__MUST_R_0022_0012__SHOW)
              & has_nim(R_0022_0008__MUST_R_0022_0012__SHOW,R_0022_0014__NOW)
              & has_arg1(R_0022_0008__MUST_R_0022_0012__SHOW,R_0022_0013__RESENTMENT)
              & has_r_0022_0009__on__nim(R_0022_0008__MUST_R_0022_0012__SHOW,R_0022_0011__ACCOUNT)
              & has_arg0(R_0022_0008__MUST_R_0022_0012__SHOW,R_0022_0007__SHE) ) )
      & has_conj1(Z_0022_5001__CND,R_0022_0001__BE)
      & r_0022_0001__Be(R_0022_0001__BE)
      & has_prd(R_0022_0001__BE,R_0022_0003__AS)
      & has_arg0(R_0022_0001__BE,R_0022_0002__THIS)
      & r_0022_0005__might(R_0022_0005__MIGHT)
      & has_prd(R_0022_0005__MIGHT,R_0022_0003__AS)
      & has_arg0(R_0022_0005__MIGHT,R_0022_0002__THIS) ) ).