The horse on the right is red.
The red horse is ready for racing.
There is no reason to assume that the horse is ready for racing.
exists s1 x1 x2.(n_right(x2) & n_horse(x1) & Theme(s1,x1) & a_red(s1) & on(x1,x2))
exists s1 s2 x1 x2.(n_horse(x1) & a_red(s1) & Theme(s1,x1) & for(s2,x2) & n_racing(x2) & Theme(s2,x1) & a_ready(s2))