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.

%3 r_0010_0001__Most_quant Most [quant] r_0010_0002__labour_r_0010_0003__sentiment labour sentiment r_0010_0001__Most_quant->r_0010_0002__labour_r_0010_0003__sentiment [restriction] r_0010_0004__would would r_0010_0001__Most_quant->r_0010_0004__would [scope] r_0010_0006__favour favour r_0010_0004__would->r_0010_0006__favour [scope] r_0010_0006__favour->r_0010_0002__labour_r_0010_0003__sentiment [arg0] r_0010_0005__still still r_0010_0006__favour->r_0010_0005__still [nim] r_0010_0007__the_r_0010_0008__abolition the abolition r_0010_0006__favour->r_0010_0007__the_r_0010_0008__abolition [arg1] r_0010_0010__the_r_0010_0011__House the House r_0010_0007__the_r_0010_0008__abolition->r_0010_0010__the_r_0010_0011__House of r_0010_0013__Lords Lords r_0010_0010__the_r_0010_0011__House->r_0010_0013__Lords of r_0010_0015__but but r_0010_0015__but->r_0010_0001__Most_quant [conj1] r_0010_0016__while while r_0010_0015__but->r_0010_0016__while [conj2] r_0010_0018__remains remains r_0010_0016__while->r_0010_0018__remains [restriction] r_0010_0020__has has r_0010_0016__while->r_0010_0020__has [scope] r_0010_0018__remains->r_0010_0013__Lords [arg0] r_0010_0021__to_r_0010_0022__have to have r_0010_0020__has->r_0010_0021__to_r_0010_0022__have [scope] r_0010_0019__labour labour r_0010_0021__to_r_0010_0022__have->r_0010_0019__labour [arg0] r_0010_0023__an_r_0010_0025__number an number r_0010_0021__to_r_0010_0022__have->r_0010_0023__an_r_0010_0025__number [arg1] r_0010_0024__adequate adequate r_0010_0023__an_r_0010_0025__number->r_0010_0024__adequate [attrib] r_0010_0027__members members r_0010_0023__an_r_0010_0025__number->r_0010_0027__members of
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, nim14).
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_0013__Lords, arg0).
arc(r_0010_0020__has, r_0010_0021__to_r_0010_0022__have, scope).
arc(r_0010_0021__to_r_0010_0022__have, r_0010_0019__labour, arg0).
arc(r_0010_0021__to_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, attrib66).
arc(r_0010_0023__an_r_0010_0025__number, r_0010_0027__members, r_0010_0026__of).



%3 r_0010_0001__Most_quant Most [quant] r_0010_0002__labour_r_0010_0003__sentiment labour sentiment r_0010_0001__Most_quant->r_0010_0002__labour_r_0010_0003__sentiment [restriction] r_0010_0004__would_r_0010_0006__favour would favour r_0010_0001__Most_quant->r_0010_0004__would_r_0010_0006__favour [scope] r_0010_0004__would_r_0010_0006__favour->r_0010_0002__labour_r_0010_0003__sentiment [arg0] r_0010_0005__still still r_0010_0004__would_r_0010_0006__favour->r_0010_0005__still [nim] r_0010_0007__the_r_0010_0008__abolition the abolition r_0010_0004__would_r_0010_0006__favour->r_0010_0007__the_r_0010_0008__abolition [arg1] r_0010_0010__the_r_0010_0011__House the House r_0010_0007__the_r_0010_0008__abolition->r_0010_0010__the_r_0010_0011__House of r_0010_0013__Lords Lords r_0010_0010__the_r_0010_0011__House->r_0010_0013__Lords of r_0010_0015__but but r_0010_0015__but->r_0010_0001__Most_quant [conj1] r_0010_0016__while while r_0010_0015__but->r_0010_0016__while [conj2] r_0010_0018__remains remains r_0010_0016__while->r_0010_0018__remains [conj1] r_0010_0020__has_r_0010_0021__to_r_0010_0022__have has to have r_0010_0016__while->r_0010_0020__has_r_0010_0021__to_r_0010_0022__have [conj2] r_0010_0018__remains->r_0010_0013__Lords [arg0] r_0010_0019__labour labour r_0010_0020__has_r_0010_0021__to_r_0010_0022__have->r_0010_0019__labour [arg0] r_0010_0023__an_r_0010_0025__number an number r_0010_0020__has_r_0010_0021__to_r_0010_0022__have->r_0010_0023__an_r_0010_0025__number [arg1] r_0010_0024__adequate adequate r_0010_0023__an_r_0010_0025__number->r_0010_0024__adequate [attrib] r_0010_0027__members members r_0010_0023__an_r_0010_0025__number->r_0010_0027__members of
fof(formula,axiom,
    ? [R_10_15_BUT,R_10_16_WHILE,R_10_18_REMAINS,R_10_13_LORDS,R_10_20_HAS_TO_HAVE,R_10_19_LABOUR,R_10_23_AN_NUMBER,R_10_24_ADEQUATE,R_10_27_MEMBERS] :
      ( lords(R_10_13_LORDS)
      & labour(R_10_19_LABOUR)
      & adequate(R_10_24_ADEQUATE)
      & members(R_10_27_MEMBERS)
      & ! [R_10_2_LABOUR_SENTIMENT] :
          ( labour_sentiment(R_10_2_LABOUR_SENTIMENT)
         => ? [R_10_4_WOULD_FAVOUR,R_10_7_THE_ABOLITION,R_10_10_THE_HOUSE,R_10_5_STILL] :
              ( still(R_10_5_STILL)
              & would_favour(R_10_4_WOULD_FAVOUR,R_10_2_LABOUR_SENTIMENT,R_10_7_THE_ABOLITION)
              & the_abolition(R_10_7_THE_ABOLITION)
              & of(R_10_7_THE_ABOLITION,R_10_10_THE_HOUSE)
              & the_House(R_10_10_THE_HOUSE)
              & of(R_10_10_THE_HOUSE,R_10_13_LORDS)
              & nim14(R_10_4_WOULD_FAVOUR,R_10_5_STILL) ) )
      & conj1(CONJ1)
      & but(R_10_15_BUT)
      & conj2(R_10_15_BUT,R_10_16_WHILE)
      & while(R_10_16_WHILE)
      & conj1(R_10_16_WHILE,R_10_18_REMAINS)
      & remains(R_10_18_REMAINS,R_10_13_LORDS)
      & conj2(R_10_16_WHILE,R_10_20_HAS_TO_HAVE)
      & has_to_have(R_10_20_HAS_TO_HAVE,R_10_19_LABOUR,R_10_23_AN_NUMBER)
      & an_number(R_10_23_AN_NUMBER)
      & attrib66(R_10_23_AN_NUMBER,R_10_24_ADEQUATE)
      & of(R_10_23_AN_NUMBER,R_10_27_MEMBERS) ) ).



n10_a_lob_a01 n10_a_lob_a01_6 Most n10_a_lob_a01_8 labour n10_a_lob_a01_10 sentiment n10_a_lob_a01_12 would n10_a_lob_a01_16 still n10_a_lob_a01_18 favour n10_a_lob_a01_21 the n10_a_lob_a01_23 abolition n10_a_lob_a01_26 of n10_a_lob_a01_29 the n10_a_lob_a01_31 House n10_a_lob_a01_34 of n10_a_lob_a01_37 Lords n10_a_lob_a01_39 , n10_a_lob_a01_42 but n10_a_lob_a01_46 while n10_a_lob_a01_50 it n10_a_lob_a01_52 remains n10_a_lob_a01_55 labour n10_a_lob_a01_57 has n10_a_lob_a01_60 to n10_a_lob_a01_62 have n10_a_lob_a01_65 an n10_a_lob_a01_68 adequate n10_a_lob_a01_70 number n10_a_lob_a01_73 of n10_a_lob_a01_76 members n10_a_lob_a01_78 . n10_a_lob_a01_1 IP-MAT n10_a_lob_a01_2 ILYR n10_a_lob_a01_1->n10_a_lob_a01_2 n10_a_lob_a01_77 PUNC n10_a_lob_a01_1->n10_a_lob_a01_77 n10_a_lob_a01_3 ILYR n10_a_lob_a01_2->n10_a_lob_a01_3 n10_a_lob_a01_38 PUNC n10_a_lob_a01_2->n10_a_lob_a01_38 n10_a_lob_a01_40 CONJP n10_a_lob_a01_2->n10_a_lob_a01_40 n10_a_lob_a01_4 NP-SBJ n10_a_lob_a01_3->n10_a_lob_a01_4 n10_a_lob_a01_11 MD;_cat_Vi_ n10_a_lob_a01_3->n10_a_lob_a01_11 n10_a_lob_a01_13 IP-INF-CAT n10_a_lob_a01_3->n10_a_lob_a01_13 n10_a_lob_a01_5 Q n10_a_lob_a01_4->n10_a_lob_a01_5 n10_a_lob_a01_7 N n10_a_lob_a01_4->n10_a_lob_a01_7 n10_a_lob_a01_9 N n10_a_lob_a01_4->n10_a_lob_a01_9 n10_a_lob_a01_5->n10_a_lob_a01_6 n10_a_lob_a01_7->n10_a_lob_a01_8 n10_a_lob_a01_9->n10_a_lob_a01_10 n10_a_lob_a01_11->n10_a_lob_a01_12 n10_a_lob_a01_14 ADVP-NIM n10_a_lob_a01_13->n10_a_lob_a01_14 n10_a_lob_a01_17 VB;_Tn_ n10_a_lob_a01_13->n10_a_lob_a01_17 n10_a_lob_a01_19 NP-OB1 n10_a_lob_a01_13->n10_a_lob_a01_19 n10_a_lob_a01_15 ADV n10_a_lob_a01_14->n10_a_lob_a01_15 n10_a_lob_a01_15->n10_a_lob_a01_16 n10_a_lob_a01_17->n10_a_lob_a01_18 n10_a_lob_a01_20 D n10_a_lob_a01_19->n10_a_lob_a01_20 n10_a_lob_a01_22 N n10_a_lob_a01_19->n10_a_lob_a01_22 n10_a_lob_a01_24 PP n10_a_lob_a01_19->n10_a_lob_a01_24 n10_a_lob_a01_20->n10_a_lob_a01_21 n10_a_lob_a01_22->n10_a_lob_a01_23 n10_a_lob_a01_25 P-ROLE n10_a_lob_a01_24->n10_a_lob_a01_25 n10_a_lob_a01_27 NP n10_a_lob_a01_24->n10_a_lob_a01_27 n10_a_lob_a01_25->n10_a_lob_a01_26 n10_a_lob_a01_28 D n10_a_lob_a01_27->n10_a_lob_a01_28 n10_a_lob_a01_30 NPR n10_a_lob_a01_27->n10_a_lob_a01_30 n10_a_lob_a01_32 PP n10_a_lob_a01_27->n10_a_lob_a01_32 n10_a_lob_a01_28->n10_a_lob_a01_29 n10_a_lob_a01_30->n10_a_lob_a01_31 n10_a_lob_a01_33 P-ROLE n10_a_lob_a01_32->n10_a_lob_a01_33 n10_a_lob_a01_35 NP n10_a_lob_a01_32->n10_a_lob_a01_35 n10_a_lob_a01_33->n10_a_lob_a01_34 n10_a_lob_a01_36 NS n10_a_lob_a01_35->n10_a_lob_a01_36 n10_a_lob_a01_36->n10_a_lob_a01_37 n10_a_lob_a01_38->n10_a_lob_a01_39 n10_a_lob_a01_41 CONJ n10_a_lob_a01_40->n10_a_lob_a01_41 n10_a_lob_a01_43 ILYR n10_a_lob_a01_40->n10_a_lob_a01_43 n10_a_lob_a01_41->n10_a_lob_a01_42 n10_a_lob_a01_44 PP-SCON n10_a_lob_a01_43->n10_a_lob_a01_44 n10_a_lob_a01_53 NP-SBJ n10_a_lob_a01_43->n10_a_lob_a01_53 n10_a_lob_a01_56 HVP;_cat_Vt_ n10_a_lob_a01_43->n10_a_lob_a01_56 n10_a_lob_a01_58 IP-INF-CAT n10_a_lob_a01_43->n10_a_lob_a01_58 n10_a_lob_a01_45 P-CONN n10_a_lob_a01_44->n10_a_lob_a01_45 n10_a_lob_a01_47 IP-ADV n10_a_lob_a01_44->n10_a_lob_a01_47 n10_a_lob_a01_45->n10_a_lob_a01_46 n10_a_lob_a01_48 NP-SBJ n10_a_lob_a01_47->n10_a_lob_a01_48 n10_a_lob_a01_51 VBP;_I_ n10_a_lob_a01_47->n10_a_lob_a01_51 n10_a_lob_a01_49 PRO n10_a_lob_a01_48->n10_a_lob_a01_49 n10_a_lob_a01_49->n10_a_lob_a01_50 n10_a_lob_a01_51->n10_a_lob_a01_52 n10_a_lob_a01_54 N n10_a_lob_a01_53->n10_a_lob_a01_54 n10_a_lob_a01_54->n10_a_lob_a01_55 n10_a_lob_a01_56->n10_a_lob_a01_57 n10_a_lob_a01_59 TO n10_a_lob_a01_58->n10_a_lob_a01_59 n10_a_lob_a01_61 HV;_Tn_ n10_a_lob_a01_58->n10_a_lob_a01_61 n10_a_lob_a01_63 NP-OB1 n10_a_lob_a01_58->n10_a_lob_a01_63 n10_a_lob_a01_59->n10_a_lob_a01_60 n10_a_lob_a01_61->n10_a_lob_a01_62 n10_a_lob_a01_64 D n10_a_lob_a01_63->n10_a_lob_a01_64 n10_a_lob_a01_66 ADJP n10_a_lob_a01_63->n10_a_lob_a01_66 n10_a_lob_a01_69 N n10_a_lob_a01_63->n10_a_lob_a01_69 n10_a_lob_a01_71 PP n10_a_lob_a01_63->n10_a_lob_a01_71 n10_a_lob_a01_64->n10_a_lob_a01_65 n10_a_lob_a01_67 ADJ n10_a_lob_a01_66->n10_a_lob_a01_67 n10_a_lob_a01_67->n10_a_lob_a01_68 n10_a_lob_a01_69->n10_a_lob_a01_70 n10_a_lob_a01_72 P-ROLE n10_a_lob_a01_71->n10_a_lob_a01_72 n10_a_lob_a01_74 NP n10_a_lob_a01_71->n10_a_lob_a01_74 n10_a_lob_a01_72->n10_a_lob_a01_73 n10_a_lob_a01_75 NS n10_a_lob_a01_74->n10_a_lob_a01_75 n10_a_lob_a01_75->n10_a_lob_a01_76 n10_a_lob_a01_77->n10_a_lob_a01_78
( (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))