A man in costume plays the keyboard in front of a sign reading "Sin with Sebastian".
A man in costume plays the saxophone in front of a sign reading "No sax allowed."
The man cannot be playing the keyboard and the saxophone simultaneously. The sign cannot read both 'Sin with Sebastian' and 'No sax allowed' simultaneously.
exists e1 e2 x1 x2 x3 x4 x5 x6 x7 x8.(ne_nam_sebastian(x8) & ne_nam_sin(x7) & n_keyboard(x3) & in(e1,x4) & of(x4,x5) & with(e2,x8) & Theme(e2,x7) & Actor(e2,x6) & v_read(e2) & (x5 = x6) & n_sign(x5) & n_front(x4) & Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & in(x1,x2) & n_costume(x2) & n_man(x1))
exists e1 x1 x2 x3 x4 x5 x6.(n_saxophone(x3) & in(e1,x4) & of(x4,x5) & -exists e3 e2 x7 x8.(Theme(e3,x7) & Actor(e3,x6) & v_read(e3) & Theme(e2,x8) & v_allow(e2) & (x7 = x8) & n_sax(x7)) & (x5 = x6) & n_sign(x5) & n_front(x4) & Theme(e1,x3) & Actor(e1,x1) & v_play(e1) & in(x1,x2) & n_costume(x2) & n_man(x1))