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_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_4_17_BUT,R_4_2_KNOW,R_4_1_I,R_4_4__APOS_S,R_4_5_A_BIT,R_4_7_A_STEREOTYPE,R_4_30_AND,R_4_21_IS,R_4_19_THE_UK,R_4_18_NOWADAYS,R_4_22_ONE,R_4_32_GET,R_4_31_YOU,R_4_36_AND,R_4_34_HUGE,R_4_35_DIVERSITY,R_4_37_RANGE,R_4_27_TO_EAT_OUT,Z_4_A_OPENCITIES_78,R_4_24_THE_PLACES,R_4_25_BEST,R_4_40_TO_CHOOSE,Z_4_A_OPENCITIES_118,R_4_39_FOOD] :
      ( i(R_4_1_I)
      & a_stereotype(R_4_7_A_STEREOTYPE)
      & the_UK(R_4_19_THE_UK)
      & nowadays(R_4_18_NOWADAYS)
      & you(R_4_31_YOU)
      & huge(R_4_34_HUGE)
      & diversity(R_4_35_DIVERSITY)
      & range(R_4_37_RANGE)
      & best(R_4_25_BEST)
      & food(R_4_39_FOOD)
      & but(R_4_17_BUT)
      & conj1(R_4_17_BUT,R_4_2_KNOW)
      & know(R_4_2_KNOW,R_4_1_I,R_4_4__APOS_S)
      & _apos_s(R_4_4__APOS_S,R_4_13_N_APOS_T,R_4_5_A_BIT)
      & ~ ? [R_4_9_THAT_IS,R_4_10_ENGLISH_FOOD,R_4_15_GOOD,R_4_14_VERY] :
            ( english_food(R_4_10_ENGLISH_FOOD)
            & very(R_4_14_VERY)
            & that_is(R_4_9_THAT_IS,R_4_10_ENGLISH_FOOD,R_4_15_GOOD)
            & good(R_4_15_GOOD)
            & qual41(R_4_15_GOOD,R_4_14_VERY) )
      & a_bit(R_4_5_A_BIT)
      & of(R_4_5_A_BIT,R_4_7_A_STEREOTYPE)
      & conj2(R_4_17_BUT,R_4_30_AND)
      & and(R_4_30_AND)
      & conj1(R_4_30_AND,R_4_21_IS)
      & is(R_4_21_IS,R_4_19_THE_UK,R_4_22_ONE)
      & one(R_4_22_ONE)
      & of(R_4_22_ONE,R_4_24_THE_PLACES)
      & the_places(R_4_24_THE_PLACES)
      & attrib73(R_4_24_THE_PLACES,R_4_25_BEST)
      & nim54(R_4_21_IS,R_4_18_NOWADAYS)
      & conj2(R_4_30_AND,R_4_32_GET)
      & get(R_4_32_GET,R_4_31_YOU,R_4_36_AND)
      & and(R_4_36_AND)
      & attrib99(R_4_36_AND,R_4_34_HUGE)
      & conj1(R_4_36_AND,R_4_35_DIVERSITY)
      & conj2(R_4_36_AND,R_4_37_RANGE)
      & of(R_4_36_AND,R_4_39_FOOD)
      & to_eat_out(R_4_27_TO_EAT_OUT,Z_4_A_OPENCITIES_78)
      & nim79(R_4_27_TO_EAT_OUT,R_4_24_THE_PLACES)
      & to_choose(R_4_40_TO_CHOOSE,Z_4_A_OPENCITIES_118)
      & from_clr126(R_4_40_TO_CHOOSE,R_4_39_FOOD) ) ).

( (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))