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.

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

arc(r_0159_0004__squeezed_r_0159_0005__into,r_0159_0002__midday,r_0159_0001__At__nim).
arc(r_0159_0004__squeezed_r_0159_0005__into,r_0159_0003__we,arg0).
arc(r_0159_0004__squeezed_r_0159_0005__into,r_0159_0006__a_r_0159_0008__restaurant,arg1).
arc(r_0159_0004__squeezed_r_0159_0005__into,r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch,r_0159_0009__for__nim).
arc(r_0159_0006__a_r_0159_0008__restaurant,r_0159_0007__tiny,attrib).
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,attrib).
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_0159_0002__MIDDAY,R_0159_0003__WE,R_0159_0007__TINY,R_0159_0006__A_R_0159_0008__RESTAURANT,R_0159_0016__GRILLED,R_0159_0017__MACKEREL,R_0159_0019__SASHIMI,R_0159_0021__MISO_R_0159_0022__SOUP,R_0159_0020__AND,R_0159_0010__A_R_0159_0012__SET_R_0159_0013__LUNCH,R_0159_0004__SQUEEZED_R_0159_0005__INTO] :
      ( r_0159_0002__midday(R_0159_0002__MIDDAY)
      & r_0159_0003__we(R_0159_0003__WE)
      & r_0159_0007__tiny(R_0159_0007__TINY)
      & r_0159_0016__grilled(R_0159_0016__GRILLED)
      & r_0159_0019__sashimi(R_0159_0019__SASHIMI)
      & r_0159_0021__miso_r_0159_0022__soup(R_0159_0021__MISO_R_0159_0022__SOUP)
      & r_0159_0004__squeezed_r_0159_0005__into(R_0159_0004__SQUEEZED_R_0159_0005__INTO)
      & has_r_0159_0009__for__nim(R_0159_0004__SQUEEZED_R_0159_0005__INTO,R_0159_0010__A_R_0159_0012__SET_R_0159_0013__LUNCH)
      & r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch(R_0159_0010__A_R_0159_0012__SET_R_0159_0013__LUNCH)
      & has_r_0159_0015__of(R_0159_0010__A_R_0159_0012__SET_R_0159_0013__LUNCH,R_0159_0020__AND)
      & r_0159_0020__and(R_0159_0020__AND)
      & has_conj3(R_0159_0020__AND,R_0159_0021__MISO_R_0159_0022__SOUP)
      & has_conj2(R_0159_0020__AND,R_0159_0019__SASHIMI)
      & has_conj1(R_0159_0020__AND,R_0159_0017__MACKEREL)
      & r_0159_0017__mackerel(R_0159_0017__MACKEREL)
      & has_attrib(R_0159_0017__MACKEREL,R_0159_0016__GRILLED)
      & has_arg1(R_0159_0004__SQUEEZED_R_0159_0005__INTO,R_0159_0006__A_R_0159_0008__RESTAURANT)
      & r_0159_0006__a_r_0159_0008__restaurant(R_0159_0006__A_R_0159_0008__RESTAURANT)
      & has_attrib(R_0159_0006__A_R_0159_0008__RESTAURANT,R_0159_0007__TINY)
      & has_arg0(R_0159_0004__SQUEEZED_R_0159_0005__INTO,R_0159_0003__WE)
      & has_r_0159_0001__At__nim(R_0159_0004__SQUEEZED_R_0159_0005__INTO,R_0159_0002__MIDDAY) ) ).