TSPC 20_a_opencities

20_a_opencities
We have good health care and pensions which means we have a lot more healthy older people who are retired, and that's great, but we also need more young people who are working and paying into the system still to help support it and keep our economy going.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{COUNTRY} (PRO We;{we}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (ADJP (ADJ good;{good}))
                              (NLYR (NLYR (N health;{health})
                                          (N care;{care}))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NS pensions;{pension})))))
                      (IP-CAR (NP-SBJ (RPRO which;{which}))
                              (VBP;_Tf_ means;{mean})
                              (CP-THT-OB1 (IP-SUB (NP-SBJ;{COUNTRY} (PRO we;{we}))
                                                  (HVP;_Tn_ have;{have})
                                                  (NP-OB1;{RETIREES} (ADJP (NP (D;_nphd_ a_lot;{a_lot}))
                                                                           (ADJR more;{more}))
                                                                     (ADJP (ADJ healthy;{healthy}))
                                                                     (ADJP (ADJR older;{old}))
                                                                     (NS people;{people})
                                                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                             (BEP;_La_ are;{be})
                                                                             (ADJP-PRD (ADJ retired;{retired}))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (NP-SBJ;{RETIREES} (D;_nphd_ that;{that}))
                                         (BEP;_La_ <apos>s;{be})
                                         (ADJP-PRD (ADJ great;{great})))
                                   (PUNC ,)
                                   (CONJP (CONJ but;{but})
                                          (ILYR (NP-SBJ;{COUNTRY} (PRO we;{we}))
                                                (ADVP-NIM (ADV also;{also}))
                                                (VBP;_Tn_ need;{need})
                                                (NP-OB1 (ADJP (ADVP (ADVR more;{more}))
                                                              (ADJ young;{young}))
                                                        (NS people;{people})
                                                        (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                (BEP;_cat_Vg_ are;{be})
                                                                (IP-PPL-CAT (ILYR (ILYR (VAG;_I_ working;{work}))
                                                                                  (CONJP (CONJ and;{and})
                                                                                         (ILYR (VAG;_I_ paying;{pay})
                                                                                               (PP-NIM (P-ROLE into;{into})
                                                                                                       (NP;{SYSTEM} (D the;{the})
                                                                                                                    (N system;{system})))))))
                                                                (ADVP-NIM (ADV still;{still}))
                                                                (PP-SCON (IP-INF (TO to;{to})
                                                                                 (VB;_cat_Vi_ help;{help})
                                                                                 (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ support;{support})
                                                                                                         (NP-OB1;{SYSTEM} (PRO it;{it})))
                                                                                                   (CONJP (CONJ and;{and})
                                                                                                          (ILYR (VB;_Cn.g_ keep;{keep})
                                                                                                                (NP-OB1 (NP-GEN;{COUNTRY} (PRO;_genm_ our;{our}))
                                                                                                                        (N economy;{economy}))
                                                                                                                (IP-PPL-PRD (VAG;_I_ going;{go}))))))))))))))))
          (PUNC .))
  (ID 20_a_opencities))

arc(r_0020_0002__have,r_0020_0001__We,arg0).
arc(r_0020_0002__have,r_0020_0006__and,arg1).
arc(r_0020_0002__have,z_0020_5016,nim).
arc(r_0020_0006__and,r_0020_0003__good,attrib).
arc(r_0020_0006__and,r_0020_0004__health_r_0020_0005__care,conj1).
arc(r_0020_0006__and,r_0020_0007__pensions,conj2).
arc(r_0020_0009__means,r_0020_0011__have,arg1).
arc(r_0020_0009__means,z_0020_5016,arg0).
arc(r_0020_0011__have,r_0020_0001__We,arg0).
arc(r_0020_0011__have,r_0020_0016__people,arg1).
arc(r_0020_0013__more,r_0020_0012__a_lot,nim).
arc(r_0020_0016__people,r_0020_0013__more,attrib).
arc(r_0020_0016__people,r_0020_0014__healthy,attrib).
arc(r_0020_0016__people,r_0020_0015__older,attrib).
arc(r_0020_0018__are,r_0020_0016__people,arg0).
arc(r_0020_0018__are,r_0020_0019__retired,prd).
arc(r_0020_0021__and,r_0020_0002__have,conj1).
arc(r_0020_0021__and,r_0020_0026__but,conj2).
arc(r_0020_0023___apos_s,r_0020_0016__people,arg0).
arc(r_0020_0023___apos_s,r_0020_0024__great,prd).
arc(r_0020_0026__but,r_0020_0023___apos_s,conj1).
arc(r_0020_0026__but,r_0020_0029__need,conj2).
arc(r_0020_0029__need,r_0020_0001__We,arg0).
arc(r_0020_0029__need,r_0020_0028__also,nim).
arc(r_0020_0029__need,r_0020_0032__people,arg1).
arc(r_0020_0031__young,r_0020_0030__more,qual).
arc(r_0020_0032__people,r_0020_0031__young,attrib).
arc(r_0020_0034__are,r_0020_0036__and,scope).
arc(r_0020_0034__are,r_0020_0041__still,nim).
arc(r_0020_0035__working,r_0020_0032__people,arg0).
arc(r_0020_0036__and,r_0020_0035__working,conj1).
arc(r_0020_0036__and,r_0020_0037__paying,conj2).
arc(r_0020_0037__paying,r_0020_0032__people,arg0).
arc(r_0020_0037__paying,r_0020_0039__the_r_0020_0040__system,r_0020_0038__into__nim).
arc(r_0020_0043__help,r_0020_0046__and,scope).
arc(r_0020_0044__support,r_0020_0032__people,arg0).
arc(r_0020_0044__support,r_0020_0039__the_r_0020_0040__system,arg1).
arc(r_0020_0046__and,r_0020_0044__support,conj1).
arc(r_0020_0046__and,r_0020_0047__keep,conj2).
arc(r_0020_0047__keep,r_0020_0032__people,arg0).
arc(r_0020_0047__keep,r_0020_0049__economy,arg1).
arc(r_0020_0047__keep,r_0020_0050__going,prd).
arc(r_0020_0049__economy,r_0020_0001__We,gen).
arc(r_0020_0050__going,z_0020_5034,arg0).
arc(z_0020_5025,r_0020_0034__are,scope).
arc(z_0020_5025,r_0020_0043__help,restriction).

fof(formula,axiom,
    ? [R_0020_0001__WE,R_0020_0012__A_LOT,R_0020_0013__MORE,R_0020_0014__HEALTHY,R_0020_0015__OLDER,R_0020_0016__PEOPLE,R_0020_0011__HAVE,Z_0020_5016,R_0020_0009__MEANS,R_0020_0019__RETIRED,R_0020_0018__ARE,R_0020_0003__GOOD,R_0020_0004__HEALTH_R_0020_0005__CARE,R_0020_0007__PENSIONS,R_0020_0006__AND,R_0020_0002__HAVE,R_0020_0024__GREAT,R_0020_0023___APOS_S,R_0020_0028__ALSO,R_0020_0030__MORE,R_0020_0031__YOUNG,R_0020_0032__PEOPLE,R_0020_0029__NEED,R_0020_0026__BUT,R_0020_0021__AND,R_0020_0041__STILL,R_0020_0035__WORKING,R_0020_0039__THE_R_0020_0040__SYSTEM,R_0020_0037__PAYING,R_0020_0036__AND,R_0020_0034__ARE,R_0020_0044__SUPPORT,R_0020_0049__ECONOMY,Z_0020_5034,R_0020_0050__GOING,R_0020_0047__KEEP,R_0020_0046__AND,R_0020_0043__HELP,Z_0020_5025] :
      ( r_0020_0001__We(R_0020_0001__WE)
      & r_0020_0003__good(R_0020_0003__GOOD)
      & r_0020_0004__health_r_0020_0005__care(R_0020_0004__HEALTH_R_0020_0005__CARE)
      & r_0020_0007__pensions(R_0020_0007__PENSIONS)
      & r_0020_0012__a_lot(R_0020_0012__A_LOT)
      & r_0020_0014__healthy(R_0020_0014__HEALTHY)
      & r_0020_0015__older(R_0020_0015__OLDER)
      & r_0020_0019__retired(R_0020_0019__RETIRED)
      & r_0020_0024__great(R_0020_0024__GREAT)
      & r_0020_0028__also(R_0020_0028__ALSO)
      & r_0020_0030__more(R_0020_0030__MORE)
      & r_0020_0039__the_r_0020_0040__system(R_0020_0039__THE_R_0020_0040__SYSTEM)
      & r_0020_0041__still(R_0020_0041__STILL)
      & z_0020_5016(Z_0020_5016)
      & z_0020_5034(Z_0020_5034)
      & z_0020_5025(Z_0020_5025)
      & has_conj1(Z_0020_5025,R_0020_0043__HELP)
      & r_0020_0043__help(R_0020_0043__HELP)
      & has_keep_scope(R_0020_0043__HELP,R_0020_0046__AND)
      & r_0020_0046__and(R_0020_0046__AND)
      & has_conj2(R_0020_0046__AND,R_0020_0047__KEEP)
      & r_0020_0047__keep(R_0020_0047__KEEP)
      & has_prd(R_0020_0047__KEEP,R_0020_0050__GOING)
      & r_0020_0050__going(R_0020_0050__GOING)
      & has_arg0(R_0020_0050__GOING,Z_0020_5034)
      & has_arg1(R_0020_0047__KEEP,R_0020_0049__ECONOMY)
      & r_0020_0049__economy(R_0020_0049__ECONOMY)
      & has_gen(R_0020_0049__ECONOMY,R_0020_0001__WE)
      & has_arg0(R_0020_0047__KEEP,R_0020_0032__PEOPLE)
      & r_0020_0032__people(R_0020_0032__PEOPLE)
      & has_attrib(R_0020_0032__PEOPLE,R_0020_0031__YOUNG)
      & r_0020_0031__young(R_0020_0031__YOUNG)
      & has_qual(R_0020_0031__YOUNG,R_0020_0030__MORE)
      & has_conj1(R_0020_0046__AND,R_0020_0044__SUPPORT)
      & r_0020_0044__support(R_0020_0044__SUPPORT)
      & has_arg1(R_0020_0044__SUPPORT,R_0020_0039__THE_R_0020_0040__SYSTEM)
      & has_arg0(R_0020_0044__SUPPORT,R_0020_0032__PEOPLE)
      & has_conj2(Z_0020_5025,R_0020_0034__ARE)
      & r_0020_0034__are(R_0020_0034__ARE)
      & has_keep_scope(R_0020_0034__ARE,R_0020_0036__AND)
      & r_0020_0036__and(R_0020_0036__AND)
      & has_conj2(R_0020_0036__AND,R_0020_0037__PAYING)
      & r_0020_0037__paying(R_0020_0037__PAYING)
      & has_r_0020_0038__into__nim(R_0020_0037__PAYING,R_0020_0039__THE_R_0020_0040__SYSTEM)
      & has_arg0(R_0020_0037__PAYING,R_0020_0032__PEOPLE)
      & has_conj1(R_0020_0036__AND,R_0020_0035__WORKING)
      & r_0020_0035__working(R_0020_0035__WORKING)
      & has_arg0(R_0020_0035__WORKING,R_0020_0032__PEOPLE)
      & has_nim(R_0020_0034__ARE,R_0020_0041__STILL)
      & r_0020_0021__and(R_0020_0021__AND)
      & has_conj2(R_0020_0021__AND,R_0020_0026__BUT)
      & r_0020_0026__but(R_0020_0026__BUT)
      & has_conj2(R_0020_0026__BUT,R_0020_0029__NEED)
      & r_0020_0029__need(R_0020_0029__NEED)
      & has_arg1(R_0020_0029__NEED,R_0020_0032__PEOPLE)
      & has_nim(R_0020_0029__NEED,R_0020_0028__ALSO)
      & has_arg0(R_0020_0029__NEED,R_0020_0001__WE)
      & has_conj1(R_0020_0026__BUT,R_0020_0023___APOS_S)
      & r_0020_0023___apos_s(R_0020_0023___APOS_S)
      & has_prd(R_0020_0023___APOS_S,R_0020_0024__GREAT)
      & has_arg0(R_0020_0023___APOS_S,R_0020_0016__PEOPLE)
      & r_0020_0016__people(R_0020_0016__PEOPLE)
      & has_attrib(R_0020_0016__PEOPLE,R_0020_0015__OLDER)
      & has_attrib(R_0020_0016__PEOPLE,R_0020_0014__HEALTHY)
      & has_attrib(R_0020_0016__PEOPLE,R_0020_0013__MORE)
      & r_0020_0013__more(R_0020_0013__MORE)
      & has_nim(R_0020_0013__MORE,R_0020_0012__A_LOT)
      & has_conj1(R_0020_0021__AND,R_0020_0002__HAVE)
      & r_0020_0002__have(R_0020_0002__HAVE)
      & has_nim(R_0020_0002__HAVE,Z_0020_5016)
      & has_arg1(R_0020_0002__HAVE,R_0020_0006__AND)
      & r_0020_0006__and(R_0020_0006__AND)
      & has_conj2(R_0020_0006__AND,R_0020_0007__PENSIONS)
      & has_conj1(R_0020_0006__AND,R_0020_0004__HEALTH_R_0020_0005__CARE)
      & has_attrib(R_0020_0006__AND,R_0020_0003__GOOD)
      & has_arg0(R_0020_0002__HAVE,R_0020_0001__WE)
      & r_0020_0018__are(R_0020_0018__ARE)
      & has_prd(R_0020_0018__ARE,R_0020_0019__RETIRED)
      & has_arg0(R_0020_0018__ARE,R_0020_0016__PEOPLE)
      & r_0020_0009__means(R_0020_0009__MEANS)
      & has_arg0(R_0020_0009__MEANS,Z_0020_5016)
      & has_arg1(R_0020_0009__MEANS,R_0020_0011__HAVE)
      & r_0020_0011__have(R_0020_0011__HAVE)
      & has_arg1(R_0020_0011__HAVE,R_0020_0016__PEOPLE)
      & has_arg0(R_0020_0011__HAVE,R_0020_0001__WE) ) ).