One man stands along a wall holding out his hand to show another man wearing all blue and glasses working a pottery wheel, while some drying pottery pots dry on a table nearby.
The pots are all broken and dried out and the man is wearing no glasses.
Person who is not wearing no glasses can not be wearing glasses at the same time.
(x)
exists p1 x1 x2.(n_man(x2) & n_pot(x1) & -exists e1 x4.(Theme(e1,x4) & Actor(e1,x2) & v_wear(e1) & n_glass(x4)) & all x3 s1 s2.((n_out(x3) & a_dry(s2) & Theme(s2,x3) & a_broken(s1) & Theme(s1,x3)) -> (x1 = x3)))