Two woman, one in red and the other in blue, race each other on rollerblades.
The two women are on different teams.
Just because Two woman, one in red and the other in blue, race each other on rollerblades does not mean they are from different teams.
exists x1 x2 x3 x4 x5.(n_other(x5) & a_topic(x1) & rel(x1,x2) & all x6.(n_other(x6) -> exists s1 s2 x7 x8.(subset_of(x5,x2) & in(x5,x7) & on(x7,x8) & n_rollerblade(x8) & for(x7,x6) & n_race(x7) & a_,(s2) & Theme(s2,x7) & a_blue(s1) & Theme(s1,x7))) & subset_of(x3,x2) & in(x3,x4) & n_red(x4) & n_thing(x3) & card_eq_1(x3) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x3.(n_team(x3) & n_woman(x1) & card_eq_2(x1) & exists x2.(on(x1,x2) & -(x2 = x3) & n_team(x2)))