TSPC 57_a_lob

57_a_lob_g01
At the same time, the news of the war was disheartening — a Breton expedition led by the Earl of Buckingham was not going well, and an expedition of Gaunt to Scotland was as unpopular as Gaunt himself.

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE At;{at})
                              (NP (D the;{the})
                                  (ADJP (ADJ same;{same}))
                                  (N time;{time})))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (N news;{news})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N war;{war}))))
                      (BED;_cat_Vg_ was;{be})
                      (IP-PPL-CAT (VAG;__ disheartening;{dishearten})))
                (PUNC <mdash>)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ (D a;{a})
                                                 (ADJP (ADJ Breton;{breton}))
                                                 (N expedition;{expedition})
                                                 (IP-PPL (VVN;__ led;{lead})
                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                 (NP (D the;{the})
                                                                     (N Earl;{earl})
                                                                     (PP (P-ROLE of;{of})
                                                                         (NP (NPR Buckingham;{Buckingham})))))))
                                         (BED;_cat_Vg_ was;{be})
                                         (NEG not;{not})
                                         (IP-PPL-CAT (VAG;__ going;{go})
                                                     (ADVP-NIM (ADV well;{well}))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (D an;{an})
                                                        (N expedition;{expedition})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (NPR Gaunt;{Gaunt})))
                                                        (PP (P-ROLE to;{to})
                                                            (NP (NPR Scotland;{Scotland}))))
                                                (BED;_La_ was;{be})
                                                (ADJP-PRD (ADVP (ADV as;{as}))
                                                          (ADJ unpopular;{unpopular})
                                                          (PP (P-ROLE as;{as})
                                                              (NP (NPR Gaunt;{Gaunt})
                                                                  (NP-RFL (PNX himself;{himself})))))))))))
          (PUNC .))
  (ID 57_a_lob_g01))

arc(r_0057_0002__the_r_0057_0004__time,r_0057_0003__same,attrib).
arc(r_0057_0006__the_r_0057_0007__news,r_0057_0009__the_r_0057_0010__war,r_0057_0008__of).
arc(r_0057_0011__was,r_0057_0002__the_r_0057_0004__time,r_0057_0001__At__nim).
arc(r_0057_0011__was,r_0057_0012__disheartening,scope).
arc(r_0057_0012__disheartening,r_0057_0006__the_r_0057_0007__news,arg0).
arc(r_0057_0014__a_r_0057_0016__expedition,r_0057_0015__Breton,attrib).
arc(r_0057_0017__led,r_0057_0014__a_r_0057_0016__expedition,inv_arg1).
arc(r_0057_0017__led,r_0057_0019__the_r_0057_0020__Earl,r_0057_0018__by_arg0).
arc(r_0057_0019__the_r_0057_0020__Earl,r_0057_0022__Buckingham,r_0057_0021__of).
arc(r_0057_0023__was,r_0057_0025__going,scope).
arc(r_0057_0024__not,r_0057_0023__was,keep_scope).
arc(r_0057_0025__going,r_0057_0014__a_r_0057_0016__expedition,arg0).
arc(r_0057_0025__going,r_0057_0026__well,nim).
arc(r_0057_0028__and,r_0057_0024__not,conj1).
arc(r_0057_0028__and,r_0057_0035__was,conj2).
arc(r_0057_0029__an_r_0057_0030__expedition,r_0057_0032__Gaunt,r_0057_0031__of).
arc(r_0057_0029__an_r_0057_0030__expedition,r_0057_0034__Scotland,r_0057_0033__to).
arc(r_0057_0035__was,r_0057_0029__an_r_0057_0030__expedition,arg0).
arc(r_0057_0035__was,r_0057_0037__unpopular,prd).
arc(r_0057_0037__unpopular,r_0057_0036__as,qual).
arc(r_0057_0037__unpopular,r_0057_0039__Gaunt,r_0057_0038__as).
arc(r_0057_0039__Gaunt,r_0057_0040__himself,rfl).
arc(z_0057_5001,r_0057_0011__was,conj1).
arc(z_0057_5001,r_0057_0028__and,conj2).

fof(formula,axiom,
    ? [R_0057_0003__SAME,R_0057_0002__THE_R_0057_0004__TIME,R_0057_0009__THE_R_0057_0010__WAR,R_0057_0006__THE_R_0057_0007__NEWS,R_0057_0011__WAS_R_0057_0012__DISHEARTENING,R_0057_0032__GAUNT,R_0057_0034__SCOTLAND,R_0057_0029__AN_R_0057_0030__EXPEDITION,R_0057_0036__AS,R_0057_0040__HIMSELF,R_0057_0039__GAUNT,R_0057_0037__UNPOPULAR,R_0057_0035__WAS,R_0057_0028__AND,Z_0057_5001] :
      ( r_0057_0003__same(R_0057_0003__SAME)
      & r_0057_0009__the_r_0057_0010__war(R_0057_0009__THE_R_0057_0010__WAR)
      & r_0057_0032__Gaunt(R_0057_0032__GAUNT)
      & r_0057_0034__Scotland(R_0057_0034__SCOTLAND)
      & r_0057_0036__as(R_0057_0036__AS)
      & r_0057_0040__himself(R_0057_0040__HIMSELF)
      & z_0057_5001(Z_0057_5001)
      & has_conj2(Z_0057_5001,R_0057_0028__AND)
      & r_0057_0028__and(R_0057_0028__AND)
      & has_conj2(R_0057_0028__AND,R_0057_0035__WAS)
      & r_0057_0035__was(R_0057_0035__WAS)
      & has_prd(R_0057_0035__WAS,R_0057_0037__UNPOPULAR)
      & r_0057_0037__unpopular(R_0057_0037__UNPOPULAR)
      & has_r_0057_0038__as(R_0057_0037__UNPOPULAR,R_0057_0039__GAUNT)
      & r_0057_0039__Gaunt(R_0057_0039__GAUNT)
      & has_rfl(R_0057_0039__GAUNT,R_0057_0040__HIMSELF)
      & has_qual(R_0057_0037__UNPOPULAR,R_0057_0036__AS)
      & has_arg0(R_0057_0035__WAS,R_0057_0029__AN_R_0057_0030__EXPEDITION)
      & r_0057_0029__an_r_0057_0030__expedition(R_0057_0029__AN_R_0057_0030__EXPEDITION)
      & has_r_0057_0033__to(R_0057_0029__AN_R_0057_0030__EXPEDITION,R_0057_0034__SCOTLAND)
      & has_r_0057_0031__of(R_0057_0029__AN_R_0057_0030__EXPEDITION,R_0057_0032__GAUNT)
      & has_conj1(R_0057_0028__AND,R_0057_0024__NOT)
      & ~ ? [R_0057_0015__BRETON,R_0057_0022__BUCKINGHAM,R_0057_0019__THE_R_0057_0020__EARL,R_0057_0017__LED,R_0057_0014__A_R_0057_0016__EXPEDITION,R_0057_0026__WELL,R_0057_0023__WAS_R_0057_0025__GOING] :
            ( r_0057_0015__Breton(R_0057_0015__BRETON)
            & r_0057_0022__Buckingham(R_0057_0022__BUCKINGHAM)
            & r_0057_0026__well(R_0057_0026__WELL)
            & r_0057_0023__was_r_0057_0025__going(R_0057_0023__WAS_R_0057_0025__GOING)
            & has_nim(R_0057_0023__WAS_R_0057_0025__GOING,R_0057_0026__WELL)
            & has_arg0(R_0057_0023__WAS_R_0057_0025__GOING,R_0057_0014__A_R_0057_0016__EXPEDITION)
            & r_0057_0014__a_r_0057_0016__expedition(R_0057_0014__A_R_0057_0016__EXPEDITION)
            & has_inv_arg1(R_0057_0014__A_R_0057_0016__EXPEDITION,R_0057_0017__LED)
            & r_0057_0017__led(R_0057_0017__LED)
            & has_r_0057_0018__by_arg0(R_0057_0017__LED,R_0057_0019__THE_R_0057_0020__EARL)
            & r_0057_0019__the_r_0057_0020__Earl(R_0057_0019__THE_R_0057_0020__EARL)
            & has_r_0057_0021__of(R_0057_0019__THE_R_0057_0020__EARL,R_0057_0022__BUCKINGHAM)
            & has_attrib(R_0057_0014__A_R_0057_0016__EXPEDITION,R_0057_0015__BRETON) )
      & has_conj1(Z_0057_5001,R_0057_0011__WAS_R_0057_0012__DISHEARTENING)
      & r_0057_0011__was_r_0057_0012__disheartening(R_0057_0011__WAS_R_0057_0012__DISHEARTENING)
      & has_arg0(R_0057_0011__WAS_R_0057_0012__DISHEARTENING,R_0057_0006__THE_R_0057_0007__NEWS)
      & r_0057_0006__the_r_0057_0007__news(R_0057_0006__THE_R_0057_0007__NEWS)
      & has_r_0057_0008__of(R_0057_0006__THE_R_0057_0007__NEWS,R_0057_0009__THE_R_0057_0010__WAR)
      & has_r_0057_0001__At__nim(R_0057_0011__WAS_R_0057_0012__DISHEARTENING,R_0057_0002__THE_R_0057_0004__TIME)
      & r_0057_0002__the_r_0057_0004__time(R_0057_0002__THE_R_0057_0004__TIME)
      & has_attrib(R_0057_0002__THE_R_0057_0004__TIME,R_0057_0003__SAME) ) ).