7_a_lob_a01
Mr Foot's line will be that as labour MPs opposed the government bill which brought life peers into existence, they should not now put forward nominees.

%3 r_0007_0004__line line r_0007_0001__Mr_r_0007_0002__Foot_r_0007_0003___apos_s Mr Foot 's r_0007_0004__line->r_0007_0001__Mr_r_0007_0002__Foot_r_0007_0003___apos_s [gen] r_0007_0005__will will r_0007_0006__be be r_0007_0005__will->r_0007_0006__be [scope] r_0007_0006__be->r_0007_0004__line [arg0] r_0007_0008__as as r_0007_0006__be->r_0007_0008__as [prd] r_0007_0011__opposed opposed r_0007_0008__as->r_0007_0011__opposed [restriction] r_0007_0024__not not r_0007_0008__as->r_0007_0024__not [scope] r_0007_0007__that_r_0007_0023__should that should r_0007_0026__put_r_0007_0027__forward put forward r_0007_0007__that_r_0007_0023__should->r_0007_0026__put_r_0007_0027__forward [scope] r_0007_0017__life_r_0007_0018__peers life peers r_0007_0026__put_r_0007_0027__forward->r_0007_0017__life_r_0007_0018__peers [arg0] r_0007_0025__now now r_0007_0026__put_r_0007_0027__forward->r_0007_0025__now [nim] r_0007_0028__nominees nominees r_0007_0026__put_r_0007_0027__forward->r_0007_0028__nominees [arg1] r_0007_0009__labour_r_0007_0010__MPs labour MPs r_0007_0011__opposed->r_0007_0009__labour_r_0007_0010__MPs [arg0] r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill the government bill r_0007_0011__opposed->r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill [arg1] r_0007_0024__not->r_0007_0007__that_r_0007_0023__should [keep_scope] r_0007_0016__brought brought r_0007_0016__brought->r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill [arg0] r_0007_0016__brought->r_0007_0017__life_r_0007_0018__peers [arg1] r_0007_0020__existence existence r_0007_0016__brought->r_0007_0020__existence into [clr]
arc(r_0007_0004__line, r_0007_0001__Mr_r_0007_0002__Foot_r_0007_0003___apos_s, gen).
arc(r_0007_0005__will, r_0007_0006__be, scope).
arc(r_0007_0006__be, r_0007_0004__line, arg0).
arc(r_0007_0006__be, r_0007_0008__as, prd).
arc(r_0007_0007__that_r_0007_0023__should, r_0007_0026__put_r_0007_0027__forward, scope).
arc(r_0007_0008__as, r_0007_0011__opposed, restriction).
arc(r_0007_0008__as, r_0007_0024__not, scope).
arc(r_0007_0011__opposed, r_0007_0009__labour_r_0007_0010__MPs, arg0).
arc(r_0007_0011__opposed, r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill, arg1).
arc(r_0007_0016__brought, r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill, arg0).
arc(r_0007_0016__brought, r_0007_0017__life_r_0007_0018__peers, arg1).
arc(r_0007_0016__brought, r_0007_0020__existence, r_0007_0019__into_clr53).
arc(r_0007_0024__not, r_0007_0007__that_r_0007_0023__should, keep_scope).
arc(r_0007_0026__put_r_0007_0027__forward, r_0007_0017__life_r_0007_0018__peers, arg0).
arc(r_0007_0026__put_r_0007_0027__forward, r_0007_0025__now, nim66).
arc(r_0007_0026__put_r_0007_0027__forward, r_0007_0028__nominees, arg1).



%3 r_0007_0004__line line r_0007_0001__Mr_r_0007_0002__Foot_r_0007_0003___apos_s Mr Foot 's r_0007_0004__line->r_0007_0001__Mr_r_0007_0002__Foot_r_0007_0003___apos_s [gen] r_0007_0005__will_r_0007_0006__be will be r_0007_0005__will_r_0007_0006__be->r_0007_0004__line [arg0] r_0007_0008__as as r_0007_0005__will_r_0007_0006__be->r_0007_0008__as [prd] r_0007_0011__opposed opposed r_0007_0008__as->r_0007_0011__opposed [conj1] r_0007_0024__not not r_0007_0008__as->r_0007_0024__not [conj2] r_0007_0007__that_r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward that should put forward r_0007_0017__life_r_0007_0018__peers life peers r_0007_0007__that_r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward->r_0007_0017__life_r_0007_0018__peers [arg0] r_0007_0025__now now r_0007_0007__that_r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward->r_0007_0025__now [nim] r_0007_0028__nominees nominees r_0007_0007__that_r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward->r_0007_0028__nominees [arg1] r_0007_0009__labour_r_0007_0010__MPs labour MPs r_0007_0011__opposed->r_0007_0009__labour_r_0007_0010__MPs [arg0] r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill the government bill r_0007_0011__opposed->r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill [arg1] r_0007_0024__not->r_0007_0007__that_r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward [keep_scope] r_0007_0016__brought brought r_0007_0016__brought->r_0007_0017__life_r_0007_0018__peers [arg1] r_0007_0016__brought->r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill [arg0] r_0007_0020__existence existence r_0007_0016__brought->r_0007_0020__existence into [clr]
fof(formula,axiom,
    ? [R_7_5_WILL_BE,R_7_4_LINE,R_7_1_MR_FOOT_APOS_S,R_7_8_AS,R_7_11_OPPOSED,R_7_9_LABOUR_MPS,R_7_16_BROUGHT,R_7_12_THE_GOVERNMENT_BILL,R_7_17_LIFE_PEERS,R_7_20_EXISTENCE] :
      ( mr_Foot_apos_s(R_7_1_MR_FOOT_APOS_S)
      & labour_MPs(R_7_9_LABOUR_MPS)
      & the_government_bill(R_7_12_THE_GOVERNMENT_BILL)
      & life_peers(R_7_17_LIFE_PEERS)
      & existence(R_7_20_EXISTENCE)
      & will_be(R_7_5_WILL_BE,R_7_4_LINE,R_7_8_AS)
      & line(R_7_4_LINE)
      & gen(R_7_4_LINE,R_7_1_MR_FOOT_APOS_S)
      & as(R_7_8_AS)
      & conj1(R_7_8_AS,R_7_11_OPPOSED)
      & opposed(R_7_11_OPPOSED,R_7_9_LABOUR_MPS,R_7_12_THE_GOVERNMENT_BILL)
      & conj2(R_7_8_AS,R_7_24_NOT)
      & ~ ? [R_7_7_THAT_SHOULD_PUT_FORWARD,R_7_28_NOMINEES,R_7_25_NOW] :
            ( nominees(R_7_28_NOMINEES)
            & now(R_7_25_NOW)
            & that_should_put_forward(R_7_7_THAT_SHOULD_PUT_FORWARD,R_7_17_LIFE_PEERS,R_7_28_NOMINEES)
            & nim66(R_7_7_THAT_SHOULD_PUT_FORWARD,R_7_25_NOW) )
      & brought(R_7_16_BROUGHT,R_7_12_THE_GOVERNMENT_BILL,R_7_17_LIFE_PEERS)
      & into_clr53(R_7_16_BROUGHT,R_7_20_EXISTENCE) ) ).



n7_a_lob_a01 n7_a_lob_a01_5 Mr n7_a_lob_a01_7 Foot n7_a_lob_a01_9 's n7_a_lob_a01_11 line n7_a_lob_a01_13 will n7_a_lob_a01_16 be n7_a_lob_a01_20 that n7_a_lob_a01_23 as n7_a_lob_a01_27 labour n7_a_lob_a01_29 MPs n7_a_lob_a01_31 opposed n7_a_lob_a01_34 the n7_a_lob_a01_36 government n7_a_lob_a01_38 bill n7_a_lob_a01_42 which n7_a_lob_a01_44 brought n7_a_lob_a01_47 life n7_a_lob_a01_49 peers n7_a_lob_a01_52 into n7_a_lob_a01_55 existence n7_a_lob_a01_57 , n7_a_lob_a01_60 they n7_a_lob_a01_62 should n7_a_lob_a01_64 not n7_a_lob_a01_68 now n7_a_lob_a01_70 put n7_a_lob_a01_72 forward n7_a_lob_a01_75 nominees n7_a_lob_a01_77 . n7_a_lob_a01_1 IP-MAT n7_a_lob_a01_2 NP-SBJ n7_a_lob_a01_1->n7_a_lob_a01_2 n7_a_lob_a01_12 MD;_cat_Vi_ n7_a_lob_a01_1->n7_a_lob_a01_12 n7_a_lob_a01_14 IP-INF-CAT n7_a_lob_a01_1->n7_a_lob_a01_14 n7_a_lob_a01_76 PUNC n7_a_lob_a01_1->n7_a_lob_a01_76 n7_a_lob_a01_3 NP-GEN n7_a_lob_a01_2->n7_a_lob_a01_3 n7_a_lob_a01_10 N n7_a_lob_a01_2->n7_a_lob_a01_10 n7_a_lob_a01_4 N n7_a_lob_a01_3->n7_a_lob_a01_4 n7_a_lob_a01_6 NPR n7_a_lob_a01_3->n7_a_lob_a01_6 n7_a_lob_a01_8 GENM n7_a_lob_a01_3->n7_a_lob_a01_8 n7_a_lob_a01_4->n7_a_lob_a01_5 n7_a_lob_a01_6->n7_a_lob_a01_7 n7_a_lob_a01_8->n7_a_lob_a01_9 n7_a_lob_a01_10->n7_a_lob_a01_11 n7_a_lob_a01_12->n7_a_lob_a01_13 n7_a_lob_a01_15 BE;_equ_Vf_ n7_a_lob_a01_14->n7_a_lob_a01_15 n7_a_lob_a01_17 CP-THT-PRD n7_a_lob_a01_14->n7_a_lob_a01_17 n7_a_lob_a01_15->n7_a_lob_a01_16 n7_a_lob_a01_18 IP-SUB n7_a_lob_a01_17->n7_a_lob_a01_18 n7_a_lob_a01_19 C n7_a_lob_a01_18->n7_a_lob_a01_19 n7_a_lob_a01_21 PP-SCON n7_a_lob_a01_18->n7_a_lob_a01_21 n7_a_lob_a01_56 PUNC n7_a_lob_a01_18->n7_a_lob_a01_56 n7_a_lob_a01_58 NP-SBJ n7_a_lob_a01_18->n7_a_lob_a01_58 n7_a_lob_a01_61 MD;_cat_Vi_ n7_a_lob_a01_18->n7_a_lob_a01_61 n7_a_lob_a01_63 NEG n7_a_lob_a01_18->n7_a_lob_a01_63 n7_a_lob_a01_65 IP-INF-CAT n7_a_lob_a01_18->n7_a_lob_a01_65 n7_a_lob_a01_19->n7_a_lob_a01_20 n7_a_lob_a01_22 P-CONN n7_a_lob_a01_21->n7_a_lob_a01_22 n7_a_lob_a01_24 IP-ADV n7_a_lob_a01_21->n7_a_lob_a01_24 n7_a_lob_a01_22->n7_a_lob_a01_23 n7_a_lob_a01_25 NP-SBJ n7_a_lob_a01_24->n7_a_lob_a01_25 n7_a_lob_a01_30 VBD;_Tn_ n7_a_lob_a01_24->n7_a_lob_a01_30 n7_a_lob_a01_32 NP-OB1 n7_a_lob_a01_24->n7_a_lob_a01_32 n7_a_lob_a01_26 N n7_a_lob_a01_25->n7_a_lob_a01_26 n7_a_lob_a01_28 NS n7_a_lob_a01_25->n7_a_lob_a01_28 n7_a_lob_a01_26->n7_a_lob_a01_27 n7_a_lob_a01_28->n7_a_lob_a01_29 n7_a_lob_a01_30->n7_a_lob_a01_31 n7_a_lob_a01_33 D n7_a_lob_a01_32->n7_a_lob_a01_33 n7_a_lob_a01_35 N n7_a_lob_a01_32->n7_a_lob_a01_35 n7_a_lob_a01_37 N n7_a_lob_a01_32->n7_a_lob_a01_37 n7_a_lob_a01_39 IP-REL n7_a_lob_a01_32->n7_a_lob_a01_39 n7_a_lob_a01_33->n7_a_lob_a01_34 n7_a_lob_a01_35->n7_a_lob_a01_36 n7_a_lob_a01_37->n7_a_lob_a01_38 n7_a_lob_a01_40 NP-SBJ n7_a_lob_a01_39->n7_a_lob_a01_40 n7_a_lob_a01_43 VBD;_Tn.pr_ n7_a_lob_a01_39->n7_a_lob_a01_43 n7_a_lob_a01_45 NP-OB1 n7_a_lob_a01_39->n7_a_lob_a01_45 n7_a_lob_a01_50 PP-CLR n7_a_lob_a01_39->n7_a_lob_a01_50 n7_a_lob_a01_41 RPRO n7_a_lob_a01_40->n7_a_lob_a01_41 n7_a_lob_a01_41->n7_a_lob_a01_42 n7_a_lob_a01_43->n7_a_lob_a01_44 n7_a_lob_a01_46 N n7_a_lob_a01_45->n7_a_lob_a01_46 n7_a_lob_a01_48 NS n7_a_lob_a01_45->n7_a_lob_a01_48 n7_a_lob_a01_46->n7_a_lob_a01_47 n7_a_lob_a01_48->n7_a_lob_a01_49 n7_a_lob_a01_51 P-ROLE n7_a_lob_a01_50->n7_a_lob_a01_51 n7_a_lob_a01_53 NP n7_a_lob_a01_50->n7_a_lob_a01_53 n7_a_lob_a01_51->n7_a_lob_a01_52 n7_a_lob_a01_54 N n7_a_lob_a01_53->n7_a_lob_a01_54 n7_a_lob_a01_54->n7_a_lob_a01_55 n7_a_lob_a01_56->n7_a_lob_a01_57 n7_a_lob_a01_59 PRO n7_a_lob_a01_58->n7_a_lob_a01_59 n7_a_lob_a01_59->n7_a_lob_a01_60 n7_a_lob_a01_61->n7_a_lob_a01_62 n7_a_lob_a01_63->n7_a_lob_a01_64 n7_a_lob_a01_66 ADVP-NIM n7_a_lob_a01_65->n7_a_lob_a01_66 n7_a_lob_a01_69 VB;_phr_Vn<=>p_ n7_a_lob_a01_65->n7_a_lob_a01_69 n7_a_lob_a01_71 RP n7_a_lob_a01_65->n7_a_lob_a01_71 n7_a_lob_a01_73 NP-OB1 n7_a_lob_a01_65->n7_a_lob_a01_73 n7_a_lob_a01_67 ADV n7_a_lob_a01_66->n7_a_lob_a01_67 n7_a_lob_a01_67->n7_a_lob_a01_68 n7_a_lob_a01_69->n7_a_lob_a01_70 n7_a_lob_a01_71->n7_a_lob_a01_72 n7_a_lob_a01_74 NS n7_a_lob_a01_73->n7_a_lob_a01_74 n7_a_lob_a01_74->n7_a_lob_a01_75 n7_a_lob_a01_76->n7_a_lob_a01_77
( (IP-MAT (NP-SBJ;{FOOT} (NP-GEN (N Mr;{mr})
                                 (NPR Foot;{Foot})
                                 (GENM <apos>s))
                         (N line;{line}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_equ_Vf_ be;{be})
                      (CP-THT-PRD (IP-SUB (C that;{that})
                                          (PP-SCON (P-CONN as;{as})
                                                   (IP-ADV (NP-SBJ (N labour;{labour})
                                                                   (NS MPs;{mp}))
                                                           (VBD;_Tn_ opposed;{oppose})
                                                           (NP-OB1 (D the;{the})
                                                                   (N government;{government})
                                                                   (N bill;{bill})
                                                                   (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                           (VBD;_Tn.pr_ brought;{bring[into]})
                                                                           (NP-OB1;{PEERS} (N life;{life})
                                                                                           (NS peers;{peer}))
                                                                           (PP-CLR (P-ROLE into;{into})
                                                                                   (NP (N existence;{existence})))))))
                                          (PUNC ,)
                                          (NP-SBJ;{PEERS} (PRO they;{they}))
                                          (MD;_cat_Vi_ should;{shall})
                                          (NEG not;{not})
                                          (IP-INF-CAT (ADVP-NIM (ADV now;{now}))
                                                      (VB;_phr_Vn<=>p_ put;{put})
                                                      (RP forward;{forward})
                                                      (NP-OB1 (NS nominees;{nominee}))))))
          (PUNC .))
  (ID 7_a_lob_a01))