TSPC 10_a_lob

10_a_lob_a01
Most labour sentiment would still favour the abolition of the House of Lords, but while it remains labour has to have an adequate number of members.

( (IP-MAT (ILYR (ILYR (NP-SBJ (Q Most;{most})
                              (N labour;{labour})
                              (N sentiment;{sentiment}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (ADVP-NIM (ADV still;{still}))
                                  (VB;_Tn_ favour;{favour})
                                  (NP-OB1 (D the;{the})
                                          (N abolition;{abolition})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (NPR House;{House})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (NS Lords;{lord}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-SCON (P-CONN while;{while})
                                      (IP-ADV (NP-SBJ (PRO it;{it}))
                                              (VBP;_I_ remains;{remain})))
                             (NP-SBJ (N labour;{labour}))
                             (HVP;_cat_Vt_ has;{have})
                             (IP-INF-CAT (TO to;{to})
                                         (HV;_Tn_ have;{have})
                                         (NP-OB1 (D an;{an})
                                                 (ADJP (ADJ adequate;{adequate}))
                                                 (N number;{number})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (NS members;{member}))))))))
          (PUNC .))
  (ID 10_a_lob_a01))

arc(r_0010_0001__Most__quant,r_0010_0002__labour_r_0010_0003__sentiment,restriction).
arc(r_0010_0001__Most__quant,r_0010_0004__would,scope).
arc(r_0010_0004__would,r_0010_0006__favour,scope).
arc(r_0010_0006__favour,r_0010_0002__labour_r_0010_0003__sentiment,arg0).
arc(r_0010_0006__favour,r_0010_0005__still,nim).
arc(r_0010_0006__favour,r_0010_0007__the_r_0010_0008__abolition,arg1).
arc(r_0010_0007__the_r_0010_0008__abolition,r_0010_0010__the_r_0010_0011__House,r_0010_0009__of).
arc(r_0010_0010__the_r_0010_0011__House,r_0010_0013__Lords,r_0010_0012__of).
arc(r_0010_0015__but,r_0010_0001__Most__quant,conj1).
arc(r_0010_0015__but,r_0010_0016__while,conj2).
arc(r_0010_0016__while,r_0010_0018__remains,restriction).
arc(r_0010_0016__while,r_0010_0020__has,scope).
arc(r_0010_0018__remains,r_0010_0017__it,arg0).
arc(r_0010_0020__has,r_0010_0022__have,scope).
arc(r_0010_0022__have,r_0010_0019__labour,arg0).
arc(r_0010_0022__have,r_0010_0023__an_r_0010_0025__number,arg1).
arc(r_0010_0023__an_r_0010_0025__number,r_0010_0024__adequate,attrib).
arc(r_0010_0023__an_r_0010_0025__number,r_0010_0027__members,r_0010_0026__of).

fof(formula,axiom,
    ? [R_0010_0017__IT,R_0010_0018__REMAINS,R_0010_0019__LABOUR,R_0010_0024__ADEQUATE,R_0010_0027__MEMBERS,R_0010_0023__AN_R_0010_0025__NUMBER,R_0010_0020__HAS_R_0010_0022__HAVE,R_0010_0016__WHILE,R_0010_0015__BUT] :
      ( r_0010_0017__it(R_0010_0017__IT)
      & r_0010_0019__labour(R_0010_0019__LABOUR)
      & r_0010_0024__adequate(R_0010_0024__ADEQUATE)
      & r_0010_0027__members(R_0010_0027__MEMBERS)
      & r_0010_0015__but(R_0010_0015__BUT)
      & has_conj2(R_0010_0015__BUT,R_0010_0016__WHILE)
      & r_0010_0016__while(R_0010_0016__WHILE)
      & has_conj2(R_0010_0016__WHILE,R_0010_0020__HAS_R_0010_0022__HAVE)
      & r_0010_0020__has_r_0010_0022__have(R_0010_0020__HAS_R_0010_0022__HAVE)
      & has_arg1(R_0010_0020__HAS_R_0010_0022__HAVE,R_0010_0023__AN_R_0010_0025__NUMBER)
      & r_0010_0023__an_r_0010_0025__number(R_0010_0023__AN_R_0010_0025__NUMBER)
      & has_r_0010_0026__of(R_0010_0023__AN_R_0010_0025__NUMBER,R_0010_0027__MEMBERS)
      & has_attrib(R_0010_0023__AN_R_0010_0025__NUMBER,R_0010_0024__ADEQUATE)
      & has_arg0(R_0010_0020__HAS_R_0010_0022__HAVE,R_0010_0019__LABOUR)
      & has_conj1(R_0010_0016__WHILE,R_0010_0018__REMAINS)
      & r_0010_0018__remains(R_0010_0018__REMAINS)
      & has_arg0(R_0010_0018__REMAINS,R_0010_0017__IT)
      & ! [R_0010_0002__LABOUR_R_0010_0003__SENTIMENT] :
          ( r_0010_0002__labour_r_0010_0003__sentiment(R_0010_0002__LABOUR_R_0010_0003__SENTIMENT)
         => ? [R_0010_0005__STILL,R_0010_0013__LORDS,R_0010_0010__THE_R_0010_0011__HOUSE,R_0010_0007__THE_R_0010_0008__ABOLITION,R_0010_0004__WOULD_R_0010_0006__FAVOUR] :
              ( r_0010_0005__still(R_0010_0005__STILL)
              & r_0010_0013__Lords(R_0010_0013__LORDS)
              & r_0010_0004__would_r_0010_0006__favour(R_0010_0004__WOULD_R_0010_0006__FAVOUR)
              & has_arg1(R_0010_0004__WOULD_R_0010_0006__FAVOUR,R_0010_0007__THE_R_0010_0008__ABOLITION)
              & r_0010_0007__the_r_0010_0008__abolition(R_0010_0007__THE_R_0010_0008__ABOLITION)
              & has_r_0010_0009__of(R_0010_0007__THE_R_0010_0008__ABOLITION,R_0010_0010__THE_R_0010_0011__HOUSE)
              & r_0010_0010__the_r_0010_0011__House(R_0010_0010__THE_R_0010_0011__HOUSE)
              & has_r_0010_0012__of(R_0010_0010__THE_R_0010_0011__HOUSE,R_0010_0013__LORDS)
              & has_nim(R_0010_0004__WOULD_R_0010_0006__FAVOUR,R_0010_0005__STILL)
              & has_arg0(R_0010_0004__WOULD_R_0010_0006__FAVOUR,R_0010_0002__LABOUR_R_0010_0003__SENTIMENT) ) ) ) ).