Three men in black and red uniforms are playing lacrosse.
the men are relaxing at home
Men cannot be playing lacrosse while relaxing at home.
exists e1 s1 s2 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & n_lacrosse(x3) & in(x1,x2) & n_uniform(x2) & a_red(s2) & Theme(s2,x2) & a_black(s1) & Theme(s1,x2) & n_man(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_man(x1) & at(e1,x2) & n_home(x2) & Actor(e1,x1) & v_relax(e1))