TSPC 58_a_lob

58_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.

arc(r_0058_0002__the_r_0058_0004__time, r_0058_0003__same, attrib10).
arc(r_0058_0006__the_r_0058_0007__news, r_0058_0009__the_r_0058_0010__war, r_0058_0008__of).
arc(r_0058_0011__was, r_0058_0002__the_r_0058_0004__time, r_0058_0001__At_nim7).
arc(r_0058_0011__was, r_0058_0012__disheartening, scope).
arc(r_0058_0012__disheartening, r_0058_0006__the_r_0058_0007__news, arg0).
arc(r_0058_0014__a_r_0058_0016__expedition, r_0058_0015__Breton, attrib44).
arc(r_0058_0017__led, r_0058_0014__a_r_0058_0016__expedition, arg1).
arc(r_0058_0017__led, r_0058_0019__the_r_0058_0020__Earl, arg0).
arc(r_0058_0019__the_r_0058_0020__Earl, r_0058_0022__Buckingham, r_0058_0021__of).
arc(r_0058_0023__was, r_0058_0025__going, scope).
arc(r_0058_0024__not, r_0058_0023__was, keep_scope).
arc(r_0058_0025__going, r_0058_0014__a_r_0058_0016__expedition, arg0).
arc(r_0058_0025__going, r_0058_0026__well, nim73).
arc(r_0058_0028__and, r_0058_0024__not, conj1).
arc(r_0058_0028__and, r_0058_0035__was, conj2).
arc(r_0058_0029__an_r_0058_0030__expedition, r_0058_0032__Gaunt, r_0058_0031__of).
arc(r_0058_0029__an_r_0058_0030__expedition, r_0058_0034__Scotland, r_0058_0033__to).
arc(r_0058_0035__was, r_0058_0029__an_r_0058_0030__expedition, arg0).
arc(r_0058_0035__was, r_0058_0037__unpopular, prd).
arc(r_0058_0037__unpopular, r_0058_0036__as, qual102).
arc(r_0058_0037__unpopular, r_0058_0039__Gaunt, r_0058_0038__as).
arc(r_0058_0039__Gaunt, r_0058_0009__the_r_0058_0010__war, nim113).
arc(z_000_58_a_lob_g01_2, r_0058_0011__was, conj1).
arc(z_000_58_a_lob_g01_2, r_0058_0028__and, conj2).

fof(formula,axiom,
    ? [R_58_17_LED,R_58_19_THE_EARL,R_58_22_BUCKINGHAM,R_58_14_A_EXPEDITION,R_58_15_BRETON,Z_58_A_LOB_G01_2,R_58_11_WAS_DISHEARTENING,R_58_6_THE_NEWS,R_58_2_THE_TIME,R_58_3_SAME,R_58_28_AND,R_58_35_WAS,R_58_29_AN_EXPEDITION,R_58_32_GAUNT,R_58_34_SCOTLAND,R_58_37_UNPOPULAR,R_58_36_AS,R_58_39_GAUNT,R_58_9_THE_WAR] :
      ( buckingham(R_58_22_BUCKINGHAM)
      & breton(R_58_15_BRETON)
      & same(R_58_3_SAME)
      & gaunt(R_58_32_GAUNT)
      & scotland(R_58_34_SCOTLAND)
      & as(R_58_36_AS)
      & the_war(R_58_9_THE_WAR)
      & led(R_58_17_LED,R_58_19_THE_EARL,R_58_14_A_EXPEDITION)
      & the_Earl(R_58_19_THE_EARL)
      & of(R_58_19_THE_EARL,R_58_22_BUCKINGHAM)
      & a_expedition(R_58_14_A_EXPEDITION)
      & attrib44(R_58_14_A_EXPEDITION,R_58_15_BRETON)
      & z_58_a_lob_g01_2(Z_58_A_LOB_G01_2)
      & conj1(Z_58_A_LOB_G01_2,R_58_11_WAS_DISHEARTENING)
      & was_disheartening(R_58_11_WAS_DISHEARTENING,R_58_6_THE_NEWS)
      & the_news(R_58_6_THE_NEWS)
      & of(R_58_6_THE_NEWS,R_58_9_THE_WAR)
      & at_nim7(R_58_11_WAS_DISHEARTENING,R_58_2_THE_TIME)
      & the_time(R_58_2_THE_TIME)
      & attrib10(R_58_2_THE_TIME,R_58_3_SAME)
      & conj2(Z_58_A_LOB_G01_2,R_58_28_AND)
      & and(R_58_28_AND)
      & conj1(R_58_28_AND,R_58_24_NOT)
      & ~ ? [R_58_23_WAS_GOING,R_58_26_WELL] :
            ( well(R_58_26_WELL)
            & was_going(R_58_23_WAS_GOING,R_58_14_A_EXPEDITION)
            & nim73(R_58_23_WAS_GOING,R_58_26_WELL) )
      & conj2(R_58_28_AND,R_58_35_WAS)
      & was(R_58_35_WAS,R_58_29_AN_EXPEDITION,R_58_37_UNPOPULAR)
      & an_expedition(R_58_29_AN_EXPEDITION)
      & of(R_58_29_AN_EXPEDITION,R_58_32_GAUNT)
      & to(R_58_29_AN_EXPEDITION,R_58_34_SCOTLAND)
      & unpopular(R_58_37_UNPOPULAR)
      & qual102(R_58_37_UNPOPULAR,R_58_36_AS)
      & as(R_58_37_UNPOPULAR,R_58_39_GAUNT)
      & gaunt(R_58_39_GAUNT)
      & nim113(R_58_39_GAUNT,R_58_9_THE_WAR) ) ).

( (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 58_a_lob_g01))