arc(r_0005_0004__small, r_0005_0003__quite, qual9).
arc(r_0005_0005__cities, r_0005_0004__small, attrib8).
arc(r_0005_0009__can, r_0005_0005__cities, r_0005_0001__Even_r_0005_0002__in_nim7).
arc(r_0005_0009__can, r_0005_0006__these_r_0005_0007__days, nim16).
arc(r_0005_0009__can, r_0005_0012__find, scope).
arc(r_0005_0012__find, r_0005_0008__you, arg0).
arc(r_0005_0012__find, r_0005_0010__still, nim27).
arc(r_0005_0012__find, r_0005_0011__usually, nim30).
arc(r_0005_0012__find, r_0005_0018__and, arg1).
arc(r_0005_0013__a_r_0005_0016__restaurant, r_0005_0014__good, attrib40).
arc(r_0005_0013__a_r_0005_0016__restaurant, r_0005_0015__Chinese, attrib43).
arc(r_0005_0018__and, r_0005_0013__a_r_0005_0016__restaurant, conj1).
arc(r_0005_0018__and, r_0005_0022__and, conj2).
arc(r_0005_0022__and, r_0005_0026__or, conj3).
arc(r_0005_0022__and, z_000_5_a_opencities_55, conj1).
arc(r_0005_0022__and, z_000_5_a_opencities_62, conj2).
arc(r_0005_0024__a, r_0005_0023__probably, qual72).
arc(r_0005_0024__a, r_0005_0025__Thai, attrib77).
arc(r_0005_0026__or, r_0005_0024__a, conj1).
arc(r_0005_0026__or, r_0005_0029__restaurant, conj2).
arc(r_0005_0029__restaurant, r_0005_0027__even, qual84).
arc(r_0005_0029__restaurant, r_0005_0028__Japanese, attrib87).
arc(z_000_5_a_opencities_55, r_0005_0019__Indian, attrib56).
arc(z_000_5_a_opencities_62, r_0005_0021__Italian, attrib63).

fof(formula,axiom,
    ? [R_5_9_CAN_FIND,R_5_8_YOU,R_5_18_AND,R_5_13_A_RESTAURANT,R_5_14_GOOD,R_5_15_CHINESE,R_5_22_AND,Z_5_A_OPENCITIES_55,R_5_19_INDIAN,Z_5_A_OPENCITIES_62,R_5_21_ITALIAN,R_5_26_OR,R_5_24_A,R_5_25_THAI,R_5_23_PROBABLY,R_5_29_RESTAURANT,R_5_28_JAPANESE,R_5_27_EVEN,R_5_6_THESE_DAYS,R_5_10_STILL,R_5_11_USUALLY,R_5_5_CITIES,R_5_4_SMALL,R_5_3_QUITE] :
      ( you(R_5_8_YOU)
      & good(R_5_14_GOOD)
      & chinese(R_5_15_CHINESE)
      & indian(R_5_19_INDIAN)
      & italian(R_5_21_ITALIAN)
      & thai(R_5_25_THAI)
      & probably(R_5_23_PROBABLY)
      & japanese(R_5_28_JAPANESE)
      & even(R_5_27_EVEN)
      & these_days(R_5_6_THESE_DAYS)
      & still(R_5_10_STILL)
      & usually(R_5_11_USUALLY)
      & quite(R_5_3_QUITE)
      & can_find(R_5_9_CAN_FIND,R_5_8_YOU,R_5_18_AND)
      & and(R_5_18_AND)
      & conj1(R_5_18_AND,R_5_13_A_RESTAURANT)
      & a_restaurant(R_5_13_A_RESTAURANT)
      & attrib40(R_5_13_A_RESTAURANT,R_5_14_GOOD)
      & attrib43(R_5_13_A_RESTAURANT,R_5_15_CHINESE)
      & conj2(R_5_18_AND,R_5_22_AND)
      & and(R_5_22_AND)
      & conj1(R_5_22_AND,Z_5_A_OPENCITIES_55)
      & z_5_a_opencities_55(Z_5_A_OPENCITIES_55)
      & attrib56(Z_5_A_OPENCITIES_55,R_5_19_INDIAN)
      & conj2(R_5_22_AND,Z_5_A_OPENCITIES_62)
      & z_5_a_opencities_62(Z_5_A_OPENCITIES_62)
      & attrib63(Z_5_A_OPENCITIES_62,R_5_21_ITALIAN)
      & conj3(R_5_22_AND,R_5_26_OR)
      & or(R_5_26_OR)
      & conj1(R_5_26_OR,R_5_24_A)
      & a(R_5_24_A)
      & attrib77(R_5_24_A,R_5_25_THAI)
      & qual72(R_5_24_A,R_5_23_PROBABLY)
      & conj2(R_5_26_OR,R_5_29_RESTAURANT)
      & restaurant(R_5_29_RESTAURANT)
      & attrib87(R_5_29_RESTAURANT,R_5_28_JAPANESE)
      & qual84(R_5_29_RESTAURANT,R_5_27_EVEN)
      & nim16(R_5_9_CAN_FIND,R_5_6_THESE_DAYS)
      & nim27(R_5_9_CAN_FIND,R_5_10_STILL)
      & nim30(R_5_9_CAN_FIND,R_5_11_USUALLY)
      & even_in_nim7(R_5_9_CAN_FIND,R_5_5_CITIES)
      & cities(R_5_5_CITIES)
      & attrib8(R_5_5_CITIES,R_5_4_SMALL)
      & small(R_5_4_SMALL)
      & qual9(R_5_4_SMALL,R_5_3_QUITE) ) ).

( (IP-MAT;{FIND} (PP-NIM (ADV Even;{even})
                         (P-ROLE in;{in})
                         (NP (ADJP (ADVP (ADV quite;{quite}))
                                   (ADJ small;{small}))
                             (NS cities;{city})))
                 (NP-NIM (D these;{these})
                         (NS days;{day}))
                 (NP-SBJ (PRO you;{you}))
                 (MD;_cat_Vi_ can;{can})
                 (IP-INF-CAT (ADVP-NIM (ADV still;{still}))
                             (ADVP-NIM (ADV usually;{usually}))
                             (VB;_Tn_ find;{find})
                             (NP-OB1 (NLYR (NLYR (D a;{a})
                                                 (ADJP (ADJ good;{good}))
                                                 (ADJP (ADJ Chinese;{chinese}))
                                                 (N restaurant;{restaurant}))
                                           (PUNC ,)
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (NLYR (NLYR (ADJP (ADJ Indian;{indian})))
                                                              (PUNC ,)
                                                              (CONJP (NLYR (ADJP (ADJ Italian;{italian}))))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (NLYR (NLYR (ADVP (ADV probably;{probably}))
                                                                                       (D a;{a})
                                                                                       (ADJP (ADJ Thai;{thai})))
                                                                                 (CONJP (CONJ or;{or})
                                                                                        (NLYR (ADVP (ADV even;{even}))
                                                                                              (ADJP (ADJ Japanese;{Japanese}))
                                                                                              (N restaurant;{restaurant}))))))))))))
                 (PUNC .))
  (ID 5_a_opencities))