( (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))

arc(r_0007_0004__line,r_0007_0001__Mr_r_0007_0002__Foot,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_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_0019__into,r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill,arg0).
arc(r_0007_0016__brought_r_0007_0019__into,r_0007_0017__life_r_0007_0018__peers,arg1).
arc(r_0007_0016__brought_r_0007_0019__into,r_0007_0020__existence,arg2).
arc(r_0007_0023__should,r_0007_0026__put_r_0007_0027__forward,scope).
arc(r_0007_0024__not,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,nim).
arc(r_0007_0026__put_r_0007_0027__forward,r_0007_0028__nominees,arg1).

fof(formula,axiom,
    ? [R_0007_0001__MR_R_0007_0002__FOOT,R_0007_0004__LINE,R_0007_0009__LABOUR_R_0007_0010__MPS,R_0007_0012__THE_R_0007_0013__GOVERNMENT_R_0007_0014__BILL,R_0007_0011__OPPOSED,R_0007_0008__AS,R_0007_0005__WILL_R_0007_0006__BE,R_0007_0017__LIFE_R_0007_0018__PEERS,R_0007_0020__EXISTENCE,R_0007_0016__BROUGHT_R_0007_0019__INTO] :
      ( r_0007_0001__Mr_r_0007_0002__Foot(R_0007_0001__MR_R_0007_0002__FOOT)
      & r_0007_0009__labour_r_0007_0010__MPs(R_0007_0009__LABOUR_R_0007_0010__MPS)
      & r_0007_0012__the_r_0007_0013__government_r_0007_0014__bill(R_0007_0012__THE_R_0007_0013__GOVERNMENT_R_0007_0014__BILL)
      & r_0007_0017__life_r_0007_0018__peers(R_0007_0017__LIFE_R_0007_0018__PEERS)
      & r_0007_0020__existence(R_0007_0020__EXISTENCE)
      & r_0007_0016__brought_r_0007_0019__into(R_0007_0016__BROUGHT_R_0007_0019__INTO)
      & has_arg2(R_0007_0016__BROUGHT_R_0007_0019__INTO,R_0007_0020__EXISTENCE)
      & has_arg1(R_0007_0016__BROUGHT_R_0007_0019__INTO,R_0007_0017__LIFE_R_0007_0018__PEERS)
      & has_arg0(R_0007_0016__BROUGHT_R_0007_0019__INTO,R_0007_0012__THE_R_0007_0013__GOVERNMENT_R_0007_0014__BILL)
      & r_0007_0005__will_r_0007_0006__be(R_0007_0005__WILL_R_0007_0006__BE)
      & has_prd(R_0007_0005__WILL_R_0007_0006__BE,R_0007_0008__AS)
      & r_0007_0008__as(R_0007_0008__AS)
      & has_conj2(R_0007_0008__AS,R_0007_0024__NOT)
      & ~ ? [R_0007_0025__NOW,R_0007_0028__NOMINEES,R_0007_0023__SHOULD_R_0007_0026__PUT_R_0007_0027__FORWARD] :
            ( r_0007_0025__now(R_0007_0025__NOW)
            & r_0007_0028__nominees(R_0007_0028__NOMINEES)
            & r_0007_0023__should_r_0007_0026__put_r_0007_0027__forward(R_0007_0023__SHOULD_R_0007_0026__PUT_R_0007_0027__FORWARD)
            & has_arg1(R_0007_0023__SHOULD_R_0007_0026__PUT_R_0007_0027__FORWARD,R_0007_0028__NOMINEES)
            & has_nim(R_0007_0023__SHOULD_R_0007_0026__PUT_R_0007_0027__FORWARD,R_0007_0025__NOW)
            & has_arg0(R_0007_0023__SHOULD_R_0007_0026__PUT_R_0007_0027__FORWARD,R_0007_0017__LIFE_R_0007_0018__PEERS) )
      & has_conj1(R_0007_0008__AS,R_0007_0011__OPPOSED)
      & r_0007_0011__opposed(R_0007_0011__OPPOSED)
      & has_arg1(R_0007_0011__OPPOSED,R_0007_0012__THE_R_0007_0013__GOVERNMENT_R_0007_0014__BILL)
      & has_arg0(R_0007_0011__OPPOSED,R_0007_0009__LABOUR_R_0007_0010__MPS)
      & has_arg0(R_0007_0005__WILL_R_0007_0006__BE,R_0007_0004__LINE)
      & r_0007_0004__line(R_0007_0004__LINE)
      & has_gen(R_0007_0004__LINE,R_0007_0001__MR_R_0007_0002__FOOT) ) ).