TSPC 49_a_stuck

49_a_stuck_japan
And the ballooning bill isn't helped by an ageing population that can not retire because of the pressure on healthcare and pensions.

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (D the;{the})
                  (N ballooning;{ballooning})
                  (N bill;{bill}))
          (BEP;_cat_VePASS_ is;{be})
          (NEG n<apos>t;{not})
          (IP-PPL-CAT (VVN;_Tn_ helped;{help})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D an;{a})
                                  (ADJP (ADJ ageing;{ageing}))
                                  (N population;{population})
                                  (IP-REL (C that;{that})
                                          (NP-SBJ *T*)
                                          (MD;_cat_Vi_ can;{can})
                                          (NEG not;{not})
                                          (IP-PPL-CAT (VB;_I_ retire;{retire}))
                                          (PP-NIM (P-ROLE because_of;{because_of})
                                                  (NP (D the;{the})
                                                      (N pressure;{pressure})
                                                      (PP (P-ROLE on;{on})
                                                          (NP (NLYR (NLYR (N healthcare;{healthcare}))
                                                                    (CONJP (CONJ and;{and})
                                                                           (NLYR (NS pensions;{pension}))))))))))))
          (PUNC .))
  (ID 49_a_stuck_japan))

arc(r_0049_0005__is,r_0049_0007__helped,scope).
arc(r_0049_0006__n_apos_t,r_0049_0005__is,keep_scope).
arc(r_0049_0007__helped,r_0049_0002__the_r_0049_0003__ballooning_r_0049_0004__bill,arg1).
arc(r_0049_0007__helped,r_0049_0009__an_r_0049_0011__population,r_0049_0008__by_arg0).
arc(r_0049_0009__an_r_0049_0011__population,r_0049_0010__ageing,attrib).
arc(r_0049_0013__can,r_0049_0015__retire,scope).
arc(r_0049_0013__can,r_0049_0017__the_r_0049_0018__pressure,r_0049_0016__because_of__nim).
arc(r_0049_0014__not,r_0049_0013__can,keep_scope).
arc(r_0049_0015__retire,r_0049_0009__an_r_0049_0011__population,inv_arg0).
arc(r_0049_0017__the_r_0049_0018__pressure,r_0049_0021__and,r_0049_0019__on).
arc(r_0049_0021__and,r_0049_0020__healthcare,conj1).
arc(r_0049_0021__and,r_0049_0022__pensions,conj2).

fof(formula,axiom,
    ( ~ ? [R_0049_0020__HEALTHCARE,R_0049_0022__PENSIONS,R_0049_0021__AND,R_0049_0017__THE_R_0049_0018__PRESSURE,R_0049_0013__CAN_R_0049_0015__RETIRE] :
          ( r_0049_0020__healthcare(R_0049_0020__HEALTHCARE)
          & r_0049_0022__pensions(R_0049_0022__PENSIONS)
          & r_0049_0013__can_r_0049_0015__retire(R_0049_0013__CAN_R_0049_0015__RETIRE)
          & has_r_0049_0016__because_of__nim(R_0049_0013__CAN_R_0049_0015__RETIRE,R_0049_0017__THE_R_0049_0018__PRESSURE)
          & r_0049_0017__the_r_0049_0018__pressure(R_0049_0017__THE_R_0049_0018__PRESSURE)
          & has_r_0049_0019__on(R_0049_0017__THE_R_0049_0018__PRESSURE,R_0049_0021__AND)
          & r_0049_0021__and(R_0049_0021__AND)
          & has_conj2(R_0049_0021__AND,R_0049_0022__PENSIONS)
          & has_conj1(R_0049_0021__AND,R_0049_0020__HEALTHCARE) )
    & ~ ? [R_0049_0002__THE_R_0049_0003__BALLOONING_R_0049_0004__BILL,R_0049_0010__AGEING,R_0049_0020__HEALTHCARE,R_0049_0022__PENSIONS,R_0049_0021__AND,R_0049_0017__THE_R_0049_0018__PRESSURE,R_0049_0013__CAN_R_0049_0015__RETIRE,R_0049_0009__AN_R_0049_0011__POPULATION,R_0049_0005__IS_R_0049_0007__HELPED] :
          ( r_0049_0002__the_r_0049_0003__ballooning_r_0049_0004__bill(R_0049_0002__THE_R_0049_0003__BALLOONING_R_0049_0004__BILL)
          & r_0049_0010__ageing(R_0049_0010__AGEING)
          & r_0049_0020__healthcare(R_0049_0020__HEALTHCARE)
          & r_0049_0022__pensions(R_0049_0022__PENSIONS)
          & r_0049_0005__is_r_0049_0007__helped(R_0049_0005__IS_R_0049_0007__HELPED)
          & has_r_0049_0008__by_arg0(R_0049_0005__IS_R_0049_0007__HELPED,R_0049_0009__AN_R_0049_0011__POPULATION)
          & r_0049_0009__an_r_0049_0011__population(R_0049_0009__AN_R_0049_0011__POPULATION)
          & has_inv_arg0(R_0049_0009__AN_R_0049_0011__POPULATION,R_0049_0013__CAN_R_0049_0015__RETIRE)
          & r_0049_0013__can_r_0049_0015__retire(R_0049_0013__CAN_R_0049_0015__RETIRE)
          & has_r_0049_0016__because_of__nim(R_0049_0013__CAN_R_0049_0015__RETIRE,R_0049_0017__THE_R_0049_0018__PRESSURE)
          & r_0049_0017__the_r_0049_0018__pressure(R_0049_0017__THE_R_0049_0018__PRESSURE)
          & has_r_0049_0019__on(R_0049_0017__THE_R_0049_0018__PRESSURE,R_0049_0021__AND)
          & r_0049_0021__and(R_0049_0021__AND)
          & has_conj2(R_0049_0021__AND,R_0049_0022__PENSIONS)
          & has_conj1(R_0049_0021__AND,R_0049_0020__HEALTHCARE)
          & has_attrib(R_0049_0009__AN_R_0049_0011__POPULATION,R_0049_0010__AGEING)
          & has_arg1(R_0049_0005__IS_R_0049_0007__HELPED,R_0049_0002__THE_R_0049_0003__BALLOONING_R_0049_0004__BILL) ) ) ).