A chinese festival.
A soccer game
Chinese festival is different from a soccer game.
exists s1 x1.(a_topic(x1) & n_festival(x1) & a_chinese(s1) & Theme(s1,x1))
exists x1 x2.(a_topic(x1) & n_game(x1) & of(x1,x2) & n_soccer(x2))