A brown dog wearing an orange collar leaping to catch a bright colored ball.
The yellow dog wearing a red collar is sleeping by a black ball.
The dog can either be brown or yellow, the collar can be either orange or red, the dog can not be leaping and sleeping at the same time, and the ball can either be black or bright colored.
exists e2 e1 p1 s1 x1 x2 x3 x4 x5.(a_topic(x1) & Theme(e2,x3) & Actor(e2,x2) & v_wear(e2) & Topic(e1,p1) & Actor(e1,x5) & v_leap(e1) & exists e3 s2 s3 x6.(Theme(e3,x6) & Actor(e3,x5) & v_catch(e3) & n_ball(x6) & a_colored(s3) & Theme(s3,x6) & a_bright(s2) & Theme(s2,x6)) & (x3 = x5) & n_collar(x3) & of(x3,x4) & n_orange(x4) & (x1 = x2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists e2 e1 s1 s2 s3 x1 x2 x3 x4.(n_dog(x1) & a_yellow(s1) & Theme(s1,x1) & by(e2,x4) & n_ball(x4) & a_black(s3) & Theme(s3,x4) & Actor(e2,x1) & v_sleep(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_collar(x3) & a_red(s2) & Theme(s2,x3) & (x1 = x2))