TSPC 112_a_lob

112_a_lob_a01
Answering jeers that it was labour which first put a ceiling on health spending and started charges, Mr Brown reminded the hostile government benches that was done in 1950 because of the financial strain of the Korean war.

( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Tn_ Answering;{answer})
                            (NP-OB1 (NS jeers;{jeer})
                                    (CP-THT (IP-SUB (C that;{that})
                                                    (NP-SBJ (PRO;_provisional_ it;{it}))
                                                    (BED;_cleft_Vn_ was;{be})
                                                    (NP-FOC (N labour;{labour}))
                                                    (IP-CLF (NP-SBJ (RPRO which;{which}))
                                                            (ILYR;{LIMITS} (ILYR (ADVP-NIM (NUM first;{first}))
                                                                                 (VBD;_Tn.pr_ put;{put[on]})
                                                                                 (NP-OB1 (D a;{a})
                                                                                         (N ceiling;{ceiling}))
                                                                                 (PP-CLR (P-ROLE on;{on})
                                                                                         (NP (N health;{health})
                                                                                             (N spending;{spending}))))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (ILYR (VBD;_Tn_ started;{start})
                                                                                        (NP-OB1 (NS charges;{charge})))))))))))
          (PUNC ,)
          (NP-SBJ;{BROWN} (N Mr;{mr})
                          (NPR Brown;{Brown}))
          (VBD;_Dn.f_ reminded;{remind})
          (NP-OB2 (D the;{the})
                  (ADJP (ADJ hostile;{hostile}))
                  (N government;{government})
                  (NS benches;{bench}))
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{LIMITS} (D;_nphd_ that;{that}))
                              (BED;_cat_VePASS_ was;{be})
                              (IP-PPL-CAT (DON;_Tn_ done;{do})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NPR 1950)))
                                          (PP-NIM (P-ROLE because_of;{because_of})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ financial;{financial}))
                                                      (N strain;{strain})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (D the;{the})
                                                              (ADJP (ADJ Korean;{Korean}))
                                                              (N war;{war}))))))))
          (PUNC .))
  (ID 112_a_lob_a01))

arc(r_0112_0001__Answering,r_0112_0002__jeers,arg1).
arc(r_0112_0001__Answering,r_0112_0019__Mr_r_0112_0020__Brown,arg0).
arc(r_0112_0002__jeers,r_0112_0005__was,emb).
arc(r_0112_0005__was,r_0112_0006__labour,arg0).
arc(r_0112_0005__was,z_0112_5014,prd).
arc(r_0112_0009__put_r_0112_0012__on,r_0112_0008__first,nim).
arc(r_0112_0009__put_r_0112_0012__on,r_0112_0010__a_r_0112_0011__ceiling,arg1).
arc(r_0112_0009__put_r_0112_0012__on,r_0112_0013__health_r_0112_0014__spending,arg2).
arc(r_0112_0009__put_r_0112_0012__on,z_0112_5014,arg0).
arc(r_0112_0015__and,r_0112_0009__put_r_0112_0012__on,conj1).
arc(r_0112_0015__and,r_0112_0016__started,conj2).
arc(r_0112_0016__started,r_0112_0017__charges,arg1).
arc(r_0112_0016__started,z_0112_5014,arg0).
arc(r_0112_0021__reminded,r_0112_0019__Mr_r_0112_0020__Brown,arg0).
arc(r_0112_0021__reminded,r_0112_0022__the_r_0112_0024__government_r_0112_0025__benches,arg2).
arc(r_0112_0021__reminded,r_0112_0027__was,arg1).
arc(r_0112_0022__the_r_0112_0024__government_r_0112_0025__benches,r_0112_0023__hostile,attrib).
arc(r_0112_0027__was,r_0112_0028__done,scope).
arc(r_0112_0028__done,r_0112_0015__and,arg0).
arc(r_0112_0028__done,r_0112_0030__1950,r_0112_0029__in__nim).
arc(r_0112_0028__done,r_0112_0032__the_r_0112_0034__strain,r_0112_0031__because_of__nim).
arc(r_0112_0032__the_r_0112_0034__strain,r_0112_0033__financial,attrib).
arc(r_0112_0032__the_r_0112_0034__strain,r_0112_0036__the_r_0112_0038__war,r_0112_0035__of).
arc(r_0112_0036__the_r_0112_0038__war,r_0112_0037__Korean,attrib).
arc(z_0112_5001,r_0112_0001__Answering,restriction).
arc(z_0112_5001,r_0112_0021__reminded,scope).

fof(formula,axiom,
    ? [R_0112_0006__LABOUR,Z_0112_5014,R_0112_0005__WAS,R_0112_0002__JEERS,R_0112_0019__MR_R_0112_0020__BROWN,R_0112_0001__ANSWERING,R_0112_0023__HOSTILE,R_0112_0022__THE_R_0112_0024__GOVERNMENT_R_0112_0025__BENCHES,R_0112_0008__FIRST,R_0112_0010__A_R_0112_0011__CEILING,R_0112_0013__HEALTH_R_0112_0014__SPENDING,R_0112_0009__PUT_R_0112_0012__ON,R_0112_0017__CHARGES,R_0112_0016__STARTED,R_0112_0015__AND,R_0112_0030__1950,R_0112_0033__FINANCIAL,R_0112_0037__KOREAN,R_0112_0036__THE_R_0112_0038__WAR,R_0112_0032__THE_R_0112_0034__STRAIN,R_0112_0027__WAS_R_0112_0028__DONE,R_0112_0021__REMINDED,Z_0112_5001] :
      ( r_0112_0006__labour(R_0112_0006__LABOUR)
      & r_0112_0008__first(R_0112_0008__FIRST)
      & r_0112_0010__a_r_0112_0011__ceiling(R_0112_0010__A_R_0112_0011__CEILING)
      & r_0112_0013__health_r_0112_0014__spending(R_0112_0013__HEALTH_R_0112_0014__SPENDING)
      & r_0112_0017__charges(R_0112_0017__CHARGES)
      & r_0112_0019__Mr_r_0112_0020__Brown(R_0112_0019__MR_R_0112_0020__BROWN)
      & r_0112_0023__hostile(R_0112_0023__HOSTILE)
      & r_0112_0030__1950(R_0112_0030__1950)
      & r_0112_0033__financial(R_0112_0033__FINANCIAL)
      & r_0112_0037__Korean(R_0112_0037__KOREAN)
      & z_0112_5014(Z_0112_5014)
      & z_0112_5001(Z_0112_5001)
      & has_conj2(Z_0112_5001,R_0112_0021__REMINDED)
      & r_0112_0021__reminded(R_0112_0021__REMINDED)
      & has_arg1(R_0112_0021__REMINDED,R_0112_0027__WAS_R_0112_0028__DONE)
      & r_0112_0027__was_r_0112_0028__done(R_0112_0027__WAS_R_0112_0028__DONE)
      & has_r_0112_0031__because_of__nim(R_0112_0027__WAS_R_0112_0028__DONE,R_0112_0032__THE_R_0112_0034__STRAIN)
      & r_0112_0032__the_r_0112_0034__strain(R_0112_0032__THE_R_0112_0034__STRAIN)
      & has_r_0112_0035__of(R_0112_0032__THE_R_0112_0034__STRAIN,R_0112_0036__THE_R_0112_0038__WAR)
      & r_0112_0036__the_r_0112_0038__war(R_0112_0036__THE_R_0112_0038__WAR)
      & has_attrib(R_0112_0036__THE_R_0112_0038__WAR,R_0112_0037__KOREAN)
      & has_attrib(R_0112_0032__THE_R_0112_0034__STRAIN,R_0112_0033__FINANCIAL)
      & has_r_0112_0029__in__nim(R_0112_0027__WAS_R_0112_0028__DONE,R_0112_0030__1950)
      & has_arg0(R_0112_0027__WAS_R_0112_0028__DONE,R_0112_0015__AND)
      & r_0112_0015__and(R_0112_0015__AND)
      & has_conj2(R_0112_0015__AND,R_0112_0016__STARTED)
      & r_0112_0016__started(R_0112_0016__STARTED)
      & has_arg0(R_0112_0016__STARTED,Z_0112_5014)
      & has_arg1(R_0112_0016__STARTED,R_0112_0017__CHARGES)
      & has_conj1(R_0112_0015__AND,R_0112_0009__PUT_R_0112_0012__ON)
      & r_0112_0009__put_r_0112_0012__on(R_0112_0009__PUT_R_0112_0012__ON)
      & has_arg0(R_0112_0009__PUT_R_0112_0012__ON,Z_0112_5014)
      & has_arg2(R_0112_0009__PUT_R_0112_0012__ON,R_0112_0013__HEALTH_R_0112_0014__SPENDING)
      & has_arg1(R_0112_0009__PUT_R_0112_0012__ON,R_0112_0010__A_R_0112_0011__CEILING)
      & has_nim(R_0112_0009__PUT_R_0112_0012__ON,R_0112_0008__FIRST)
      & has_arg2(R_0112_0021__REMINDED,R_0112_0022__THE_R_0112_0024__GOVERNMENT_R_0112_0025__BENCHES)
      & r_0112_0022__the_r_0112_0024__government_r_0112_0025__benches(R_0112_0022__THE_R_0112_0024__GOVERNMENT_R_0112_0025__BENCHES)
      & has_attrib(R_0112_0022__THE_R_0112_0024__GOVERNMENT_R_0112_0025__BENCHES,R_0112_0023__HOSTILE)
      & has_arg0(R_0112_0021__REMINDED,R_0112_0019__MR_R_0112_0020__BROWN)
      & has_conj1(Z_0112_5001,R_0112_0001__ANSWERING)
      & r_0112_0001__Answering(R_0112_0001__ANSWERING)
      & has_arg0(R_0112_0001__ANSWERING,R_0112_0019__MR_R_0112_0020__BROWN)
      & has_arg1(R_0112_0001__ANSWERING,R_0112_0002__JEERS)
      & r_0112_0002__jeers(R_0112_0002__JEERS)
      & has_emb(R_0112_0002__JEERS,R_0112_0005__WAS)
      & r_0112_0005__was(R_0112_0005__WAS)
      & has_prd(R_0112_0005__WAS,Z_0112_5014)
      & has_arg0(R_0112_0005__WAS,R_0112_0006__LABOUR) ) ).