TSPC 56_a_lob

56_a_lob_g01
The city merchants were jealous of foreign merchants who could tempt court and baronage with rarer luxuries than those within the scope of English traders, and whose prices could not be controlled in the interests of the city rings.

arc(r_0056_0004__were, r_0056_0001__The_r_0056_0002__city_r_0056_0003__merchants, arg0).
arc(r_0056_0004__were, r_0056_0005__jealous, prd).
arc(r_0056_0005__jealous, r_0056_0008__merchants, r_0056_0006__of).
arc(r_0056_0008__merchants, r_0056_0007__foreign, attrib18).
arc(r_0056_0010__could, r_0056_0011__tempt, scope).
arc(r_0056_0011__tempt, r_0056_0008__merchants, arg0).
arc(r_0056_0011__tempt, r_0056_0013__and, arg1).
arc(r_0056_0011__tempt, r_0056_0017__luxuries, r_0056_0015__with_nim48).
arc(r_0056_0013__and, r_0056_0012__court, conj1).
arc(r_0056_0013__and, r_0056_0014__baronage, conj2).
arc(r_0056_0017__luxuries, r_0056_0016__rarer, attrib49).
arc(r_0056_0017__luxuries, r_0056_0019__those, r_0056_0018__than).
arc(r_0056_0019__those, r_0056_0021__the_r_0056_0022__scope, r_0056_0020__within).
arc(r_0056_0021__the_r_0056_0022__scope, r_0056_0025__traders, r_0056_0023__of).
arc(r_0056_0025__traders, r_0056_0024__English, attrib72).
arc(r_0056_0027__and, r_0056_0010__could, conj1).
arc(r_0056_0027__and, r_0056_0030__could_r_0056_0031__not, conj2).
arc(r_0056_0029__prices, r_0056_0008__merchants, gen).
arc(r_0056_0030__could_r_0056_0031__not, r_0056_0032__be, scope).
arc(r_0056_0032__be, r_0056_0033__controlled, scope).
arc(r_0056_0033__controlled, r_0056_0029__prices, arg1).
arc(r_0056_0033__controlled, r_0056_0035__the_r_0056_0036__interests, r_0056_0034__in_nim104).
arc(r_0056_0033__controlled, z_000_56_a_lob_g01_97, arg0).
arc(r_0056_0035__the_r_0056_0036__interests, r_0056_0038__the_r_0056_0039__city_r_0056_0040__rings, r_0056_0037__of).

fof(formula,axiom,
    ? [R_0056_0001__THE_R_0056_0002__CITY_R_0056_0003__MERCHANTS,R_0056_0007__FOREIGN,R_0056_0008__MERCHANTS,R_0056_0005__JEALOUS,R_0056_0004__WERE,R_0056_0012__COURT,R_0056_0014__BARONAGE,R_0056_0013__AND,R_0056_0016__RARER,R_0056_0024__ENGLISH,R_0056_0025__TRADERS,R_0056_0021__THE_R_0056_0022__SCOPE,R_0056_0019__THOSE,R_0056_0017__LUXURIES,R_0056_0010__COULD_R_0056_0011__TEMPT,R_0056_0029__PRICES,R_0056_0038__THE_R_0056_0039__CITY_R_0056_0040__RINGS,R_0056_0035__THE_R_0056_0036__INTERESTS,Z_000_56_A_LOB_G01_97,R_0056_0030__COULD_R_0056_0031__NOT_R_0056_0032__BE_R_0056_0033__CONTROLLED,R_0056_0027__AND] :
      ( r_0056_0001__The_r_0056_0002__city_r_0056_0003__merchants(R_0056_0001__THE_R_0056_0002__CITY_R_0056_0003__MERCHANTS)
      & r_0056_0007__foreign(R_0056_0007__FOREIGN)
      & r_0056_0012__court(R_0056_0012__COURT)
      & r_0056_0014__baronage(R_0056_0014__BARONAGE)
      & r_0056_0016__rarer(R_0056_0016__RARER)
      & r_0056_0024__English(R_0056_0024__ENGLISH)
      & r_0056_0038__the_r_0056_0039__city_r_0056_0040__rings(R_0056_0038__THE_R_0056_0039__CITY_R_0056_0040__RINGS)
      & z_000_56_a_lob_g01_97(Z_000_56_A_LOB_G01_97)
      & r_0056_0027__and(R_0056_0027__AND)
      & has_conj2(R_0056_0027__AND,R_0056_0030__COULD_R_0056_0031__NOT_R_0056_0032__BE_R_0056_0033__CONTROLLED)
      & ~ ( has_arg0(R_0056_0030__COULD_R_0056_0031__NOT_R_0056_0032__BE_R_0056_0033__CONTROLLED,Z_000_56_A_LOB_G01_97)
          & has_r_0056_0034__in_nim104(R_0056_0030__COULD_R_0056_0031__NOT_R_0056_0032__BE_R_0056_0033__CONTROLLED,R_0056_0035__THE_R_0056_0036__INTERESTS)
          & r_0056_0035__the_r_0056_0036__interests(R_0056_0035__THE_R_0056_0036__INTERESTS)
          & has_r_0056_0037__of(R_0056_0035__THE_R_0056_0036__INTERESTS,R_0056_0038__THE_R_0056_0039__CITY_R_0056_0040__RINGS)
          & has_arg1(R_0056_0030__COULD_R_0056_0031__NOT_R_0056_0032__BE_R_0056_0033__CONTROLLED,R_0056_0029__PRICES)
          & r_0056_0029__prices(R_0056_0029__PRICES)
          & has_gen(R_0056_0029__PRICES,R_0056_0008__MERCHANTS)
          & r_0056_0008__merchants(R_0056_0008__MERCHANTS)
          & has_attrib18(R_0056_0008__MERCHANTS,R_0056_0007__FOREIGN) )
      & has_conj1(R_0056_0027__AND,R_0056_0010__COULD_R_0056_0011__TEMPT)
      & r_0056_0010__could_r_0056_0011__tempt(R_0056_0010__COULD_R_0056_0011__TEMPT)
      & has_r_0056_0015__with_nim48(R_0056_0010__COULD_R_0056_0011__TEMPT,R_0056_0017__LUXURIES)
      & r_0056_0017__luxuries(R_0056_0017__LUXURIES)
      & has_r_0056_0018__than(R_0056_0017__LUXURIES,R_0056_0019__THOSE)
      & r_0056_0019__those(R_0056_0019__THOSE)
      & has_r_0056_0020__within(R_0056_0019__THOSE,R_0056_0021__THE_R_0056_0022__SCOPE)
      & r_0056_0021__the_r_0056_0022__scope(R_0056_0021__THE_R_0056_0022__SCOPE)
      & has_r_0056_0023__of(R_0056_0021__THE_R_0056_0022__SCOPE,R_0056_0025__TRADERS)
      & r_0056_0025__traders(R_0056_0025__TRADERS)
      & has_attrib72(R_0056_0025__TRADERS,R_0056_0024__ENGLISH)
      & has_attrib49(R_0056_0017__LUXURIES,R_0056_0016__RARER)
      & has_arg1(R_0056_0010__COULD_R_0056_0011__TEMPT,R_0056_0013__AND)
      & r_0056_0013__and(R_0056_0013__AND)
      & has_conj2(R_0056_0013__AND,R_0056_0014__BARONAGE)
      & has_conj1(R_0056_0013__AND,R_0056_0012__COURT)
      & has_arg0(R_0056_0010__COULD_R_0056_0011__TEMPT,R_0056_0008__MERCHANTS)
      & r_0056_0004__were(R_0056_0004__WERE)
      & has_prd(R_0056_0004__WERE,R_0056_0005__JEALOUS)
      & r_0056_0005__jealous(R_0056_0005__JEALOUS)
      & has_r_0056_0006__of(R_0056_0005__JEALOUS,R_0056_0008__MERCHANTS)
      & has_arg0(R_0056_0004__WERE,R_0056_0001__THE_R_0056_0002__CITY_R_0056_0003__MERCHANTS) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N city;{city})
                  (NS merchants;{merchant}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADJ jealous;{jealous})
                    (PP (P-ROLE of;{of})
                        (NP (ADJP (ADJ foreign;{foreign}))
                            (NS merchants;{merchant})
                            (IP-REL (ILYR (ILYR (NP-SBJ (RPRO who;{who}))
                                                (MD;_cat_Vi_ could;{can})
                                                (IP-INF-CAT (VB;__ tempt;{tempt})
                                                            (NP-OB1 (NLYR (NLYR (N court;{court}))
                                                                          (CONJP (CONJ and;{and})
                                                                                 (NLYR (N baronage;{baronage})))))
                                                            (PP-NIM (P-ROLE with;{with})
                                                                    (NP (ADJP (ADJR rarer;{rare}))
                                                                        (NS luxuries;{luxury})
                                                                        (PP (P-ROLE than;{than})
                                                                            (NP (D;_nphd_ those;{those})
                                                                                (PP (P-ROLE within;{within})
                                                                                    (NP (D the;{the})
                                                                                        (N scope;{scope})
                                                                                        (PP (P-ROLE of;{of})
                                                                                            (NP (ADJP (ADJ English;{english}))
                                                                                                (NS traders;{trader})))))))))))
                                          (PUNC ,)
                                          (CONJP (CONJ and;{and})
                                                 (ILYR (NP-SBJ (NP-GEN (RPRO;_genm_ whose;{whose}))
                                                               (NS prices;{price}))
                                                       (MD;_cat_Vi_ could;{can})
                                                       (NEG not;{not})
                                                       (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                   (IP-PPL-CAT (NP-LGS *)
                                                                               (VVN;__ controlled;{control})
                                                                               (PP-NIM (P-ROLE in;{in})
                                                                                       (NP (D the;{the})
                                                                                           (NS interests;{interest})
                                                                                           (PP (P-ROLE of;{of})
                                                                                               (NP (D the;{the})
                                                                                                   (N city;{city})
                                                                                                   (NS rings;{ring}))))))))))))))
          (PUNC .))
  (ID 56_a_lob_g01))