TSPC 110_a_lob

110_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.

arc(r_0110_0001__Answering, r_0110_0002__jeers, arg1).
arc(r_0110_0001__Answering, r_0110_0019__Mr_r_0110_0020__Brown, arg0).
arc(r_0110_0002__jeers, r_0110_0003__that_r_0110_0005__was, emb10).
arc(r_0110_0003__that_r_0110_0005__was, r_0110_0006__labour, arg0).
arc(r_0110_0009__put, r_0110_0008__first, nim27).
arc(r_0110_0009__put, r_0110_0010__a_r_0110_0011__ceiling, arg1).
arc(r_0110_0009__put, r_0110_0013__health_r_0110_0014__spending, r_0110_0012__on_clr40).
arc(r_0110_0009__put, x_000_110_a_lob_a01_21, arg0).
arc(r_0110_0015__and, r_0110_0009__put, conj1).
arc(r_0110_0015__and, r_0110_0016__started, conj2).
arc(r_0110_0016__started, r_0110_0017__charges, arg1).
arc(r_0110_0016__started, x_000_110_a_lob_a01_21, arg0).
arc(r_0110_0021__reminded, r_0110_0019__Mr_r_0110_0020__Brown, arg0).
arc(r_0110_0021__reminded, r_0110_0022__the_r_0110_0024__government_r_0110_0025__benches, arg2).
arc(r_0110_0021__reminded, r_0110_0027__was, arg1).
arc(r_0110_0022__the_r_0110_0024__government_r_0110_0025__benches, r_0110_0023__hostile, attrib66).
arc(r_0110_0027__was, r_0110_0028__done, scope).
arc(r_0110_0028__done, r_0110_0026__that, arg1).
arc(r_0110_0028__done, r_0110_0030__1950, r_0110_0029__in_nim88).
arc(r_0110_0028__done, r_0110_0032__the_r_0110_0034__strain, r_0110_0031__because_of_nim94).
arc(r_0110_0028__done, z_000_110_a_lob_a01_81, arg0).
arc(r_0110_0032__the_r_0110_0034__strain, r_0110_0033__financial, attrib97).
arc(r_0110_0032__the_r_0110_0034__strain, r_0110_0036__the_r_0110_0038__war, r_0110_0035__of).
arc(r_0110_0036__the_r_0110_0038__war, r_0110_0037__Korean, attrib108).
arc(z_000_110_a_lob_a01_2, r_0110_0001__Answering, restriction).
arc(z_000_110_a_lob_a01_2, r_0110_0021__reminded, scope).

fof(formula,axiom,
    ? [R_0110_0008__FIRST,R_0110_0010__A_R_0110_0011__CEILING,R_0110_0013__HEALTH_R_0110_0014__SPENDING,X_000_110_A_LOB_A01_21,R_0110_0009__PUT,R_0110_0017__CHARGES,R_0110_0016__STARTED,R_0110_0015__AND,R_0110_0006__LABOUR,R_0110_0003__THAT_R_0110_0005__WAS,R_0110_0002__JEERS,R_0110_0019__MR_R_0110_0020__BROWN,R_0110_0001__ANSWERING,R_0110_0023__HOSTILE,R_0110_0022__THE_R_0110_0024__GOVERNMENT_R_0110_0025__BENCHES,R_0110_0026__THAT,R_0110_0030__1950,R_0110_0033__FINANCIAL,R_0110_0037__KOREAN,R_0110_0036__THE_R_0110_0038__WAR,R_0110_0032__THE_R_0110_0034__STRAIN,Z_000_110_A_LOB_A01_81,R_0110_0027__WAS_R_0110_0028__DONE,R_0110_0021__REMINDED,Z_000_110_A_LOB_A01_2] :
      ( r_0110_0006__labour(R_0110_0006__LABOUR)
      & r_0110_0008__first(R_0110_0008__FIRST)
      & r_0110_0010__a_r_0110_0011__ceiling(R_0110_0010__A_R_0110_0011__CEILING)
      & r_0110_0013__health_r_0110_0014__spending(R_0110_0013__HEALTH_R_0110_0014__SPENDING)
      & r_0110_0017__charges(R_0110_0017__CHARGES)
      & r_0110_0019__Mr_r_0110_0020__Brown(R_0110_0019__MR_R_0110_0020__BROWN)
      & r_0110_0023__hostile(R_0110_0023__HOSTILE)
      & r_0110_0026__that(R_0110_0026__THAT)
      & r_0110_0030__1950(R_0110_0030__1950)
      & r_0110_0033__financial(R_0110_0033__FINANCIAL)
      & r_0110_0037__Korean(R_0110_0037__KOREAN)
      & x_000_110_a_lob_a01_21(X_000_110_A_LOB_A01_21)
      & z_000_110_a_lob_a01_81(Z_000_110_A_LOB_A01_81)
      & z_000_110_a_lob_a01_2(Z_000_110_A_LOB_A01_2)
      & has_conj2(Z_000_110_A_LOB_A01_2,R_0110_0021__REMINDED)
      & r_0110_0021__reminded(R_0110_0021__REMINDED)
      & has_arg1(R_0110_0021__REMINDED,R_0110_0027__WAS_R_0110_0028__DONE)
      & r_0110_0027__was_r_0110_0028__done(R_0110_0027__WAS_R_0110_0028__DONE)
      & has_arg0(R_0110_0027__WAS_R_0110_0028__DONE,Z_000_110_A_LOB_A01_81)
      & has_r_0110_0031__because_of_nim94(R_0110_0027__WAS_R_0110_0028__DONE,R_0110_0032__THE_R_0110_0034__STRAIN)
      & r_0110_0032__the_r_0110_0034__strain(R_0110_0032__THE_R_0110_0034__STRAIN)
      & has_r_0110_0035__of(R_0110_0032__THE_R_0110_0034__STRAIN,R_0110_0036__THE_R_0110_0038__WAR)
      & r_0110_0036__the_r_0110_0038__war(R_0110_0036__THE_R_0110_0038__WAR)
      & has_attrib108(R_0110_0036__THE_R_0110_0038__WAR,R_0110_0037__KOREAN)
      & has_attrib97(R_0110_0032__THE_R_0110_0034__STRAIN,R_0110_0033__FINANCIAL)
      & has_r_0110_0029__in_nim88(R_0110_0027__WAS_R_0110_0028__DONE,R_0110_0030__1950)
      & has_arg1(R_0110_0027__WAS_R_0110_0028__DONE,R_0110_0026__THAT)
      & has_arg2(R_0110_0021__REMINDED,R_0110_0022__THE_R_0110_0024__GOVERNMENT_R_0110_0025__BENCHES)
      & r_0110_0022__the_r_0110_0024__government_r_0110_0025__benches(R_0110_0022__THE_R_0110_0024__GOVERNMENT_R_0110_0025__BENCHES)
      & has_attrib66(R_0110_0022__THE_R_0110_0024__GOVERNMENT_R_0110_0025__BENCHES,R_0110_0023__HOSTILE)
      & has_arg0(R_0110_0021__REMINDED,R_0110_0019__MR_R_0110_0020__BROWN)
      & has_conj1(Z_000_110_A_LOB_A01_2,R_0110_0001__ANSWERING)
      & r_0110_0001__Answering(R_0110_0001__ANSWERING)
      & has_arg0(R_0110_0001__ANSWERING,R_0110_0019__MR_R_0110_0020__BROWN)
      & has_arg1(R_0110_0001__ANSWERING,R_0110_0002__JEERS)
      & r_0110_0002__jeers(R_0110_0002__JEERS)
      & has_emb10(R_0110_0002__JEERS,R_0110_0003__THAT_R_0110_0005__WAS)
      & r_0110_0003__that_r_0110_0005__was(R_0110_0003__THAT_R_0110_0005__WAS)
      & has_arg0(R_0110_0003__THAT_R_0110_0005__WAS,R_0110_0006__LABOUR)
      & r_0110_0015__and(R_0110_0015__AND)
      & has_conj2(R_0110_0015__AND,R_0110_0016__STARTED)
      & r_0110_0016__started(R_0110_0016__STARTED)
      & has_arg0(R_0110_0016__STARTED,X_000_110_A_LOB_A01_21)
      & has_arg1(R_0110_0016__STARTED,R_0110_0017__CHARGES)
      & has_conj1(R_0110_0015__AND,R_0110_0009__PUT)
      & r_0110_0009__put(R_0110_0009__PUT)
      & has_arg0(R_0110_0009__PUT,X_000_110_A_LOB_A01_21)
      & has_r_0110_0012__on_clr40(R_0110_0009__PUT,R_0110_0013__HEALTH_R_0110_0014__SPENDING)
      & has_arg1(R_0110_0009__PUT,R_0110_0010__A_R_0110_0011__CEILING)
      & has_nim27(R_0110_0009__PUT,R_0110_0008__FIRST) ) ).

( (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 (NP-LGS *)
                                          (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 110_a_lob_a01))