TSPC 123_a_lob

123_a_lob_a01
His basic defence of the health service cuts was that ‘even after the proposed changes the net cost of the service to the exchequer will have increased over three years by 20 per cent.

arc(r_0123_0003__defence, r_0123_0001__His, gen).
arc(r_0123_0003__defence, r_0123_0002__basic, attrib6).
arc(r_0123_0003__defence, r_0123_0005__the_r_0123_0006__health_r_0123_0007__service_r_0123_0008__cuts, r_0123_0004__of).
arc(r_0123_0009__was, r_0123_0003__defence, arg0).
arc(r_0123_0009__was, r_0123_0010__that_r_0123_0026__will, prd).
arc(r_0123_0010__that_r_0123_0026__will, r_0123_0014__the_r_0123_0016__changes, r_0123_0012__even_r_0123_0013__after_nim36).
arc(r_0123_0010__that_r_0123_0026__will, r_0123_0027__have, scope).
arc(r_0123_0014__the_r_0123_0016__changes, r_0123_0015__proposed, attrib39).
arc(r_0123_0017__the_r_0123_0019__cost, r_0123_0018__net, attrib47).
arc(r_0123_0017__the_r_0123_0019__cost, r_0123_0021__the_r_0123_0022__service, r_0123_0020__of).
arc(r_0123_0021__the_r_0123_0022__service, r_0123_0024__the_r_0123_0025__exchequer, r_0123_0023__to).
arc(r_0123_0027__have, r_0123_0028__increased, scope).
arc(r_0123_0028__increased, r_0123_0017__the_r_0123_0019__cost, arg0).
arc(r_0123_0028__increased, r_0123_0030__three_r_0123_0031__years, r_0123_0029__over_nim79).
arc(r_0123_0028__increased, r_0123_0033__20_r_0123_0034__per_cent, r_0123_0032__by_nim87).

fof(formula,axiom,
    ? [R_0123_0001__HIS,R_0123_0002__BASIC,R_0123_0005__THE_R_0123_0006__HEALTH_R_0123_0007__SERVICE_R_0123_0008__CUTS,R_0123_0003__DEFENCE,R_0123_0015__PROPOSED,R_0123_0014__THE_R_0123_0016__CHANGES,R_0123_0018__NET,R_0123_0024__THE_R_0123_0025__EXCHEQUER,R_0123_0021__THE_R_0123_0022__SERVICE,R_0123_0017__THE_R_0123_0019__COST,R_0123_0030__THREE_R_0123_0031__YEARS,R_0123_0033__20_R_0123_0034__PER_CENT,R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED,R_0123_0009__WAS] :
      ( r_0123_0001__His(R_0123_0001__HIS)
      & r_0123_0002__basic(R_0123_0002__BASIC)
      & r_0123_0005__the_r_0123_0006__health_r_0123_0007__service_r_0123_0008__cuts(R_0123_0005__THE_R_0123_0006__HEALTH_R_0123_0007__SERVICE_R_0123_0008__CUTS)
      & r_0123_0015__proposed(R_0123_0015__PROPOSED)
      & r_0123_0018__net(R_0123_0018__NET)
      & r_0123_0024__the_r_0123_0025__exchequer(R_0123_0024__THE_R_0123_0025__EXCHEQUER)
      & r_0123_0030__three_r_0123_0031__years(R_0123_0030__THREE_R_0123_0031__YEARS)
      & r_0123_0033__20_r_0123_0034__per_cent(R_0123_0033__20_R_0123_0034__PER_CENT)
      & r_0123_0009__was(R_0123_0009__WAS)
      & has_prd(R_0123_0009__WAS,R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED)
      & r_0123_0010__that_r_0123_0026__will_r_0123_0027__have_r_0123_0028__increased(R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED)
      & has_r_0123_0032__by_nim87(R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED,R_0123_0033__20_R_0123_0034__PER_CENT)
      & has_r_0123_0029__over_nim79(R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED,R_0123_0030__THREE_R_0123_0031__YEARS)
      & has_arg0(R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED,R_0123_0017__THE_R_0123_0019__COST)
      & r_0123_0017__the_r_0123_0019__cost(R_0123_0017__THE_R_0123_0019__COST)
      & has_r_0123_0020__of(R_0123_0017__THE_R_0123_0019__COST,R_0123_0021__THE_R_0123_0022__SERVICE)
      & r_0123_0021__the_r_0123_0022__service(R_0123_0021__THE_R_0123_0022__SERVICE)
      & has_r_0123_0023__to(R_0123_0021__THE_R_0123_0022__SERVICE,R_0123_0024__THE_R_0123_0025__EXCHEQUER)
      & has_attrib47(R_0123_0017__THE_R_0123_0019__COST,R_0123_0018__NET)
      & has_r_0123_0012__even_r_0123_0013__after_nim36(R_0123_0010__THAT_R_0123_0026__WILL_R_0123_0027__HAVE_R_0123_0028__INCREASED,R_0123_0014__THE_R_0123_0016__CHANGES)
      & r_0123_0014__the_r_0123_0016__changes(R_0123_0014__THE_R_0123_0016__CHANGES)
      & has_attrib39(R_0123_0014__THE_R_0123_0016__CHANGES,R_0123_0015__PROPOSED)
      & has_arg0(R_0123_0009__WAS,R_0123_0003__DEFENCE)
      & r_0123_0003__defence(R_0123_0003__DEFENCE)
      & has_r_0123_0004__of(R_0123_0003__DEFENCE,R_0123_0005__THE_R_0123_0006__HEALTH_R_0123_0007__SERVICE_R_0123_0008__CUTS)
      & has_attrib6(R_0123_0003__DEFENCE,R_0123_0002__BASIC)
      & has_gen(R_0123_0003__DEFENCE,R_0123_0001__HIS) ) ).

( (IP-MAT (NP-SBJ (NP-GEN;{POWELL} (PRO;_genm_ His;{his}))
                  (ADJP (ADJ basic;{basic}))
                  (N defence;{defence})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (N health;{health})
                          (N service;{service})
                          (NS cuts;{cut}))))
          (BED;_equ_Vf_ was;{be})
          (CP-THT-PRD (IP-SUB (C that;{that})
                              (PULQ <lquo>)
                              (PP-NIM (ADV even;{even})
                                      (P-ROLE after;{after})
                                      (NP (D the;{the})
                                          (ADJP (ADJ proposed;{proposed}))
                                          (NS changes;{change})))
                              (NP-SBJ (D the;{the})
                                      (ADJP (ADJ net;{net}))
                                      (N cost;{cost})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (N service;{service})
                                              (PP (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (N exchequer;{exchequer}))))))
                              (MD;_cat_Vi_ will;{will})
                              (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                          (IP-PPL-CAT (VVN;__ increased;{increase})
                                                      (PP-NIM (P-ROLE over;{over})
                                                              (NP (NUM three;{three})
                                                                  (NS years;{year})))
                                                      (PP-NIM (P-ROLE by;{by})
                                                              (NP (NUM 20)
                                                                  (N per_cent;{per_cent})))))))
          (PUNC .))
  (ID 123_a_lob_a01))