The brown and black dog is jumping up to catch a red ball.
The dogs are play with the red ball everyday.
the dog jumping to catch the red ball does not imply it plays with the red ball everyday
exists e1 p1 s1 s2 s3 s4 s5 x1.(n_dog(x1) & a_black(s4) & Theme(s4,x1) & a_brown(s3) & Theme(s3,x1) & a_black(s2) & Theme(s2,x1) & a_brown(s1) & Theme(s1,x1) & Topic(e1,p1) & exists e2 s6 x2.(Theme(e2,x2) & Actor(e2,x1) & v_catch(e2) & n_ball(x2) & a_red(s6) & Theme(s6,x2)) & a_up(s5) & Manner(e1,s5) & Actor(e1,x1) & v_jump(e1))
exists p1 s1 s2 x1 x2 x3.(n_ball(x2) & a_red(s1) & Theme(s1,x2) & n_dog(x1) & with(p1,x2) & Theme(s2,x3) & a_everyday(s2) & (x2 = x3) & exists x4.((x1 = x4) & n_play(x4)))