A small black and brown dog on a leash is jumping on a bigger tri-colored dog on a leash.
A small dog is jumping.
The small black and brown dog is the same dog as the small dog which is jumping.
exists e1 s1 s2 s3 s4 s5 x1 x2 x3 x4.(on(e1,x4) & n_leash(x4) & on(e1,x3) & n_dog(x3) & a_tri-colored(s5) & Theme(s5,x3) & r_more(s4) & a_bigger(s4) & Theme(s4,x3) & Actor(e1,x1) & v_jump(e1) & on(x1,x2) & n_leash(x2) & n_dog(x1) & a_brown(s3) & Theme(s3,x1) & a_black(s2) & Theme(s2,x1) & a_small(s1) & Theme(s1,x1))
exists e1 s1 x1.(Actor(e1,x1) & v_jump(e1) & n_dog(x1) & a_small(s1) & Theme(s1,x1))