Two men, one in white and another in blue.
They are on different teams
the men wearing different colors are not necessarily on different teams
exists x1 x2 x3 x4 x5 x6.(a_topic(x1) & rel(x1,x2) & subset_of(x5,x2) & in(x5,x6) & n_blue(x6) & n_thing(x5) & subset_of(x3,x2) & in(x3,x4) & n_white(x4) & n_thing(x3) & card_eq_1(x3) & n_man(x1) & card_eq_2(x1))
exists p1 x1 x3.(n_team(x3) & n_thing(x1) & exists x2.(on(x1,x2) & -(x2 = x3) & n_team(x2)))