A brown and black dog is jumping to catch a red ball.
Two dogs are playing catch with their owner.
the dogs jumping to catch the ball does not imply they are playing with their owner
exists e1 p1 s1 s2 x1.(Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & exists e2 s3 x2.(Theme(e2,x2) & Actor(e2,x1) & v_catch(e2) & n_ball(x2) & a_red(s3) & Theme(s3,x2)) & n_dog(x1) & a_black(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1))
exists e1 x1 x2 x3.(with(e1,x3) & n_owner(x3) & of(x3,x1) & n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_catch(x2) & n_dog(x1) & card_eq_2(x1))