Two woman, one in red and the other in blue, race each other on rollerblades.
Two women know how to rollerblade.
woman race each other on rollerblades means they know how to know how to rollerblade
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 e1 x1 x2.(Topic(e1,x2) & Actor(e1,x1) & v_know(e1) & n_manner(x2) & exists e2 x3.(Actor(e2,x3) & v_rollerblade(e2)) & n_woman(x1) & card_eq_2(x1))