The brown dog is running on the grass whilst wearing an orange jacket.
A dog in a blue jacket eats food.
The dog cannot be running and eating at the same time. The jacket cannot be both blue and orange.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6.(n_whilst(x2) & of(x2,x3) & n_grass(x3) & n_dog(x1) & a_brown(s1) & Theme(s1,x1) & on(e1,x2) & Theme(e2,x5) & Actor(e2,x4) & v_wear(e2) & n_jacket(x5) & of(x5,x6) & n_orange(x6) & (x2 = x4) & Actor(e1,x1) & v_run(e1))
exists e1 s1 x1 x2 x3.(Theme(e1,x3) & Actor(e1,x1) & v_eat(e1) & n_food(x3) & in(x1,x2) & n_jacket(x2) & a_blue(s1) & Theme(s1,x2) & n_dog(x1))