Two men, one wearing a green shirt, the other wearing red are rollerblading.
 Two men, one wearing a green shirt, the other wearing red are rollerskating.
Just because two men are rollerblading does not mean they are rollerskating.
exists e2 e1 e4 e3 s1 x1 x2 x3 x4 x5 x6.(-(x6 = x6) & n_red(x6) & Actor(e2,x6) & v_wear(e2) & Actor(e1,x6) & v_wear(e1) & Actor(e4,x1) & v_rollerblade(e4) & rel(x1,x2) & Theme(e3,x4) & Actor(e3,x3) & v_wear(e3) & subset_of(x6,x4) & subset_of(x5,x4) & n_shirt(x5) & a_green(s1) & Theme(s1,x5) & (x2 = x3) & n_thing(x2) & card_eq_1(x2) & n_man(x1) & card_eq_2(x1))
exists e2 e1 e4 e3 s1 x1 x2 x3 x4 x5 x6.(-(x6 = x6) & n_red(x6) & Actor(e2,x6) & v_wear(e2) & Actor(e1,x6) & v_wear(e1) & Actor(e4,x1) & v_rollerskate(e4) & rel(x1,x2) & Theme(e3,x4) & Actor(e3,x3) & v_wear(e3) & subset_of(x6,x4) & subset_of(x5,x4) & n_shirt(x5) & a_green(s1) & Theme(s1,x5) & (x2 = x3) & n_thing(x2) & card_eq_1(x2) & n_man(x1) & card_eq_2(x1))