A blond man in a black shirt and tan shorts is eating ribs and drinking red wine outdoors at a wooden table.
A blond man in a black shirt and tan shorts is not eating ribs
A man is either eating ribs or he is not eating ribs, but not both at the same time.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10.(Theme(e1,x5) & Actor(e1,x1) & v_eat(e1) & subset_of(x7,x5) & at(x7,x10) & n_table(x10) & a_wooden(s5) & Theme(s5,x10) & n_outdoors(x7) & of(x7,x9) & n_wine(x9) & a_red(s4) & Theme(s4,x7) & of(x7,x8) & n_drinking(x8) & subset_of(x6,x5) & n_rib(x6) & in(x1,x2) & subset_of(x4,x2) & n_shorts(x4) & a_tan(s3) & Theme(s3,x4) & subset_of(x3,x2) & n_shirt(x3) & a_black(s2) & Theme(s2,x3) & n_man(x1) & a_blond(s1) & Theme(s1,x1))
exists s1 s2 s3 x1 x2 x3 x4.(-exists p1 s4 x5.((x1 = x5) & n_rib(x5) & a_eating(s4) & Theme(s4,x5)) & in(x1,x2) & subset_of(x4,x2) & n_shorts(x4) & a_tan(s3) & Theme(s3,x4) & subset_of(x3,x2) & n_shirt(x3) & a_black(s2) & Theme(s2,x3) & n_man(x1) & a_blond(s1) & Theme(s1,x1))