107_a_stuck_japan
They include celebrities and sports icons, such as tennis star Naomi Osaka.
( (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 (NLYR (N tennis;{tennis})
(N star;{star}))
(NPR Naomi;{Naomi})
(NPR Osaka;{Osaka})))))))
(PUNC .))
(ID 107_a_stuck_japan))
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_0011__Naomi_r_0107_0012__Osaka,r_0107_0008__such_as).
arc(r_0107_0011__Naomi_r_0107_0012__Osaka,r_0107_0009__tennis_r_0107_0010__star,nim).
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_0009__TENNIS_R_0107_0010__STAR)
& 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_0011__NAOMI_R_0107_0012__OSAKA)
& r_0107_0011__Naomi_r_0107_0012__Osaka(R_0107_0011__NAOMI_R_0107_0012__OSAKA)
& has_nim(R_0107_0011__NAOMI_R_0107_0012__OSAKA,R_0107_0009__TENNIS_R_0107_0010__STAR)
& has_conj1(R_0107_0004__AND,R_0107_0003__CELEBRITIES)
& has_arg0(R_0107_0002__INCLUDE,R_0107_0001__THEY) ) ).