TSPC 159_a_stuck

159_a_stuck_japan
At midday we squeezed into a tiny restaurant for a “set lunch” of grilled mackerel, sashimi and miso soup.

arc(r_0159_0004__squeezed, r_0159_0002__midday, r_0159_0001__At_nim5).
arc(r_0159_0004__squeezed, r_0159_0003__we, arg0).
arc(r_0159_0004__squeezed, r_0159_0006__a_r_0159_0008__restaurant, r_0159_0005__into_clr16).
arc(r_0159_0004__squeezed, r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch, r_0159_0009__for_nim27).
arc(r_0159_0006__a_r_0159_0008__restaurant, r_0159_0007__tiny, attrib19).
arc(r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch, r_0159_0020__and, r_0159_0015__of).
arc(r_0159_0017__mackerel, r_0159_0016__grilled, attrib44).
arc(r_0159_0020__and, r_0159_0017__mackerel, conj1).
arc(r_0159_0020__and, r_0159_0019__sashimi, conj2).
arc(r_0159_0020__and, r_0159_0021__miso_r_0159_0022__soup, conj3).

fof(formula,axiom,
    ? [R_159_4_SQUEEZED,R_159_3_WE,R_159_2_MIDDAY,R_159_6_A_RESTAURANT,R_159_7_TINY,R_159_10_A_SET_LUNCH,R_159_20_AND,R_159_17_MACKEREL,R_159_16_GRILLED,R_159_19_SASHIMI,R_159_21_MISO_SOUP] :
      ( we(R_159_3_WE)
      & midday(R_159_2_MIDDAY)
      & tiny(R_159_7_TINY)
      & grilled(R_159_16_GRILLED)
      & sashimi(R_159_19_SASHIMI)
      & miso_soup(R_159_21_MISO_SOUP)
      & squeezed(R_159_4_SQUEEZED,R_159_3_WE)
      & at_nim5(R_159_4_SQUEEZED,R_159_2_MIDDAY)
      & into_clr16(R_159_4_SQUEEZED,R_159_6_A_RESTAURANT)
      & a_restaurant(R_159_6_A_RESTAURANT)
      & attrib19(R_159_6_A_RESTAURANT,R_159_7_TINY)
      & for_nim27(R_159_4_SQUEEZED,R_159_10_A_SET_LUNCH)
      & a_set_lunch(R_159_10_A_SET_LUNCH)
      & of(R_159_10_A_SET_LUNCH,R_159_20_AND)
      & and(R_159_20_AND)
      & conj1(R_159_20_AND,R_159_17_MACKEREL)
      & mackerel(R_159_17_MACKEREL)
      & attrib44(R_159_17_MACKEREL,R_159_16_GRILLED)
      & conj2(R_159_20_AND,R_159_19_SASHIMI)
      & conj3(R_159_20_AND,R_159_21_MISO_SOUP) ) ).

( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (N midday;{midday})))
          (NP-SBJ (PRO we;{we}))
          (VBD;_Ipr_ squeezed;{squeeze[into]})
          (PP-CLR (P-ROLE into;{into})
                  (NP (D a;{a})
                      (ADJP (ADJ tiny;{tiny}))
                      (N restaurant;{restaurant})))
          (PP-NIM (P-ROLE for;{for})
                  (NP (D a;{a})
                      (PULQ <ldquo>)
                      (N set;{set})
                      (N lunch;{lunch})
                      (PURQ <rdquo>)
                      (PP (P-ROLE of;{of})
                          (NP (NLYR (NLYR (ADJP (ADJ grilled;{grilled}))
                                          (N mackerel;{mackerel}))
                                    (PUNC ,)
                                    (CONJP (NLYR (N sashimi;{sashimi})))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (N miso;{miso})
                                                 (N soup;{soup}))))))))
          (PUNC .))
  (ID 159_a_stuck_japan))