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.

arc(r_0014_0002__seems, r_0014_0003__obvious, prd).
arc(r_0014_0002__seems, r_0014_0032__and, arg0).
arc(r_0014_0004__that_r_0014_0024__was, r_0014_0021__a_r_0014_0023__battle, arg0).
arc(r_0014_0004__that_r_0014_0024__was, r_0014_0026__substitute, prd).
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_0015__and, arg1).
arc(r_0014_0015__and, r_0014_0014__plate, conj1).
arc(r_0014_0015__and, r_0014_0016__mail, conj2).
arc(r_0014_0015__and, r_0014_0019__knights, r_0014_0017__of).
arc(r_0014_0019__knights, r_0014_0018__French, attrib55).
arc(r_0014_0021__a_r_0014_0023__battle, r_0014_0022__brilliant, attrib65).
arc(r_0014_0025__no_quant, r_0014_0004__that_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, attrib83).
arc(r_0014_0032__and, r_0014_0006__though, conj1).
arc(r_0014_0032__and, r_0014_0035__if, conj2).
arc(r_0014_0033__that_r_0014_0042__became, r_0014_0041__campaigns, arg0).
arc(r_0014_0033__that_r_0014_0042__became, r_0014_0043__mere, prd).
arc(r_0014_0035__if, r_0014_0033__that_r_0014_0042__became, scope).
arc(r_0014_0035__if, r_0014_0038__no_quant, restriction).
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_0044__marauding, r_0014_0043__mere, arg0).
arc(r_0014_0044__marauding, r_0014_0045__route_r_0014_0046__marches, arg1).

fof(formula,axiom,
    ? [R_14_2_SEEMS,R_14_32_AND,R_14_6_THOUGH,R_14_11_COULD_PIERCE,R_14_7_THE_LONGBOWS,R_14_10_YEOMEN,R_14_15_AND,R_14_14_PLATE,R_14_16_MAIL,R_14_19_KNIGHTS,R_14_18_FRENCH,R_14_3_OBVIOUS,R_14_44_MARAUDING,R_14_43_MERE,R_14_45_ROUTE_MARCHES] :
      ( yeomen(R_14_10_YEOMEN)
      & plate(R_14_14_PLATE)
      & mail(R_14_16_MAIL)
      & french(R_14_18_FRENCH)
      & obvious(R_14_3_OBVIOUS)
      & mere(R_14_43_MERE)
      & route_marches(R_14_45_ROUTE_MARCHES)
      & seems(R_14_2_SEEMS,R_14_32_AND,R_14_3_OBVIOUS)
      & ( ! [R_14_39_TARGET] :
            ( target(R_14_39_TARGET)
           => ? [R_14_37_HAD,R_14_36_ARCHERS] :
                ( archers(R_14_36_ARCHERS)
                & had(R_14_37_HAD,R_14_36_ARCHERS,R_14_39_TARGET) ) )
       => ? [R_14_33_THAT_BECAME,R_14_41_CAMPAIGNS] :
            ( campaigns(R_14_41_CAMPAIGNS)
            & that_became(R_14_33_THAT_BECAME,R_14_41_CAMPAIGNS,R_14_43_MERE) ) )
      & conj2(CONJ2)
      & and(R_14_32_AND)
      & conj1(R_14_32_AND,R_14_6_THOUGH)
      & ! [R_14_26_SUBSTITUTE,R_14_28_A_POLICY,R_14_29_SOUND] :
          ( ( sound(R_14_29_SOUND)
            & substitute(R_14_26_SUBSTITUTE)
            & for(R_14_26_SUBSTITUTE,R_14_28_A_POLICY)
            & a_policy(R_14_28_A_POLICY)
            & attrib83(R_14_28_A_POLICY,R_14_29_SOUND) )
         => ? [R_14_4_THAT_WAS,R_14_21_A_BATTLE,R_14_22_BRILLIANT] :
              ( brilliant(R_14_22_BRILLIANT)
              & that_was(R_14_4_THAT_WAS,R_14_21_A_BATTLE,R_14_26_SUBSTITUTE)
              & a_battle(R_14_21_A_BATTLE)
              & attrib65(R_14_21_A_BATTLE,R_14_22_BRILLIANT) ) )
      & conj2(CONJ2)
      & though(R_14_6_THOUGH)
      & conj1(R_14_6_THOUGH,R_14_11_COULD_PIERCE)
      & could_pierce(R_14_11_COULD_PIERCE,R_14_7_THE_LONGBOWS,R_14_15_AND)
      & the_longbows(R_14_7_THE_LONGBOWS)
      & of(R_14_7_THE_LONGBOWS,R_14_10_YEOMEN)
      & and(R_14_15_AND)
      & conj1(R_14_15_AND,R_14_14_PLATE)
      & conj2(R_14_15_AND,R_14_16_MAIL)
      & of(R_14_15_AND,R_14_19_KNIGHTS)
      & knights(R_14_19_KNIGHTS)
      & attrib55(R_14_19_KNIGHTS,R_14_18_FRENCH)
      & marauding(R_14_44_MARAUDING,R_14_43_MERE,R_14_45_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))