A man with a red hat on sits on a stool on the side of the road.
The man is home eating at the dinner table.
He cannot be both at home and on the side of the road.
exists s1 x1 x2 x3 x4 x5 x6.(n_road(x6) & n_side(x5) & a_topic(x1) & on(x1,x4) & on(x4,x5) & of(x5,x6) & n_stool(x4) & with(x1,x2) & on(x2,x3) & n_sit(x3) & n_hat(x2) & a_red(s1) & Theme(s1,x2) & n_man(x1))
exists p1 x1 x4 x5.(n_table(x4) & of(x4,x5) & n_dinner(x5) & n_man(x1) & exists x2 x3.((x1 = x2) & at(x2,x4) & n_eating(x2) & of(x2,x3) & n_home(x3)))