TSPC 3_a_lob

3_a_lob_g01
John Philpot, one of that new class of merchant financiers which the city of London was now producing, fitted, equipped and manned a fleet from his own resources, and captured the young Mercer in a brilliant Channel fight.

( (IP-MAT (NP-SBJ;{PHILPOT} (NPR John;{John})
                            (NPR Philpot;{Philpot})
                            (PUNC ,)
                            (PRN (NP (NUM one;{one})
                                     (PP (P-ROLE of;{of})
                                         (NP (D that;{that})
                                             (ADJP (ADJ new;{new}))
                                             (N class;{class})
                                             (PP (P-ROLE of;{of})
                                                 (NP (N merchant;{merchant})
                                                     (NS financiers;{financier})))
                                             (IP-REL (NP-142 (RPRO which;{which}))
                                                     (NP-SBJ (D the;{the})
                                                             (N city;{city})
                                                             (PP (P-ROLE of;{of})
                                                                 (NP (NPR London;{London}))))
                                                     (BED;_cat_Vg_ was;{be})
                                                     (IP-PPL-CAT (NP-OB1 *ICH*-142)
                                                                 (ADVP-NIM (ADV now;{now}))
                                                                 (VAG;_Tn_ producing;{produce}))))))))
          (PUNC ,)
          (ILYR (ILYR (ILYR (ILYR (VBD;_Tn_ fitted;{fit}))
                            (PUNC ,)
                            (CONJP (ILYR (VBD;_Tn_ equipped;{equip})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VBD;_Tn_ manned;{man}))))
                      (NP-OB1 (D a;{a})
                              (N fleet;{fleet}))
                      (PP-NIM (P-ROLE from;{from})
                              (NP (NP-GEN (NP-GEN;{PHILPOT} (PRO;_genm_ his;{his}))
                                          (ADJP (ADJ own;{own})))
                                  (NS resources;{resource}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR;{CAPTURE} (VBD;_Tn_ captured;{capture})
                                       (NP-OB1;{YOUNG_MERCER} (D the;{the})
                                                              (ADJP (ADJ young;{young}))
                                                              (NPR Mercer;{Mercer}))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D a;{a})
                                                   (ADJP (ADJ brilliant;{brilliant}))
                                                   (N Channel;{channel})
                                                   (N fight;{fight}))))))
          (PUNC .))
  (ID 3_a_lob_g01))

arc(r_0003_0004__one,r_0003_0006__that_r_0003_0008__class,r_0003_0005__of).
arc(r_0003_0006__that_r_0003_0008__class,r_0003_0007__new,attrib).
arc(r_0003_0006__that_r_0003_0008__class,r_0003_0010__merchant_r_0003_0011__financiers,r_0003_0009__of).
arc(r_0003_0013__the_r_0003_0014__city,r_0003_0016__London,r_0003_0015__of).
arc(r_0003_0017__was,r_0003_0019__producing,scope).
arc(r_0003_0019__producing,r_0003_0006__that_r_0003_0008__class,arg1).
arc(r_0003_0019__producing,r_0003_0013__the_r_0003_0014__city,arg0).
arc(r_0003_0019__producing,r_0003_0018__now,nim).
arc(r_0003_0021__fitted,r_0003_0001__John_r_0003_0002__Philpot,arg0).
arc(r_0003_0021__fitted,r_0003_0026__a_r_0003_0027__fleet,arg1).
arc(r_0003_0021__fitted,r_0003_0031__resources,r_0003_0028__from__nim).
arc(r_0003_0023__equipped,r_0003_0001__John_r_0003_0002__Philpot,arg0).
arc(r_0003_0023__equipped,r_0003_0026__a_r_0003_0027__fleet,arg1).
arc(r_0003_0023__equipped,r_0003_0031__resources,r_0003_0028__from__nim).
arc(r_0003_0024__and,r_0003_0021__fitted,conj1).
arc(r_0003_0024__and,r_0003_0023__equipped,conj2).
arc(r_0003_0024__and,r_0003_0025__manned,conj3).
arc(r_0003_0025__manned,r_0003_0001__John_r_0003_0002__Philpot,arg0).
arc(r_0003_0025__manned,r_0003_0026__a_r_0003_0027__fleet,arg1).
arc(r_0003_0025__manned,r_0003_0031__resources,r_0003_0028__from__nim).
arc(r_0003_0031__resources,z_0003_5017,gen).
arc(r_0003_0033__and,r_0003_0024__and,conj1).
arc(r_0003_0033__and,r_0003_0034__captured,conj2).
arc(r_0003_0034__captured,r_0003_0001__John_r_0003_0002__Philpot,arg0).
arc(r_0003_0034__captured,r_0003_0035__the_r_0003_0037__Mercer,arg1).
arc(r_0003_0034__captured,r_0003_0039__a_r_0003_0041__Channel_r_0003_0042__fight,r_0003_0038__in__nim).
arc(r_0003_0035__the_r_0003_0037__Mercer,r_0003_0036__young,attrib).
arc(r_0003_0039__a_r_0003_0041__Channel_r_0003_0042__fight,r_0003_0040__brilliant,attrib).
arc(z_0003_5010,r_0003_0001__John_r_0003_0002__Philpot,arg0).
arc(z_0003_5010,r_0003_0004__one,prd).
arc(z_0003_5017,r_0003_0001__John_r_0003_0002__Philpot,gen).
arc(z_0003_5017,r_0003_0030__own,attrib).

fof(formula,axiom,
    ? [R_0003_0007__NEW,R_0003_0010__MERCHANT_R_0003_0011__FINANCIERS,R_0003_0006__THAT_R_0003_0008__CLASS,R_0003_0016__LONDON,R_0003_0013__THE_R_0003_0014__CITY,R_0003_0018__NOW,R_0003_0017__WAS_R_0003_0019__PRODUCING,R_0003_0001__JOHN_R_0003_0002__PHILPOT,R_0003_0026__A_R_0003_0027__FLEET,R_0003_0030__OWN,Z_0003_5017,R_0003_0031__RESOURCES,R_0003_0021__FITTED,R_0003_0023__EQUIPPED,R_0003_0025__MANNED,R_0003_0024__AND,R_0003_0036__YOUNG,R_0003_0035__THE_R_0003_0037__MERCER,R_0003_0040__BRILLIANT,R_0003_0039__A_R_0003_0041__CHANNEL_R_0003_0042__FIGHT,R_0003_0034__CAPTURED,R_0003_0033__AND,R_0003_0004__ONE,Z_0003_5010] :
      ( r_0003_0001__John_r_0003_0002__Philpot(R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & r_0003_0007__new(R_0003_0007__NEW)
      & r_0003_0010__merchant_r_0003_0011__financiers(R_0003_0010__MERCHANT_R_0003_0011__FINANCIERS)
      & r_0003_0016__London(R_0003_0016__LONDON)
      & r_0003_0018__now(R_0003_0018__NOW)
      & r_0003_0026__a_r_0003_0027__fleet(R_0003_0026__A_R_0003_0027__FLEET)
      & r_0003_0030__own(R_0003_0030__OWN)
      & r_0003_0036__young(R_0003_0036__YOUNG)
      & r_0003_0040__brilliant(R_0003_0040__BRILLIANT)
      & z_0003_5010(Z_0003_5010)
      & has_prd(Z_0003_5010,R_0003_0004__ONE)
      & r_0003_0004__one(R_0003_0004__ONE)
      & has_r_0003_0005__of(R_0003_0004__ONE,R_0003_0006__THAT_R_0003_0008__CLASS)
      & r_0003_0006__that_r_0003_0008__class(R_0003_0006__THAT_R_0003_0008__CLASS)
      & has_r_0003_0009__of(R_0003_0006__THAT_R_0003_0008__CLASS,R_0003_0010__MERCHANT_R_0003_0011__FINANCIERS)
      & has_attrib(R_0003_0006__THAT_R_0003_0008__CLASS,R_0003_0007__NEW)
      & has_arg0(Z_0003_5010,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & r_0003_0033__and(R_0003_0033__AND)
      & has_conj2(R_0003_0033__AND,R_0003_0034__CAPTURED)
      & r_0003_0034__captured(R_0003_0034__CAPTURED)
      & has_r_0003_0038__in__nim(R_0003_0034__CAPTURED,R_0003_0039__A_R_0003_0041__CHANNEL_R_0003_0042__FIGHT)
      & r_0003_0039__a_r_0003_0041__Channel_r_0003_0042__fight(R_0003_0039__A_R_0003_0041__CHANNEL_R_0003_0042__FIGHT)
      & has_attrib(R_0003_0039__A_R_0003_0041__CHANNEL_R_0003_0042__FIGHT,R_0003_0040__BRILLIANT)
      & has_arg1(R_0003_0034__CAPTURED,R_0003_0035__THE_R_0003_0037__MERCER)
      & r_0003_0035__the_r_0003_0037__Mercer(R_0003_0035__THE_R_0003_0037__MERCER)
      & has_attrib(R_0003_0035__THE_R_0003_0037__MERCER,R_0003_0036__YOUNG)
      & has_arg0(R_0003_0034__CAPTURED,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & has_conj1(R_0003_0033__AND,R_0003_0024__AND)
      & r_0003_0024__and(R_0003_0024__AND)
      & has_conj3(R_0003_0024__AND,R_0003_0025__MANNED)
      & r_0003_0025__manned(R_0003_0025__MANNED)
      & has_r_0003_0028__from__nim(R_0003_0025__MANNED,R_0003_0031__RESOURCES)
      & r_0003_0031__resources(R_0003_0031__RESOURCES)
      & has_gen(R_0003_0031__RESOURCES,Z_0003_5017)
      & z_0003_5017(Z_0003_5017)
      & has_attrib(Z_0003_5017,R_0003_0030__OWN)
      & has_gen(Z_0003_5017,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & has_arg1(R_0003_0025__MANNED,R_0003_0026__A_R_0003_0027__FLEET)
      & has_arg0(R_0003_0025__MANNED,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & has_conj2(R_0003_0024__AND,R_0003_0023__EQUIPPED)
      & r_0003_0023__equipped(R_0003_0023__EQUIPPED)
      & has_r_0003_0028__from__nim(R_0003_0023__EQUIPPED,R_0003_0031__RESOURCES)
      & has_arg1(R_0003_0023__EQUIPPED,R_0003_0026__A_R_0003_0027__FLEET)
      & has_arg0(R_0003_0023__EQUIPPED,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & has_conj1(R_0003_0024__AND,R_0003_0021__FITTED)
      & r_0003_0021__fitted(R_0003_0021__FITTED)
      & has_r_0003_0028__from__nim(R_0003_0021__FITTED,R_0003_0031__RESOURCES)
      & has_arg1(R_0003_0021__FITTED,R_0003_0026__A_R_0003_0027__FLEET)
      & has_arg0(R_0003_0021__FITTED,R_0003_0001__JOHN_R_0003_0002__PHILPOT)
      & r_0003_0017__was_r_0003_0019__producing(R_0003_0017__WAS_R_0003_0019__PRODUCING)
      & has_nim(R_0003_0017__WAS_R_0003_0019__PRODUCING,R_0003_0018__NOW)
      & has_arg0(R_0003_0017__WAS_R_0003_0019__PRODUCING,R_0003_0013__THE_R_0003_0014__CITY)
      & r_0003_0013__the_r_0003_0014__city(R_0003_0013__THE_R_0003_0014__CITY)
      & has_r_0003_0015__of(R_0003_0013__THE_R_0003_0014__CITY,R_0003_0016__LONDON)
      & has_arg1(R_0003_0017__WAS_R_0003_0019__PRODUCING,R_0003_0006__THAT_R_0003_0008__CLASS) ) ).