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_0107_0001__THEY,R_0107_0003__CELEBRITIES,R_0107_0009__TENNIS_R_0107_0010__STAR_R_0107_0011__NAOMI_R_0107_0012__OSAKA,R_0107_0005__SPORTS_R_0107_0006__ICONS,R_0107_0004__AND,R_0107_0002__INCLUDE] :
      ( r_0107_0001__They(R_0107_0001__THEY)
      & r_0107_0003__celebrities(R_0107_0003__CELEBRITIES)
      & r_0107_0009__tennis_r_0107_0010__star_r_0107_0011__Naomi_r_0107_0012__Osaka(R_0107_0009__TENNIS_R_0107_0010__STAR_R_0107_0011__NAOMI_R_0107_0012__OSAKA)
      & r_0107_0002__include(R_0107_0002__INCLUDE)
      & has_arg1(R_0107_0002__INCLUDE,R_0107_0004__AND)
      & r_0107_0004__and(R_0107_0004__AND)
      & has_conj2(R_0107_0004__AND,R_0107_0005__SPORTS_R_0107_0006__ICONS)
      & r_0107_0005__sports_r_0107_0006__icons(R_0107_0005__SPORTS_R_0107_0006__ICONS)
      & has_r_0107_0008__such_as(R_0107_0005__SPORTS_R_0107_0006__ICONS,R_0107_0009__TENNIS_R_0107_0010__STAR_R_0107_0011__NAOMI_R_0107_0012__OSAKA)
      & has_conj1(R_0107_0004__AND,R_0107_0003__CELEBRITIES)
      & has_arg0(R_0107_0002__INCLUDE,R_0107_0001__THEY) ) ).


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