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