Context                Previous, Next                Top


107_a_stuck_japan
They include celebrities and sports icons, such as tennis star Naomi Osaka.

%3 r_0107_0002__include include r_0107_0001__They They r_0107_0002__include->r_0107_0001__They [arg0] r_0107_0004__and and r_0107_0002__include->r_0107_0004__and [arg1] r_0107_0003__celebrities celebrities r_0107_0004__and->r_0107_0003__celebrities [conj1] r_0107_0005__sports_r_0107_0006__icons sports icons r_0107_0004__and->r_0107_0005__sports_r_0107_0006__icons [conj2] r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka tennis Naomi Osaka r_0107_0005__sports_r_0107_0006__icons->r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka such as 
arc(r_0107_0002__include, r_0107_0001__They, arg0).
arc(r_0107_0002__include, r_0107_0004__and, arg1).
arc(r_0107_0004__and, r_0107_0003__celebrities, conj1).
arc(r_0107_0004__and, r_0107_0005__sports_r_0107_0006__icons, conj2).
arc(r_0107_0005__sports_r_0107_0006__icons, r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka, r_0107_0008__such_as).


%3 r_0107_0005__sports_r_0107_0006__icons sports icons r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka tennis Naomi Osaka r_0107_0005__sports_r_0107_0006__icons->r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka such as r_0107_0004__and and r_0107_0004__and->r_0107_0005__sports_r_0107_0006__icons [conj2] r_0107_0003__celebrities celebrities r_0107_0004__and->r_0107_0003__celebrities [conj1] r_0107_0002__include include r_0107_0002__include->r_0107_0004__and [arg1] r_0107_0001__They They r_0107_0002__include->r_0107_0001__They [arg0] 
fof(formula,axiom,
    ? [R_107_2_INCLUDE,R_107_1_THEY,R_107_4_AND,R_107_3_CELEBRITIES,R_107_5_SPORTS_ICONS,R_107_9_TENNIS_STAR_NAOMI_OSAKA] :
      ( they(R_107_1_THEY)
      & celebrities(R_107_3_CELEBRITIES)
      & tennis_star_Naomi_Osaka(R_107_9_TENNIS_STAR_NAOMI_OSAKA)
      & include(R_107_2_INCLUDE,R_107_1_THEY,R_107_4_AND)
      & and(R_107_4_AND)
      & conj1(R_107_4_AND,R_107_3_CELEBRITIES)
      & conj2(R_107_4_AND,R_107_5_SPORTS_ICONS)
      & sports_icons(R_107_5_SPORTS_ICONS)
      & such_as(R_107_5_SPORTS_ICONS,R_107_9_TENNIS_STAR_NAOMI_OSAKA) ) ).


n107_a_stuck_japan n107_a_stuck_japan__1_1_1_1 They n107_a_stuck_japan__1_2_1 include n107_a_stuck_japan__1_3_1_1_1_1 celebrities n107_a_stuck_japan__1_3_1_2_1_1 and n107_a_stuck_japan__1_3_1_2_2_1_1 sports n107_a_stuck_japan__1_3_1_2_2_2_1 icons n107_a_stuck_japan__1_3_1_2_2_3_1 , n107_a_stuck_japan__1_3_1_2_2_4_1_1 such_as n107_a_stuck_japan__1_3_1_2_2_4_2_1_1 tennis n107_a_stuck_japan__1_3_1_2_2_4_2_2_1 star n107_a_stuck_japan__1_3_1_2_2_4_2_3_1 Naomi n107_a_stuck_japan__1_3_1_2_2_4_2_4_1 Osaka n107_a_stuck_japan__1_4_1 . n107_a_stuck_japan__1 IP-MAT n107_a_stuck_japan__1_1 NP-SBJ n107_a_stuck_japan__1->n107_a_stuck_japan__1_1 n107_a_stuck_japan__1_2 VBP;_Tn_ n107_a_stuck_japan__1->n107_a_stuck_japan__1_2 n107_a_stuck_japan__1_3 NP-OB1 n107_a_stuck_japan__1->n107_a_stuck_japan__1_3 n107_a_stuck_japan__1_4 PUNC n107_a_stuck_japan__1->n107_a_stuck_japan__1_4 n107_a_stuck_japan__1_1_1 PRO n107_a_stuck_japan__1_1->n107_a_stuck_japan__1_1_1 n107_a_stuck_japan__1_1_1->n107_a_stuck_japan__1_1_1_1 n107_a_stuck_japan__1_2->n107_a_stuck_japan__1_2_1 n107_a_stuck_japan__1_3_1 NLYR n107_a_stuck_japan__1_3->n107_a_stuck_japan__1_3_1 n107_a_stuck_japan__1_3_1_1 NLYR n107_a_stuck_japan__1_3_1->n107_a_stuck_japan__1_3_1_1 n107_a_stuck_japan__1_3_1_2 CONJP n107_a_stuck_japan__1_3_1->n107_a_stuck_japan__1_3_1_2 n107_a_stuck_japan__1_3_1_1_1 NS n107_a_stuck_japan__1_3_1_1->n107_a_stuck_japan__1_3_1_1_1 n107_a_stuck_japan__1_3_1_1_1->n107_a_stuck_japan__1_3_1_1_1_1 n107_a_stuck_japan__1_3_1_2_1 CONJ n107_a_stuck_japan__1_3_1_2->n107_a_stuck_japan__1_3_1_2_1 n107_a_stuck_japan__1_3_1_2_2 NLYR n107_a_stuck_japan__1_3_1_2->n107_a_stuck_japan__1_3_1_2_2 n107_a_stuck_japan__1_3_1_2_1->n107_a_stuck_japan__1_3_1_2_1_1 n107_a_stuck_japan__1_3_1_2_2_1 NS n107_a_stuck_japan__1_3_1_2_2->n107_a_stuck_japan__1_3_1_2_2_1 n107_a_stuck_japan__1_3_1_2_2_2 NS n107_a_stuck_japan__1_3_1_2_2->n107_a_stuck_japan__1_3_1_2_2_2 n107_a_stuck_japan__1_3_1_2_2_3 PUNC n107_a_stuck_japan__1_3_1_2_2->n107_a_stuck_japan__1_3_1_2_2_3 n107_a_stuck_japan__1_3_1_2_2_4 PP n107_a_stuck_japan__1_3_1_2_2->n107_a_stuck_japan__1_3_1_2_2_4 n107_a_stuck_japan__1_3_1_2_2_1->n107_a_stuck_japan__1_3_1_2_2_1_1 n107_a_stuck_japan__1_3_1_2_2_2->n107_a_stuck_japan__1_3_1_2_2_2_1 n107_a_stuck_japan__1_3_1_2_2_3->n107_a_stuck_japan__1_3_1_2_2_3_1 n107_a_stuck_japan__1_3_1_2_2_4_1 P-ROLE n107_a_stuck_japan__1_3_1_2_2_4->n107_a_stuck_japan__1_3_1_2_2_4_1 n107_a_stuck_japan__1_3_1_2_2_4_2 NP n107_a_stuck_japan__1_3_1_2_2_4->n107_a_stuck_japan__1_3_1_2_2_4_2 n107_a_stuck_japan__1_3_1_2_2_4_1->n107_a_stuck_japan__1_3_1_2_2_4_1_1 n107_a_stuck_japan__1_3_1_2_2_4_2_1 N n107_a_stuck_japan__1_3_1_2_2_4_2->n107_a_stuck_japan__1_3_1_2_2_4_2_1 n107_a_stuck_japan__1_3_1_2_2_4_2_2 N n107_a_stuck_japan__1_3_1_2_2_4_2->n107_a_stuck_japan__1_3_1_2_2_4_2_2 n107_a_stuck_japan__1_3_1_2_2_4_2_3 NPR n107_a_stuck_japan__1_3_1_2_2_4_2->n107_a_stuck_japan__1_3_1_2_2_4_2_3 n107_a_stuck_japan__1_3_1_2_2_4_2_4 NPR n107_a_stuck_japan__1_3_1_2_2_4_2->n107_a_stuck_japan__1_3_1_2_2_4_2_4 n107_a_stuck_japan__1_3_1_2_2_4_2_1->n107_a_stuck_japan__1_3_1_2_2_4_2_1_1 n107_a_stuck_japan__1_3_1_2_2_4_2_2->n107_a_stuck_japan__1_3_1_2_2_4_2_2_1 n107_a_stuck_japan__1_3_1_2_2_4_2_3->n107_a_stuck_japan__1_3_1_2_2_4_2_3_1 n107_a_stuck_japan__1_3_1_2_2_4_2_4->n107_a_stuck_japan__1_3_1_2_2_4_2_4_1 n107_a_stuck_japan__1_4->n107_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (PRO They;{they}))
          (VBP;_Tn_ include;{include})
          (NP-OB1 (NLYR (NLYR (NS celebrities;{celebrity}))
                        (CONJP (CONJ and;{and})
                               (NLYR (NS sports;{sport})
                                     (NS icons;{icon})
                                     (PUNC ,)
                                     (PP (P-ROLE such_as;{such_as})
                                         (NP (N tennis;{tennis})
                                             (N star;{star})
                                             (NPR Naomi;{Naomi})
                                             (NPR Osaka;{Osaka})))))))
          (PUNC .))
  (ID 107_a_stuck_japan))