A little kid in blue is sledding down a snowy hill.
An old man in green skiing.
If the little kid is in blue is sledding, he can't be an old man in green skiing.
exists e1 s1 s2 s3 x1 x2 x3.(a_down(s3) & Manner(e1,s3) & Theme(e1,x3) & Actor(e1,x1) & v_sled(e1) & n_hill(x3) & a_snowy(s2) & Theme(s2,x3) & in(x1,x2) & n_blue(x2) & n_kid(x1) & a_little(s1) & Theme(s1,x1))
exists s1 s2 x1 x2.(a_topic(x1) & in(x1,x2) & n_skiing(x2) & a_green(s2) & Theme(s2,x2) & n_man(x1) & a_old(s1) & Theme(s1,x1))