TSPC 134_a_lob

134_a_lob_n02
Without taking it too seriously she found herself regretting some of the sharp things she had said to him and when, her goodbyes said, she climbed back into the jeep, preparatory to returning to the Villa, it was with the resolve to make up her quarrel with him — to achieve, at least, a surface peace.

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN Without;{without})
                               (IP-PPL2 (VAG;__ taking;{take})
                                        (NP-OB1;{SIDELIGHT} (PRO it;{it}))
                                        (ADVP-NIM (ADVP (ADV too;{too}))
                                                  (ADV seriously;{seriously}))))
                      (NP-SBJ;{BERYL} (PRO she;{she}))
                      (VBD;__ found;{find})
                      (NP-DOB1;{BERYL} (PNX herself;{herself}))
                      (IP-PPL-OB1 (VAG;__ regretting;{regret})
                                  (NP-OB1 (D;_nphd_ some;{some})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (ADJP (ADJ sharp;{sharp}))
                                                  (NS things;{thing})
                                                  (IP-REL (NP-SBJ;{BERYL} (PRO she;{she}))
                                                          (HVD;_cat_Ve_ had;{have})
                                                          (IP-PPL-CAT (NP-OB1 *T*)
                                                                      (VVN;__ said;{say})
                                                                      (PP-CLR (P-ROLE to;{to})
                                                                              (NP;{PIERS} (PRO him;{he}))))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN when;{when})
                                      (PUNC ,)
                                      (IP-ADV (PP-SCON (IP-PPL3 (NP-SBJ (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                                        (NS goodbyes;{goodbye}))
                                                                (VVN;__ said;{say})))
                                              (PUNC ,)
                                              (NP-SBJ;{BERYL} (PRO she;{she}))
                                              (VBD;__ climbed;{climb})
                                              (ADVP-NIM (RP back;{back}))
                                              (PP-NIM (P-ROLE into;{into})
                                                      (NP (D the;{the})
                                                          (N jeep;{jeep})))
                                              (PUNC ,)
                                              (ADJP-PRD (ADJ preparatory;{preparatory})
                                                        (PP (P-ROLE to;{to})
                                                            (IP-PPL (VAG;__ returning;{return})
                                                                    (PP-NIM (P-ROLE to;{to})
                                                                            (NP (D the;{the})
                                                                                (NPR Villa;{Villa}))))))))
                             (PUNC ,)
                             (NP-SBJ (PRO it;{it}))
                             (BED;_Ipr_ was;{be[with]})
                             (PP-CLR (P-ROLE with;{with})
                                     (NP (D the;{the})
                                         (N resolve;{resolve})
                                         (IP-INF (ILYR (ILYR (TO to;{to})
                                                             (VB;__ make;{make})
                                                             (RP up;{up})
                                                             (NP-OB1 (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                                     (N quarrel;{quarrel})
                                                                     (PP (P-ROLE with;{with})
                                                                         (NP;{PIERS} (PRO him;{he})))))
                                                       (PUNC <mdash>)
                                                       (CONJP (ILYR (TO to;{to})
                                                                    (VB;_Tn_ achieve;{achieve})
                                                                    (PUNC ,)
                                                                    (ADVP-NIM (ADV at_least;{at_least}))
                                                                    (PUNC ,)
                                                                    (NP-OB1 (D a;{a})
                                                                            (N surface;{surface})
                                                                            (N peace;{peace})))))))))))
          (PUNC .))
  (ID 134_a_lob_n02))

arc(r_0134_0001__Without,r_0134_0002__taking,restriction).
arc(r_0134_0001__Without,r_0134_0007__found,scope).
arc(r_0134_0002__taking,r_0134_0003__it,arg1).
arc(r_0134_0002__taking,r_0134_0005__seriously,nim).
arc(r_0134_0002__taking,r_0134_0006__she,arg0).
arc(r_0134_0005__seriously,r_0134_0004__too,qual).
arc(r_0134_0007__found,r_0134_0006__she,arg0).
arc(r_0134_0007__found,r_0134_0009__regretting,arg1).
arc(r_0134_0009__regretting,r_0134_0006__she,arg0).
arc(r_0134_0009__regretting,r_0134_0010__some,arg1).
arc(r_0134_0010__some,r_0134_0012__the_r_0134_0014__things,r_0134_0011__of).
arc(r_0134_0012__the_r_0134_0014__things,r_0134_0013__sharp,attrib).
arc(r_0134_0016__had,r_0134_0017__said,scope).
arc(r_0134_0017__said,r_0134_0006__she,arg0).
arc(r_0134_0017__said,r_0134_0012__the_r_0134_0014__things,inv_arg1).
arc(r_0134_0017__said,r_0134_0019__him,r_0134_0018__to__clr).
arc(r_0134_0020__and,r_0134_0001__Without,conj1).
arc(r_0134_0020__and,r_0134_0021__when,conj2).
arc(r_0134_0021__when,r_0134_0042__was_r_0134_0043__with,scope).
arc(r_0134_0021__when,z_0134_5016,restriction).
arc(r_0134_0024__goodbyes,r_0134_0006__she,gen).
arc(r_0134_0025__said,r_0134_0024__goodbyes,arg0).
arc(r_0134_0028__climbed,r_0134_0006__she,arg0).
arc(r_0134_0028__climbed,r_0134_0029__back,nim).
arc(r_0134_0028__climbed,r_0134_0031__the_r_0134_0032__jeep,r_0134_0030__into__nim).
arc(r_0134_0028__climbed,r_0134_0034__preparatory,prd).
arc(r_0134_0034__preparatory,r_0134_0036__returning,r_0134_0035__to).
arc(r_0134_0036__returning,r_0134_0038__the_r_0134_0039__Villa,r_0134_0037__to__nim).
arc(r_0134_0036__returning,z_0134_5025,arg0).
arc(r_0134_0042__was_r_0134_0043__with,r_0134_0041__it,arg0).
arc(r_0134_0042__was_r_0134_0043__with,r_0134_0044__the_r_0134_0045__resolve,arg1).
arc(r_0134_0044__the_r_0134_0045__resolve,z_0134_5034,emb).
arc(r_0134_0047__make_r_0134_0048__up,r_0134_0050__quarrel,arg1).
arc(r_0134_0047__make_r_0134_0048__up,z_0134_5033,arg0).
arc(r_0134_0050__quarrel,r_0134_0006__she,gen).
arc(r_0134_0050__quarrel,r_0134_0019__him,r_0134_0051__with).
arc(r_0134_0055__achieve,r_0134_0057__at_least,nim).
arc(r_0134_0055__achieve,r_0134_0059__a_r_0134_0060__surface_r_0134_0061__peace,arg1).
arc(r_0134_0055__achieve,z_0134_5033,arg0).
arc(z_0134_5016,r_0134_0025__said,restriction).
arc(z_0134_5016,r_0134_0028__climbed,scope).
arc(z_0134_5034,r_0134_0047__make_r_0134_0048__up,conj1).
arc(z_0134_5034,r_0134_0055__achieve,conj2).

fof(formula,axiom,
    ? [R_0134_0003__IT,R_0134_0004__TOO,R_0134_0005__SERIOUSLY,R_0134_0006__SHE,R_0134_0002__TAKING,R_0134_0013__SHARP,R_0134_0019__HIM,R_0134_0016__HAD_R_0134_0017__SAID,R_0134_0012__THE_R_0134_0014__THINGS,R_0134_0010__SOME,R_0134_0009__REGRETTING,R_0134_0007__FOUND,R_0134_0001__WITHOUT,R_0134_0020__AND] :
      ( r_0134_0003__it(R_0134_0003__IT)
      & r_0134_0004__too(R_0134_0004__TOO)
      & r_0134_0006__she(R_0134_0006__SHE)
      & r_0134_0013__sharp(R_0134_0013__SHARP)
      & r_0134_0019__him(R_0134_0019__HIM)
      & r_0134_0020__and(R_0134_0020__AND)
      & ! [Z_0134_5016,R_0134_0024__GOODBYES,R_0134_0025__SAID,R_0134_0029__BACK,R_0134_0031__THE_R_0134_0032__JEEP,R_0134_0038__THE_R_0134_0039__VILLA,Z_0134_5025,R_0134_0036__RETURNING,R_0134_0034__PREPARATORY,R_0134_0028__CLIMBED] :
          ( ( r_0134_0029__back(R_0134_0029__BACK)
            & r_0134_0031__the_r_0134_0032__jeep(R_0134_0031__THE_R_0134_0032__JEEP)
            & r_0134_0038__the_r_0134_0039__Villa(R_0134_0038__THE_R_0134_0039__VILLA)
            & z_0134_5025(Z_0134_5025)
            & z_0134_5016(Z_0134_5016)
            & has_conj2(Z_0134_5016,R_0134_0028__CLIMBED)
            & r_0134_0028__climbed(R_0134_0028__CLIMBED)
            & has_prd(R_0134_0028__CLIMBED,R_0134_0034__PREPARATORY)
            & r_0134_0034__preparatory(R_0134_0034__PREPARATORY)
            & has_r_0134_0035__to(R_0134_0034__PREPARATORY,R_0134_0036__RETURNING)
            & r_0134_0036__returning(R_0134_0036__RETURNING)
            & has_arg0(R_0134_0036__RETURNING,Z_0134_5025)
            & has_r_0134_0037__to__nim(R_0134_0036__RETURNING,R_0134_0038__THE_R_0134_0039__VILLA)
            & has_r_0134_0030__into__nim(R_0134_0028__CLIMBED,R_0134_0031__THE_R_0134_0032__JEEP)
            & has_nim(R_0134_0028__CLIMBED,R_0134_0029__BACK)
            & has_arg0(R_0134_0028__CLIMBED,R_0134_0006__SHE)
            & has_conj1(Z_0134_5016,R_0134_0025__SAID)
            & r_0134_0025__said(R_0134_0025__SAID)
            & has_arg0(R_0134_0025__SAID,R_0134_0024__GOODBYES)
            & r_0134_0024__goodbyes(R_0134_0024__GOODBYES)
            & has_gen(R_0134_0024__GOODBYES,R_0134_0006__SHE) )
         => ? [R_0134_0041__IT,R_0134_0050__QUARREL,Z_0134_5033,R_0134_0047__MAKE_R_0134_0048__UP,R_0134_0057__AT_LEAST,R_0134_0059__A_R_0134_0060__SURFACE_R_0134_0061__PEACE,R_0134_0055__ACHIEVE,Z_0134_5034,R_0134_0044__THE_R_0134_0045__RESOLVE,R_0134_0042__WAS_R_0134_0043__WITH] :
              ( r_0134_0041__it(R_0134_0041__IT)
              & r_0134_0057__at_least(R_0134_0057__AT_LEAST)
              & r_0134_0059__a_r_0134_0060__surface_r_0134_0061__peace(R_0134_0059__A_R_0134_0060__SURFACE_R_0134_0061__PEACE)
              & z_0134_5033(Z_0134_5033)
              & r_0134_0042__was_r_0134_0043__with(R_0134_0042__WAS_R_0134_0043__WITH)
              & has_arg1(R_0134_0042__WAS_R_0134_0043__WITH,R_0134_0044__THE_R_0134_0045__RESOLVE)
              & r_0134_0044__the_r_0134_0045__resolve(R_0134_0044__THE_R_0134_0045__RESOLVE)
              & has_emb(R_0134_0044__THE_R_0134_0045__RESOLVE,Z_0134_5034)
              & z_0134_5034(Z_0134_5034)
              & has_conj2(Z_0134_5034,R_0134_0055__ACHIEVE)
              & r_0134_0055__achieve(R_0134_0055__ACHIEVE)
              & has_arg0(R_0134_0055__ACHIEVE,Z_0134_5033)
              & has_arg1(R_0134_0055__ACHIEVE,R_0134_0059__A_R_0134_0060__SURFACE_R_0134_0061__PEACE)
              & has_nim(R_0134_0055__ACHIEVE,R_0134_0057__AT_LEAST)
              & has_conj1(Z_0134_5034,R_0134_0047__MAKE_R_0134_0048__UP)
              & r_0134_0047__make_r_0134_0048__up(R_0134_0047__MAKE_R_0134_0048__UP)
              & has_arg0(R_0134_0047__MAKE_R_0134_0048__UP,Z_0134_5033)
              & has_arg1(R_0134_0047__MAKE_R_0134_0048__UP,R_0134_0050__QUARREL)
              & r_0134_0050__quarrel(R_0134_0050__QUARREL)
              & has_r_0134_0051__with(R_0134_0050__QUARREL,R_0134_0019__HIM)
              & has_gen(R_0134_0050__QUARREL,R_0134_0006__SHE)
              & has_arg0(R_0134_0042__WAS_R_0134_0043__WITH,R_0134_0041__IT) ) )
      & has_conj1(R_0134_0020__AND,R_0134_0001__WITHOUT)
      & r_0134_0001__Without(R_0134_0001__WITHOUT)
      & has_conj2(R_0134_0001__WITHOUT,R_0134_0007__FOUND)
      & r_0134_0007__found(R_0134_0007__FOUND)
      & has_arg1(R_0134_0007__FOUND,R_0134_0009__REGRETTING)
      & r_0134_0009__regretting(R_0134_0009__REGRETTING)
      & has_arg1(R_0134_0009__REGRETTING,R_0134_0010__SOME)
      & r_0134_0010__some(R_0134_0010__SOME)
      & has_r_0134_0011__of(R_0134_0010__SOME,R_0134_0012__THE_R_0134_0014__THINGS)
      & r_0134_0012__the_r_0134_0014__things(R_0134_0012__THE_R_0134_0014__THINGS)
      & has_inv_arg1(R_0134_0012__THE_R_0134_0014__THINGS,R_0134_0016__HAD_R_0134_0017__SAID)
      & r_0134_0016__had_r_0134_0017__said(R_0134_0016__HAD_R_0134_0017__SAID)
      & has_r_0134_0018__to__clr(R_0134_0016__HAD_R_0134_0017__SAID,R_0134_0019__HIM)
      & has_arg0(R_0134_0016__HAD_R_0134_0017__SAID,R_0134_0006__SHE)
      & has_attrib(R_0134_0012__THE_R_0134_0014__THINGS,R_0134_0013__SHARP)
      & has_arg0(R_0134_0009__REGRETTING,R_0134_0006__SHE)
      & has_arg0(R_0134_0007__FOUND,R_0134_0006__SHE)
      & has_conj1(R_0134_0001__WITHOUT,R_0134_0002__TAKING)
      & r_0134_0002__taking(R_0134_0002__TAKING)
      & has_arg0(R_0134_0002__TAKING,R_0134_0006__SHE)
      & has_nim(R_0134_0002__TAKING,R_0134_0005__SERIOUSLY)
      & r_0134_0005__seriously(R_0134_0005__SERIOUSLY)
      & has_qual(R_0134_0005__SERIOUSLY,R_0134_0004__TOO)
      & has_arg1(R_0134_0002__TAKING,R_0134_0003__IT) ) ).