Context                Previous, Next                Top


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

%3 r_0159_0004__squeezed squeezed r_0159_0002__midday midday r_0159_0004__squeezed->r_0159_0002__midday At [nim] r_0159_0003__we we r_0159_0004__squeezed->r_0159_0003__we [arg0] r_0159_0006__a_r_0159_0008__restaurant a restaurant r_0159_0004__squeezed->r_0159_0006__a_r_0159_0008__restaurant into [clr] r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch a set lunch r_0159_0004__squeezed->r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch for [nim] r_0159_0007__tiny tiny r_0159_0006__a_r_0159_0008__restaurant->r_0159_0007__tiny [attrib] r_0159_0020__and and r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch->r_0159_0020__and of r_0159_0017__mackerel mackerel r_0159_0020__and->r_0159_0017__mackerel [conj1] r_0159_0019__sashimi sashimi r_0159_0020__and->r_0159_0019__sashimi [conj2] r_0159_0021__miso_r_0159_0022__soup miso soup r_0159_0020__and->r_0159_0021__miso_r_0159_0022__soup [conj3] r_0159_0016__grilled grilled r_0159_0017__mackerel->r_0159_0016__grilled [attrib] 
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).


%3 r_0159_0004__squeezed squeezed r_0159_0002__midday midday r_0159_0004__squeezed->r_0159_0002__midday At [nim] r_0159_0003__we we r_0159_0004__squeezed->r_0159_0003__we [arg0] r_0159_0006__a_r_0159_0008__restaurant a restaurant r_0159_0004__squeezed->r_0159_0006__a_r_0159_0008__restaurant into [clr] r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch a set lunch r_0159_0004__squeezed->r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch for [nim] r_0159_0007__tiny tiny r_0159_0006__a_r_0159_0008__restaurant->r_0159_0007__tiny [attrib] r_0159_0020__and and r_0159_0010__a_r_0159_0012__set_r_0159_0013__lunch->r_0159_0020__and of r_0159_0017__mackerel mackerel r_0159_0020__and->r_0159_0017__mackerel [conj1] r_0159_0019__sashimi sashimi r_0159_0020__and->r_0159_0019__sashimi [conj2] r_0159_0021__miso_r_0159_0022__soup miso soup r_0159_0020__and->r_0159_0021__miso_r_0159_0022__soup [conj3] r_0159_0016__grilled grilled r_0159_0017__mackerel->r_0159_0016__grilled [attrib] 
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) ) ).


n159_a_stuck_japan n159_a_stuck_japan_4 At n159_a_stuck_japan_7 midday n159_a_stuck_japan_10 we n159_a_stuck_japan_12 squeezed n159_a_stuck_japan_15 into n159_a_stuck_japan_18 a n159_a_stuck_japan_21 tiny n159_a_stuck_japan_23 restaurant n159_a_stuck_japan_26 for n159_a_stuck_japan_29 a n159_a_stuck_japan_31 <ldquo> n159_a_stuck_japan_33 set n159_a_stuck_japan_35 lunch n159_a_stuck_japan_37 <rdquo> n159_a_stuck_japan_40 of n159_a_stuck_japan_46 grilled n159_a_stuck_japan_48 mackerel n159_a_stuck_japan_50 , n159_a_stuck_japan_54 sashimi n159_a_stuck_japan_57 and n159_a_stuck_japan_60 miso n159_a_stuck_japan_62 soup n159_a_stuck_japan_64 . n159_a_stuck_japan_1 IP-MAT n159_a_stuck_japan_2 PP-NIM n159_a_stuck_japan_1->n159_a_stuck_japan_2 n159_a_stuck_japan_8 NP-SBJ n159_a_stuck_japan_1->n159_a_stuck_japan_8 n159_a_stuck_japan_11 VBD;_Ipr_ n159_a_stuck_japan_1->n159_a_stuck_japan_11 n159_a_stuck_japan_13 PP-CLR n159_a_stuck_japan_1->n159_a_stuck_japan_13 n159_a_stuck_japan_24 PP-NIM n159_a_stuck_japan_1->n159_a_stuck_japan_24 n159_a_stuck_japan_63 PUNC n159_a_stuck_japan_1->n159_a_stuck_japan_63 n159_a_stuck_japan_3 P-ROLE n159_a_stuck_japan_2->n159_a_stuck_japan_3 n159_a_stuck_japan_5 NP n159_a_stuck_japan_2->n159_a_stuck_japan_5 n159_a_stuck_japan_3->n159_a_stuck_japan_4 n159_a_stuck_japan_6 N n159_a_stuck_japan_5->n159_a_stuck_japan_6 n159_a_stuck_japan_6->n159_a_stuck_japan_7 n159_a_stuck_japan_9 PRO n159_a_stuck_japan_8->n159_a_stuck_japan_9 n159_a_stuck_japan_9->n159_a_stuck_japan_10 n159_a_stuck_japan_11->n159_a_stuck_japan_12 n159_a_stuck_japan_14 P-ROLE n159_a_stuck_japan_13->n159_a_stuck_japan_14 n159_a_stuck_japan_16 NP n159_a_stuck_japan_13->n159_a_stuck_japan_16 n159_a_stuck_japan_14->n159_a_stuck_japan_15 n159_a_stuck_japan_17 D n159_a_stuck_japan_16->n159_a_stuck_japan_17 n159_a_stuck_japan_19 ADJP n159_a_stuck_japan_16->n159_a_stuck_japan_19 n159_a_stuck_japan_22 N n159_a_stuck_japan_16->n159_a_stuck_japan_22 n159_a_stuck_japan_17->n159_a_stuck_japan_18 n159_a_stuck_japan_20 ADJ n159_a_stuck_japan_19->n159_a_stuck_japan_20 n159_a_stuck_japan_20->n159_a_stuck_japan_21 n159_a_stuck_japan_22->n159_a_stuck_japan_23 n159_a_stuck_japan_25 P-ROLE n159_a_stuck_japan_24->n159_a_stuck_japan_25 n159_a_stuck_japan_27 NP n159_a_stuck_japan_24->n159_a_stuck_japan_27 n159_a_stuck_japan_25->n159_a_stuck_japan_26 n159_a_stuck_japan_28 D n159_a_stuck_japan_27->n159_a_stuck_japan_28 n159_a_stuck_japan_30 PULQ n159_a_stuck_japan_27->n159_a_stuck_japan_30 n159_a_stuck_japan_32 N n159_a_stuck_japan_27->n159_a_stuck_japan_32 n159_a_stuck_japan_34 N n159_a_stuck_japan_27->n159_a_stuck_japan_34 n159_a_stuck_japan_36 PURQ n159_a_stuck_japan_27->n159_a_stuck_japan_36 n159_a_stuck_japan_38 PP n159_a_stuck_japan_27->n159_a_stuck_japan_38 n159_a_stuck_japan_28->n159_a_stuck_japan_29 n159_a_stuck_japan_30->n159_a_stuck_japan_31 n159_a_stuck_japan_32->n159_a_stuck_japan_33 n159_a_stuck_japan_34->n159_a_stuck_japan_35 n159_a_stuck_japan_36->n159_a_stuck_japan_37 n159_a_stuck_japan_39 P-ROLE n159_a_stuck_japan_38->n159_a_stuck_japan_39 n159_a_stuck_japan_41 NP n159_a_stuck_japan_38->n159_a_stuck_japan_41 n159_a_stuck_japan_39->n159_a_stuck_japan_40 n159_a_stuck_japan_42 NLYR n159_a_stuck_japan_41->n159_a_stuck_japan_42 n159_a_stuck_japan_43 NLYR n159_a_stuck_japan_42->n159_a_stuck_japan_43 n159_a_stuck_japan_49 PUNC n159_a_stuck_japan_42->n159_a_stuck_japan_49 n159_a_stuck_japan_51 CONJP n159_a_stuck_japan_42->n159_a_stuck_japan_51 n159_a_stuck_japan_55 CONJP n159_a_stuck_japan_42->n159_a_stuck_japan_55 n159_a_stuck_japan_44 ADJP n159_a_stuck_japan_43->n159_a_stuck_japan_44 n159_a_stuck_japan_47 N n159_a_stuck_japan_43->n159_a_stuck_japan_47 n159_a_stuck_japan_45 ADJ n159_a_stuck_japan_44->n159_a_stuck_japan_45 n159_a_stuck_japan_45->n159_a_stuck_japan_46 n159_a_stuck_japan_47->n159_a_stuck_japan_48 n159_a_stuck_japan_49->n159_a_stuck_japan_50 n159_a_stuck_japan_52 NLYR n159_a_stuck_japan_51->n159_a_stuck_japan_52 n159_a_stuck_japan_53 N n159_a_stuck_japan_52->n159_a_stuck_japan_53 n159_a_stuck_japan_53->n159_a_stuck_japan_54 n159_a_stuck_japan_56 CONJ n159_a_stuck_japan_55->n159_a_stuck_japan_56 n159_a_stuck_japan_58 NLYR n159_a_stuck_japan_55->n159_a_stuck_japan_58 n159_a_stuck_japan_56->n159_a_stuck_japan_57 n159_a_stuck_japan_59 N n159_a_stuck_japan_58->n159_a_stuck_japan_59 n159_a_stuck_japan_61 N n159_a_stuck_japan_58->n159_a_stuck_japan_61 n159_a_stuck_japan_59->n159_a_stuck_japan_60 n159_a_stuck_japan_61->n159_a_stuck_japan_62 n159_a_stuck_japan_63->n159_a_stuck_japan_64 
( (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))