TSPC 4_a_lob

4_a_lob_g01
It was naturally a highly popular victory with the Londoners, but it brought heavy censure from nobles who still believed that they had a monopoly of leadership.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{CAPTURE} (PRO It;{it}))
                      (BED;_Ln_ was;{be})
                      (ADVP-NIM (ADV naturally;{naturally}))
                      (NP-PRD (D a;{a})
                              (ADJP (ADVP (ADV highly;{highly}))
                                    (ADJ popular;{popular}))
                              (N victory;{victory})
                              (PP (P-ROLE with;{with})
                                  (NP (D the;{the})
                                      (NS Londoners;{londoner})))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{CAPTURE} (PRO it;{it}))
                             (VBD;_Tn_ brought;{bring})
                             (NP-OB1 (ADJP (ADJ heavy;{heavy}))
                                     (N censure;{censure}))
                             (PP-NIM (P-ROLE from;{from})
                                     (NP;{NOBLES} (NS nobles;{noble})
                                                  (IP-REL (NP-SBJ (RPRO who;{who}))
                                                          (ADVP-NIM (ADV still;{still}))
                                                          (VBD;_Tf_ believed;{believe})
                                                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                              (NP-SBJ;{NOBLES} (PRO they;{they}))
                                                                              (HVD;_Tn_ had;{have})
                                                                              (NP-OB1 (D a;{a})
                                                                                      (N monopoly;{monopoly})
                                                                                      (PP (P-ROLE of;{of})
                                                                                          (NP (N leadership;{leadership}))))))))))))
          (PUNC .))
  (ID 4_a_lob_g01))

arc(r_0004_0002__was,r_0004_0001__It,arg0).
arc(r_0004_0002__was,r_0004_0003__naturally,nim).
arc(r_0004_0002__was,r_0004_0004__a_r_0004_0007__victory,prd).
arc(r_0004_0004__a_r_0004_0007__victory,r_0004_0006__popular,attrib).
arc(r_0004_0004__a_r_0004_0007__victory,r_0004_0009__the_r_0004_0010__Londoners,r_0004_0008__with).
arc(r_0004_0006__popular,r_0004_0005__highly,qual).
arc(r_0004_0012__but,r_0004_0002__was,conj1).
arc(r_0004_0012__but,r_0004_0014__brought,conj2).
arc(r_0004_0014__brought,r_0004_0001__It,arg0).
arc(r_0004_0014__brought,r_0004_0016__censure,arg1).
arc(r_0004_0014__brought,r_0004_0018__nobles,r_0004_0017__from__nim).
arc(r_0004_0016__censure,r_0004_0015__heavy,attrib).
arc(r_0004_0021__believed,r_0004_0018__nobles,arg0).
arc(r_0004_0021__believed,r_0004_0020__still,nim).
arc(r_0004_0021__believed,r_0004_0024__had,arg1).
arc(r_0004_0024__had,r_0004_0018__nobles,arg0).
arc(r_0004_0024__had,r_0004_0025__a_r_0004_0026__monopoly,arg1).
arc(r_0004_0025__a_r_0004_0026__monopoly,r_0004_0028__leadership,r_0004_0027__of).

fof(formula,axiom,
    ? [R_0004_0001__IT,R_0004_0003__NATURALLY,R_0004_0005__HIGHLY,R_0004_0006__POPULAR,R_0004_0009__THE_R_0004_0010__LONDONERS,R_0004_0004__A_R_0004_0007__VICTORY,R_0004_0002__WAS,R_0004_0015__HEAVY,R_0004_0016__CENSURE,R_0004_0018__NOBLES,R_0004_0014__BROUGHT,R_0004_0012__BUT,R_0004_0020__STILL,R_0004_0028__LEADERSHIP,R_0004_0025__A_R_0004_0026__MONOPOLY,R_0004_0024__HAD,R_0004_0021__BELIEVED] :
      ( r_0004_0001__It(R_0004_0001__IT)
      & r_0004_0003__naturally(R_0004_0003__NATURALLY)
      & r_0004_0005__highly(R_0004_0005__HIGHLY)
      & r_0004_0009__the_r_0004_0010__Londoners(R_0004_0009__THE_R_0004_0010__LONDONERS)
      & r_0004_0015__heavy(R_0004_0015__HEAVY)
      & r_0004_0018__nobles(R_0004_0018__NOBLES)
      & r_0004_0020__still(R_0004_0020__STILL)
      & r_0004_0028__leadership(R_0004_0028__LEADERSHIP)
      & r_0004_0021__believed(R_0004_0021__BELIEVED)
      & has_arg1(R_0004_0021__BELIEVED,R_0004_0024__HAD)
      & r_0004_0024__had(R_0004_0024__HAD)
      & has_arg1(R_0004_0024__HAD,R_0004_0025__A_R_0004_0026__MONOPOLY)
      & r_0004_0025__a_r_0004_0026__monopoly(R_0004_0025__A_R_0004_0026__MONOPOLY)
      & has_r_0004_0027__of(R_0004_0025__A_R_0004_0026__MONOPOLY,R_0004_0028__LEADERSHIP)
      & has_arg0(R_0004_0024__HAD,R_0004_0018__NOBLES)
      & has_nim(R_0004_0021__BELIEVED,R_0004_0020__STILL)
      & has_arg0(R_0004_0021__BELIEVED,R_0004_0018__NOBLES)
      & r_0004_0012__but(R_0004_0012__BUT)
      & has_conj2(R_0004_0012__BUT,R_0004_0014__BROUGHT)
      & r_0004_0014__brought(R_0004_0014__BROUGHT)
      & has_r_0004_0017__from__nim(R_0004_0014__BROUGHT,R_0004_0018__NOBLES)
      & has_arg1(R_0004_0014__BROUGHT,R_0004_0016__CENSURE)
      & r_0004_0016__censure(R_0004_0016__CENSURE)
      & has_attrib(R_0004_0016__CENSURE,R_0004_0015__HEAVY)
      & has_arg0(R_0004_0014__BROUGHT,R_0004_0001__IT)
      & has_conj1(R_0004_0012__BUT,R_0004_0002__WAS)
      & r_0004_0002__was(R_0004_0002__WAS)
      & has_prd(R_0004_0002__WAS,R_0004_0004__A_R_0004_0007__VICTORY)
      & r_0004_0004__a_r_0004_0007__victory(R_0004_0004__A_R_0004_0007__VICTORY)
      & has_r_0004_0008__with(R_0004_0004__A_R_0004_0007__VICTORY,R_0004_0009__THE_R_0004_0010__LONDONERS)
      & has_attrib(R_0004_0004__A_R_0004_0007__VICTORY,R_0004_0006__POPULAR)
      & r_0004_0006__popular(R_0004_0006__POPULAR)
      & has_qual(R_0004_0006__POPULAR,R_0004_0005__HIGHLY)
      & has_nim(R_0004_0002__WAS,R_0004_0003__NATURALLY)
      & has_arg0(R_0004_0002__WAS,R_0004_0001__IT) ) ).