Brown and black dog tussle on grass.
The two dogs are reunited and happy to see each other
Just because two dogs tussle does not mean they are reunited. Just because two dogs tussle does not mean they are happy to see each other.
exists s1 s2 x1 x2 x3 x4.(ne_per_brown(x1) & a_topic(s1) & subset_of(x2,s1) & on(x2,x4) & n_grass(x4) & n_tussle(x2) & of(x2,x3) & n_dog(x3) & a_black(s2) & Theme(s2,x2) & subset_of(x1,s1))
exists p1 p2 s1 x1 x2 x3 x4.(n_dog(x4) & card_eq_2(x4) & n_thing(x2) & Topic(s1,p2) & Actor(s1,x3) & a_happy(s1) & all x5.(n_other(x5) -> exists e2.(Theme(e2,x5) & Actor(e2,x3) & v_see(e2))) & (x2 = x3) & n_thing(x1) & exists e1.(Theme(e1,x4) & v_reunite(e1)) & that(x1,p1))