Four old white men are playing instruments.
Four old men are at home eating.
Four old men cannot be at home eating if they are playing instruments.
exists e1 s1 s2 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_instrument(x2) & n_man(x1) & a_white(s2) & Theme(s2,x1) & a_old(s1) & Theme(s1,x1) & card_eq_4(x1))
exists p1 s1 x1.(exists x2 x3.(at(x1,x2) & n_eating(x2) & of(x2,x3) & n_home(x3)) & n_man(x1) & a_old(s1) & Theme(s1,x1) & card_eq_4(x1))