TSPC 14_a_lob

14_a_lob_g01
It seems obvious that, though the longbows of yeomen could pierce the plate and mail of French knights, a brilliant battle was no substitute for a sound policy, and that, if archers had no target, campaigns became mere marauding route marches.

( (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})
                                           (PUNC ,)
                                           (PP-SCON (P-CONN though;{though})
                                                    (IP-ADV (NP-SBJ (D the;{the})
                                                                    (NS longbows;{longbow})
                                                                    (PP (P-ROLE of;{of})
                                                                        (NP (N yeomen;{yeoman}))))
                                                            (MD;_cat_Vi_ could;{can})
                                                            (IP-INF-CAT (VB;_Tn_ pierce;{pierce})
                                                                        (NP-OB1 (D the;{the})
                                                                                (NLYR (NLYR (N plate;{plate}))
                                                                                      (CONJP (CONJ and;{and})
                                                                                             (NLYR (N mail;{mail}))))
                                                                                (PP (P-ROLE of;{of})
                                                                                    (NP (ADJP (ADJ French;{french}))
                                                                                        (NS knights;{knight})))))))
                                           (PUNC ,)
                                           (NP-SBJ (D a;{a})
                                                   (ADJP (ADJ brilliant;{brilliant}))
                                                   (N battle;{battle}))
                                           (BED;_Ln_ was;{be})
                                           (NP-PRD (Q no;{no})
                                                   (N substitute;{substitute})
                                                   (PP (P-ROLE for;{for})
                                                       (NP (D a;{a})
                                                           (ADJP (ADJ sound;{sound}))
                                                           (N policy;{policy})))))
                                     (PUNC ,)
                                     (CONJP (CONJ and;{and})
                                            (ILYR (C that;{that})
                                                  (PUNC ,)
                                                  (PP-SCON (P-CONN if;{if})
                                                           (IP-ADV (NP-SBJ (NS archers;{archer}))
                                                                   (HVD;_Tn_ had;{have})
                                                                   (NP-OB1 (Q no;{no})
                                                                           (N target;{target}))))
                                                  (PUNC ,)
                                                  (NP-SBJ (NS campaigns;{campaign}))
                                                  (VBD;_La_ became;{become})
                                                  (ADJP-PRD (ADJ mere;{mere})
                                                            (IP-PPL (VAG;_Tn_ marauding;{maraud})
                                                                    (NP-OB1 (N route;{route})
                                                                            (NS marches;{march})))))))))
          (PUNC .))
  (ID 14_a_lob_g01))

arc(r_0014_0002__seems,r_0014_0003__obvious,prd).
arc(r_0014_0002__seems,r_0014_0032__and,arg0).
arc(r_0014_0006__though,r_0014_0011__could,restriction).
arc(r_0014_0006__though,r_0014_0025__no__quant,scope).
arc(r_0014_0007__the_r_0014_0008__longbows,r_0014_0010__yeomen,r_0014_0009__of).
arc(r_0014_0011__could,r_0014_0012__pierce,scope).
arc(r_0014_0012__pierce,r_0014_0007__the_r_0014_0008__longbows,arg0).
arc(r_0014_0012__pierce,r_0014_0013__the_r_0014_0014__plate_r_0014_0015__and_r_0014_0016__mail,arg1).
arc(r_0014_0013__the_r_0014_0014__plate_r_0014_0015__and_r_0014_0016__mail,r_0014_0019__knights,r_0014_0017__of).
arc(r_0014_0019__knights,r_0014_0018__French,attrib).
arc(r_0014_0021__a_r_0014_0023__battle,r_0014_0022__brilliant,attrib).
arc(r_0014_0024__was,r_0014_0021__a_r_0014_0023__battle,arg0).
arc(r_0014_0024__was,r_0014_0026__substitute,prd).
arc(r_0014_0025__no__quant,r_0014_0024__was,scope).
arc(r_0014_0025__no__quant,r_0014_0026__substitute,restriction).
arc(r_0014_0026__substitute,r_0014_0028__a_r_0014_0030__policy,r_0014_0027__for).
arc(r_0014_0028__a_r_0014_0030__policy,r_0014_0029__sound,attrib).
arc(r_0014_0032__and,r_0014_0006__though,conj1).
arc(r_0014_0032__and,r_0014_0035__if,conj2).
arc(r_0014_0035__if,r_0014_0038__no__quant,restriction).
arc(r_0014_0035__if,r_0014_0042__became,scope).
arc(r_0014_0037__had,r_0014_0036__archers,arg0).
arc(r_0014_0037__had,r_0014_0039__target,arg1).
arc(r_0014_0038__no__quant,r_0014_0037__had,scope).
arc(r_0014_0038__no__quant,r_0014_0039__target,restriction).
arc(r_0014_0042__became,r_0014_0041__campaigns,arg0).
arc(r_0014_0042__became,r_0014_0043__mere,prd).
arc(r_0014_0044__marauding,r_0014_0045__route_r_0014_0046__marches,arg1).
arc(r_0014_0044__marauding,z_0014_5027,arg0).

fof(formula,axiom,
    ? [R_0014_0003__OBVIOUS,R_0014_0010__YEOMEN,R_0014_0007__THE_R_0014_0008__LONGBOWS,R_0014_0018__FRENCH,R_0014_0019__KNIGHTS,R_0014_0013__THE_R_0014_0014__PLATE_R_0014_0015__AND_R_0014_0016__MAIL,R_0014_0011__COULD_R_0014_0012__PIERCE,R_0014_0006__THOUGH,R_0014_0032__AND,R_0014_0002__SEEMS,R_0014_0045__ROUTE_R_0014_0046__MARCHES,Z_0014_5027,R_0014_0044__MARAUDING] :
      ( r_0014_0003__obvious(R_0014_0003__OBVIOUS)
      & r_0014_0010__yeomen(R_0014_0010__YEOMEN)
      & r_0014_0018__French(R_0014_0018__FRENCH)
      & r_0014_0045__route_r_0014_0046__marches(R_0014_0045__ROUTE_R_0014_0046__MARCHES)
      & z_0014_5027(Z_0014_5027)
      & r_0014_0044__marauding(R_0014_0044__MARAUDING)
      & has_arg0(R_0014_0044__MARAUDING,Z_0014_5027)
      & has_arg1(R_0014_0044__MARAUDING,R_0014_0045__ROUTE_R_0014_0046__MARCHES)
      & r_0014_0002__seems(R_0014_0002__SEEMS)
      & has_arg0(R_0014_0002__SEEMS,R_0014_0032__AND)
      & r_0014_0032__and(R_0014_0032__AND)
      & ! [R_0014_0038__NO__QUANT] :
          ( ! [R_0014_0039__TARGET] :
              ( r_0014_0039__target(R_0014_0039__TARGET)
             => ? [R_0014_0036__ARCHERS,R_0014_0037__HAD] :
                  ( r_0014_0036__archers(R_0014_0036__ARCHERS)
                  & r_0014_0037__had(R_0014_0037__HAD)
                  & has_arg1(R_0014_0037__HAD,R_0014_0039__TARGET)
                  & has_arg0(R_0014_0037__HAD,R_0014_0036__ARCHERS) ) )
         => ? [R_0014_0041__CAMPAIGNS,R_0014_0043__MERE,R_0014_0042__BECAME] :
              ( r_0014_0041__campaigns(R_0014_0041__CAMPAIGNS)
              & r_0014_0043__mere(R_0014_0043__MERE)
              & r_0014_0042__became(R_0014_0042__BECAME)
              & has_prd(R_0014_0042__BECAME,R_0014_0043__MERE)
              & has_arg0(R_0014_0042__BECAME,R_0014_0041__CAMPAIGNS) ) )
      & has_conj1(R_0014_0032__AND,R_0014_0006__THOUGH)
      & r_0014_0006__though(R_0014_0006__THOUGH)
      & ! [R_0014_0026__SUBSTITUTE,R_0014_0029__SOUND,R_0014_0028__A_R_0014_0030__POLICY] :
          ( ( r_0014_0029__sound(R_0014_0029__SOUND)
            & r_0014_0026__substitute(R_0014_0026__SUBSTITUTE)
            & has_r_0014_0027__for(R_0014_0026__SUBSTITUTE,R_0014_0028__A_R_0014_0030__POLICY)
            & r_0014_0028__a_r_0014_0030__policy(R_0014_0028__A_R_0014_0030__POLICY)
            & has_attrib(R_0014_0028__A_R_0014_0030__POLICY,R_0014_0029__SOUND) )
         => ? [R_0014_0022__BRILLIANT,R_0014_0021__A_R_0014_0023__BATTLE,R_0014_0024__WAS] :
              ( r_0014_0022__brilliant(R_0014_0022__BRILLIANT)
              & r_0014_0024__was(R_0014_0024__WAS)
              & has_prd(R_0014_0024__WAS,R_0014_0026__SUBSTITUTE)
              & has_arg0(R_0014_0024__WAS,R_0014_0021__A_R_0014_0023__BATTLE)
              & r_0014_0021__a_r_0014_0023__battle(R_0014_0021__A_R_0014_0023__BATTLE)
              & has_attrib(R_0014_0021__A_R_0014_0023__BATTLE,R_0014_0022__BRILLIANT) ) )
      & has_conj1(R_0014_0006__THOUGH,R_0014_0011__COULD_R_0014_0012__PIERCE)
      & r_0014_0011__could_r_0014_0012__pierce(R_0014_0011__COULD_R_0014_0012__PIERCE)
      & has_arg1(R_0014_0011__COULD_R_0014_0012__PIERCE,R_0014_0013__THE_R_0014_0014__PLATE_R_0014_0015__AND_R_0014_0016__MAIL)
      & r_0014_0013__the_r_0014_0014__plate_r_0014_0015__and_r_0014_0016__mail(R_0014_0013__THE_R_0014_0014__PLATE_R_0014_0015__AND_R_0014_0016__MAIL)
      & has_r_0014_0017__of(R_0014_0013__THE_R_0014_0014__PLATE_R_0014_0015__AND_R_0014_0016__MAIL,R_0014_0019__KNIGHTS)
      & r_0014_0019__knights(R_0014_0019__KNIGHTS)
      & has_attrib(R_0014_0019__KNIGHTS,R_0014_0018__FRENCH)
      & has_arg0(R_0014_0011__COULD_R_0014_0012__PIERCE,R_0014_0007__THE_R_0014_0008__LONGBOWS)
      & r_0014_0007__the_r_0014_0008__longbows(R_0014_0007__THE_R_0014_0008__LONGBOWS)
      & has_r_0014_0009__of(R_0014_0007__THE_R_0014_0008__LONGBOWS,R_0014_0010__YEOMEN)
      & has_prd(R_0014_0002__SEEMS,R_0014_0003__OBVIOUS) ) ).