TSPC 4_a_opencities

4_a_opencities
I know it's a bit of a stereotype that English food isn't very good, but nowadays the UK is one of the best places to eat out and you get a huge diversity and range of food to choose from.

arc(r_0004_0002__know, r_0004_0001__I, arg0).
arc(r_0004_0002__know, r_0004_0004___apos_s, arg1).
arc(r_0004_0004___apos_s, r_0004_0005__a_bit, prd).
arc(r_0004_0004___apos_s, r_0004_0009__that_r_0004_0012__is, arg0).
arc(r_0004_0004___apos_s, r_0004_0013__n_apos_t, arg0).
arc(r_0004_0005__a_bit, r_0004_0007__a_r_0004_0008__stereotype, r_0004_0006__of).
arc(r_0004_0009__that_r_0004_0012__is, r_0004_0010__English_r_0004_0011__food, arg0).
arc(r_0004_0009__that_r_0004_0012__is, r_0004_0015__good, prd).
arc(r_0004_0013__n_apos_t, r_0004_0009__that_r_0004_0012__is, keep_scope).
arc(r_0004_0015__good, r_0004_0014__very, qual41).
arc(r_0004_0017__but, r_0004_0002__know, conj1).
arc(r_0004_0017__but, r_0004_0030__and, conj2).
arc(r_0004_0021__is, r_0004_0018__nowadays, nim54).
arc(r_0004_0021__is, r_0004_0019__the_r_0004_0020__UK, arg0).
arc(r_0004_0021__is, r_0004_0022__one, prd).
arc(r_0004_0022__one, r_0004_0024__the_r_0004_0026__places, r_0004_0023__of).
arc(r_0004_0024__the_r_0004_0026__places, r_0004_0025__best, attrib73).
arc(r_0004_0027__to_r_0004_0028__eat_r_0004_0029__out, r_0004_0024__the_r_0004_0026__places, nim79).
arc(r_0004_0027__to_r_0004_0028__eat_r_0004_0029__out, z_000_4_a_opencities_78, arg0).
arc(r_0004_0030__and, r_0004_0021__is, conj1).
arc(r_0004_0030__and, r_0004_0032__get, conj2).
arc(r_0004_0032__get, r_0004_0031__you, arg0).
arc(r_0004_0032__get, r_0004_0036__and, arg1).
arc(r_0004_0036__and, r_0004_0034__huge, attrib99).
arc(r_0004_0036__and, r_0004_0035__diversity, conj1).
arc(r_0004_0036__and, r_0004_0037__range, conj2).
arc(r_0004_0036__and, r_0004_0039__food, r_0004_0038__of).
arc(r_0004_0040__to_r_0004_0041__choose, r_0004_0039__food, r_0004_0042__from_clr126).
arc(r_0004_0040__to_r_0004_0041__choose, z_000_4_a_opencities_118, arg0).

fof(formula,axiom,
    ? [R_0004_0001__I,R_0004_0007__A_R_0004_0008__STEREOTYPE,R_0004_0005__A_BIT,R_0004_0010__ENGLISH_R_0004_0011__FOOD,R_0004_0014__VERY,R_0004_0015__GOOD,R_0004_0009__THAT_R_0004_0012__IS,R_0004_0004___APOS_S,R_0004_0002__KNOW,R_0004_0018__NOWADAYS,R_0004_0019__THE_R_0004_0020__UK,R_0004_0025__BEST,R_0004_0024__THE_R_0004_0026__PLACES,R_0004_0022__ONE,R_0004_0021__IS,R_0004_0031__YOU,R_0004_0034__HUGE,R_0004_0035__DIVERSITY,R_0004_0037__RANGE,R_0004_0039__FOOD,R_0004_0036__AND,R_0004_0032__GET,R_0004_0030__AND,R_0004_0017__BUT,Z_000_4_A_OPENCITIES_78,R_0004_0027__TO_R_0004_0028__EAT_R_0004_0029__OUT,Z_000_4_A_OPENCITIES_118,R_0004_0040__TO_R_0004_0041__CHOOSE] :
      ( r_0004_0001__I(R_0004_0001__I)
      & r_0004_0007__a_r_0004_0008__stereotype(R_0004_0007__A_R_0004_0008__STEREOTYPE)
      & r_0004_0010__English_r_0004_0011__food(R_0004_0010__ENGLISH_R_0004_0011__FOOD)
      & r_0004_0014__very(R_0004_0014__VERY)
      & r_0004_0018__nowadays(R_0004_0018__NOWADAYS)
      & r_0004_0019__the_r_0004_0020__UK(R_0004_0019__THE_R_0004_0020__UK)
      & r_0004_0025__best(R_0004_0025__BEST)
      & r_0004_0031__you(R_0004_0031__YOU)
      & r_0004_0034__huge(R_0004_0034__HUGE)
      & r_0004_0035__diversity(R_0004_0035__DIVERSITY)
      & r_0004_0037__range(R_0004_0037__RANGE)
      & r_0004_0039__food(R_0004_0039__FOOD)
      & z_000_4_a_opencities_118(Z_000_4_A_OPENCITIES_118)
      & z_000_4_a_opencities_78(Z_000_4_A_OPENCITIES_78)
      & r_0004_0040__to_r_0004_0041__choose(R_0004_0040__TO_R_0004_0041__CHOOSE)
      & has_arg0(R_0004_0040__TO_R_0004_0041__CHOOSE,Z_000_4_A_OPENCITIES_118)
      & has_r_0004_0042__from_clr126(R_0004_0040__TO_R_0004_0041__CHOOSE,R_0004_0039__FOOD)
      & r_0004_0027__to_r_0004_0028__eat_r_0004_0029__out(R_0004_0027__TO_R_0004_0028__EAT_R_0004_0029__OUT)
      & has_arg0(R_0004_0027__TO_R_0004_0028__EAT_R_0004_0029__OUT,Z_000_4_A_OPENCITIES_78)
      & has_nim79(R_0004_0027__TO_R_0004_0028__EAT_R_0004_0029__OUT,R_0004_0024__THE_R_0004_0026__PLACES)
      & r_0004_0024__the_r_0004_0026__places(R_0004_0024__THE_R_0004_0026__PLACES)
      & has_attrib73(R_0004_0024__THE_R_0004_0026__PLACES,R_0004_0025__BEST)
      & r_0004_0017__but(R_0004_0017__BUT)
      & has_conj2(R_0004_0017__BUT,R_0004_0030__AND)
      & r_0004_0030__and(R_0004_0030__AND)
      & has_conj2(R_0004_0030__AND,R_0004_0032__GET)
      & r_0004_0032__get(R_0004_0032__GET)
      & has_arg1(R_0004_0032__GET,R_0004_0036__AND)
      & r_0004_0036__and(R_0004_0036__AND)
      & has_r_0004_0038__of(R_0004_0036__AND,R_0004_0039__FOOD)
      & has_conj2(R_0004_0036__AND,R_0004_0037__RANGE)
      & has_conj1(R_0004_0036__AND,R_0004_0035__DIVERSITY)
      & has_attrib99(R_0004_0036__AND,R_0004_0034__HUGE)
      & has_arg0(R_0004_0032__GET,R_0004_0031__YOU)
      & has_conj1(R_0004_0030__AND,R_0004_0021__IS)
      & r_0004_0021__is(R_0004_0021__IS)
      & has_prd(R_0004_0021__IS,R_0004_0022__ONE)
      & r_0004_0022__one(R_0004_0022__ONE)
      & has_r_0004_0023__of(R_0004_0022__ONE,R_0004_0024__THE_R_0004_0026__PLACES)
      & has_arg0(R_0004_0021__IS,R_0004_0019__THE_R_0004_0020__UK)
      & has_nim54(R_0004_0021__IS,R_0004_0018__NOWADAYS)
      & has_conj1(R_0004_0017__BUT,R_0004_0002__KNOW)
      & r_0004_0002__know(R_0004_0002__KNOW)
      & has_arg1(R_0004_0002__KNOW,R_0004_0004___APOS_S)
      & r_0004_0004___apos_s(R_0004_0004___APOS_S)
      & has_arg0(R_0004_0004___APOS_S,R_0004_0013__N_APOS_T)
      & ~ r_0004_0009__that_r_0004_0012__is(R_0004_0009__THAT_R_0004_0012__IS)
      & has_arg0(R_0004_0004___APOS_S,R_0004_0009__THAT_R_0004_0012__IS)
      & r_0004_0009__that_r_0004_0012__is(R_0004_0009__THAT_R_0004_0012__IS)
      & has_prd(R_0004_0009__THAT_R_0004_0012__IS,R_0004_0015__GOOD)
      & r_0004_0015__good(R_0004_0015__GOOD)
      & has_qual41(R_0004_0015__GOOD,R_0004_0014__VERY)
      & has_arg0(R_0004_0009__THAT_R_0004_0012__IS,R_0004_0010__ENGLISH_R_0004_0011__FOOD)
      & has_prd(R_0004_0004___APOS_S,R_0004_0005__A_BIT)
      & r_0004_0005__a_bit(R_0004_0005__A_BIT)
      & has_r_0004_0006__of(R_0004_0005__A_BIT,R_0004_0007__A_R_0004_0008__STEREOTYPE)
      & has_arg0(R_0004_0002__KNOW,R_0004_0001__I) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (VBP;_Tf_ know;{know})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO;_provisional_ it;{it}))
                                          (BEP;_Ln_ <apos>s;{be})
                                          (NP-PRD (D;_nphd_ a_bit;{a_bit})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D a;{a})
                                                          (N stereotype;{stereotype}))))
                                          (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                               (NP-SBJ (NPR English;{English})
                                                                       (N food;{food}))
                                                               (BEP;_La_ is;{be})
                                                               (NEG;_clitic_ n<apos>t;{not})
                                                               (ADJP-PRD (ADVP (ADV very;{very}))
                                                                         (ADJ good;{good})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (ADVP-NIM (ADV nowadays;{nowadays}))
                                         (NP-SBJ (D the;{the})
                                                 (NPR UK;{UK}))
                                         (BEP;_Ln_ is;{be})
                                         (NP-PRD (D;_nphd_ one;{one})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D the;{the})
                                                         (ADJP (ADJS best;{good}))
                                                         (NS places;{place})
                                                         (IP-INF-REL (NP-NIM *T*)
                                                                     (TO to;{to})
                                                                     (VB;_phr_Vp_ eat;{eat[out]})
                                                                     (RP out;{out}))))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO you;{you}))
                                                (VBP;_Tn_ get;{get})
                                                (NP-OB1 (D a;{a})
                                                        (ADJP (ADJ huge;{huge}))
                                                        (NLYR (NLYR (N diversity;{diversity}))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (N range;{range}))))
                                                        (PP (P-ROLE of;{of})
                                                            (NP (N food;{food})
                                                                (IP-INF-REL (TO to;{to})
                                                                            (VB;_Ipr_ choose;{choose[from]})
                                                                            (PP-CLR (P-ROLE from;{from})
                                                                                    (NP *T*))))))))))))
          (PUNC .))
  (ID 4_a_opencities))