The black and brown dog jumps in the air to catch the ball.
the dogs are watching the tv in home
The dogs cannot be watching tv in the home if they are jumping in the air to catch a ball
exists p1 s1 s2 x1 x2 x3 x4.(n_ball(x4) & n_air(x3) & n_jump(x1) & of(x1,x2) & n_dog(x2) & a_brown(s2) & Theme(s2,x1) & a_black(s1) & Theme(s1,x1) & a_topic(x1) & in(x1,x3) & Topic(x3,p1) & exists e1.(Theme(e1,x4) & Actor(e1,x3) & v_catch(e1)))
exists e1 x1 x2 x3.(n_tv(x2) & n_dog(x1) & in(e1,x3) & n_home(x3) & Theme(e1,x2) & Actor(e1,x1) & v_watch(e1))