TSPC 16_a_lob

16_a_lob_g01
It seems obvious that divided forces were dissipating the advantages of a ring of bridge-heads which included Calais, Cherbourg, Brest, Bordeaux and Bayonne, and that there was no hope of final victory without a large-scale and concentrated invasion.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (VBP;_La_ seems;{seem})
          (ADJP-PRD (ADJ obvious;{obvious}))
          (CP-THT-NSBJ (IP-SUB (ILYR (ILYR (C that;{that})
                                           (NP-SBJ (ADJP (ADJ divided;{divided}))
                                                   (NS forces;{force}))
                                           (BED;_cat_Vg_ were;{be})
                                           (IP-PPL-CAT (VAG;_Tn_ dissipating;{dissipate})
                                                       (NP-OB1 (D the;{the})
                                                               (NS advantages;{advantage})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (D a;{a})
                                                                       (N ring;{ring})
                                                                       (PP (P-ROLE of;{of})
                                                                           (NP (NS bridge_<hyphen>_heads;{bridge_heads})))
                                                                       (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                               (VBD;_Tn_ included;{include})
                                                                               (NP-OB1 (NLYR (NLYR (NPR Calais;{Calais}))
                                                                                             (PUNC ,)
                                                                                             (CONJP (NLYR (NPR Cherbourg;{Cherbourg})))
                                                                                             (PUNC ,)
                                                                                             (CONJP (NLYR (N Brest;{brest})))
                                                                                             (PUNC ,)
                                                                                             (CONJP (NLYR (NPR Bordeaux;{Bordeaux})))
                                                                                             (CONJP (CONJ and;{and})
                                                                                                    (NLYR (NPR Bayonne;{Bayonne})))))))))))
                                     (PUNC ,)
                                     (CONJP (CONJ and;{and})
                                            (ILYR (C that;{that})
                                                  (EX there;{there})
                                                  (BED;_ex_V_ was;{be})
                                                  (NP-ESBJ (Q no;{no})
                                                           (N hope;{hope})
                                                           (PP (P-ROLE of;{of})
                                                               (NP (ADJP (ADJ final;{final}))
                                                                   (N victory;{victory}))))
                                                  (PP-NIM (P-ROLE without;{without})
                                                          (NP (D a;{a})
                                                              (ADJP (AJLYR (AJLYR (ADJ large_<hyphen>_scale;{large_scale}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (AJLYR (ADJ concentrated;{concentrated})))))
                                                              (N invasion;{invasion}))))))))
          (PUNC .))
  (ID 16_a_lob_g01))

arc(r_0016_0002__seems,r_0016_0003__obvious,prd).
arc(r_0016_0002__seems,r_0016_0028__and,arg0).
arc(r_0016_0006__forces,r_0016_0005__divided,attrib).
arc(r_0016_0007__were,r_0016_0008__dissipating,scope).
arc(r_0016_0008__dissipating,r_0016_0006__forces,arg0).
arc(r_0016_0008__dissipating,r_0016_0009__the_r_0016_0010__advantages,arg1).
arc(r_0016_0009__the_r_0016_0010__advantages,r_0016_0012__a_r_0016_0013__ring,r_0016_0011__of).
arc(r_0016_0012__a_r_0016_0013__ring,r_0016_0015__bridge__hyphen__heads,r_0016_0014__of).
arc(r_0016_0017__included,r_0016_0012__a_r_0016_0013__ring,arg0).
arc(r_0016_0017__included,r_0016_0025__and,arg1).
arc(r_0016_0025__and,r_0016_0018__Calais,conj1).
arc(r_0016_0025__and,r_0016_0020__Cherbourg,conj2).
arc(r_0016_0025__and,r_0016_0022__Brest,conj3).
arc(r_0016_0025__and,r_0016_0024__Bordeaux,conj4).
arc(r_0016_0025__and,r_0016_0026__Bayonne,conj5).
arc(r_0016_0028__and,r_0016_0007__were,conj1).
arc(r_0016_0028__and,r_0016_0032__no__quant,conj2).
arc(r_0016_0031__was,r_0016_0033__hope,arg0).
arc(r_0016_0031__was,r_0016_0038__a_r_0016_0042__invasion,r_0016_0037__without__nim).
arc(r_0016_0032__no__quant,r_0016_0031__was,scope).
arc(r_0016_0032__no__quant,r_0016_0033__hope,restriction).
arc(r_0016_0033__hope,r_0016_0036__victory,r_0016_0034__of).
arc(r_0016_0036__victory,r_0016_0035__final,attrib).
arc(r_0016_0038__a_r_0016_0042__invasion,r_0016_0040__and,attrib).
arc(r_0016_0040__and,r_0016_0039__large__hyphen__scale,conj1).
arc(r_0016_0040__and,r_0016_0041__concentrated,conj2).

fof(formula,axiom,
    ? [R_0016_0003__OBVIOUS,R_0016_0005__DIVIDED,R_0016_0006__FORCES,R_0016_0015__BRIDGE__HYPHEN__HEADS,R_0016_0012__A_R_0016_0013__RING,R_0016_0009__THE_R_0016_0010__ADVANTAGES,R_0016_0007__WERE_R_0016_0008__DISSIPATING,R_0016_0028__AND,R_0016_0002__SEEMS,R_0016_0018__CALAIS,R_0016_0020__CHERBOURG,R_0016_0022__BREST,R_0016_0024__BORDEAUX,R_0016_0026__BAYONNE,R_0016_0025__AND,R_0016_0017__INCLUDED] :
      ( r_0016_0003__obvious(R_0016_0003__OBVIOUS)
      & r_0016_0005__divided(R_0016_0005__DIVIDED)
      & r_0016_0015__bridge__hyphen__heads(R_0016_0015__BRIDGE__HYPHEN__HEADS)
      & r_0016_0018__Calais(R_0016_0018__CALAIS)
      & r_0016_0020__Cherbourg(R_0016_0020__CHERBOURG)
      & r_0016_0022__Brest(R_0016_0022__BREST)
      & r_0016_0024__Bordeaux(R_0016_0024__BORDEAUX)
      & r_0016_0026__Bayonne(R_0016_0026__BAYONNE)
      & r_0016_0017__included(R_0016_0017__INCLUDED)
      & has_arg1(R_0016_0017__INCLUDED,R_0016_0025__AND)
      & r_0016_0025__and(R_0016_0025__AND)
      & has_conj5(R_0016_0025__AND,R_0016_0026__BAYONNE)
      & has_conj4(R_0016_0025__AND,R_0016_0024__BORDEAUX)
      & has_conj3(R_0016_0025__AND,R_0016_0022__BREST)
      & has_conj2(R_0016_0025__AND,R_0016_0020__CHERBOURG)
      & has_conj1(R_0016_0025__AND,R_0016_0018__CALAIS)
      & has_arg0(R_0016_0017__INCLUDED,R_0016_0012__A_R_0016_0013__RING)
      & r_0016_0012__a_r_0016_0013__ring(R_0016_0012__A_R_0016_0013__RING)
      & has_r_0016_0014__of(R_0016_0012__A_R_0016_0013__RING,R_0016_0015__BRIDGE__HYPHEN__HEADS)
      & r_0016_0002__seems(R_0016_0002__SEEMS)
      & has_arg0(R_0016_0002__SEEMS,R_0016_0028__AND)
      & r_0016_0028__and(R_0016_0028__AND)
      & ! [R_0016_0033__HOPE,R_0016_0035__FINAL,R_0016_0036__VICTORY] :
          ( ( r_0016_0035__final(R_0016_0035__FINAL)
            & r_0016_0033__hope(R_0016_0033__HOPE)
            & has_r_0016_0034__of(R_0016_0033__HOPE,R_0016_0036__VICTORY)
            & r_0016_0036__victory(R_0016_0036__VICTORY)
            & has_attrib(R_0016_0036__VICTORY,R_0016_0035__FINAL) )
         => ? [R_0016_0039__LARGE__HYPHEN__SCALE,R_0016_0041__CONCENTRATED,R_0016_0040__AND,R_0016_0038__A_R_0016_0042__INVASION,R_0016_0031__WAS] :
              ( r_0016_0039__large__hyphen__scale(R_0016_0039__LARGE__HYPHEN__SCALE)
              & r_0016_0041__concentrated(R_0016_0041__CONCENTRATED)
              & r_0016_0031__was(R_0016_0031__WAS)
              & has_r_0016_0037__without__nim(R_0016_0031__WAS,R_0016_0038__A_R_0016_0042__INVASION)
              & r_0016_0038__a_r_0016_0042__invasion(R_0016_0038__A_R_0016_0042__INVASION)
              & has_attrib(R_0016_0038__A_R_0016_0042__INVASION,R_0016_0040__AND)
              & r_0016_0040__and(R_0016_0040__AND)
              & has_conj2(R_0016_0040__AND,R_0016_0041__CONCENTRATED)
              & has_conj1(R_0016_0040__AND,R_0016_0039__LARGE__HYPHEN__SCALE)
              & has_arg0(R_0016_0031__WAS,R_0016_0033__HOPE) ) )
      & has_conj1(R_0016_0028__AND,R_0016_0007__WERE_R_0016_0008__DISSIPATING)
      & r_0016_0007__were_r_0016_0008__dissipating(R_0016_0007__WERE_R_0016_0008__DISSIPATING)
      & has_arg1(R_0016_0007__WERE_R_0016_0008__DISSIPATING,R_0016_0009__THE_R_0016_0010__ADVANTAGES)
      & r_0016_0009__the_r_0016_0010__advantages(R_0016_0009__THE_R_0016_0010__ADVANTAGES)
      & has_r_0016_0011__of(R_0016_0009__THE_R_0016_0010__ADVANTAGES,R_0016_0012__A_R_0016_0013__RING)
      & has_arg0(R_0016_0007__WERE_R_0016_0008__DISSIPATING,R_0016_0006__FORCES)
      & r_0016_0006__forces(R_0016_0006__FORCES)
      & has_attrib(R_0016_0006__FORCES,R_0016_0005__DIVIDED)
      & has_prd(R_0016_0002__SEEMS,R_0016_0003__OBVIOUS) ) ).